fen1 (Minute)
The Class of all clock Minutes.
Ontology
SUMO / TEMPORAL-CONCEPTSSuperclass(es)
Coordinate term(s)
ri4
xiao3 shi2
yue4
miao3
zhou1
nian2
Constrains relations
fen1 zhong1 han2 shu4
miao3 zhong1 han2 shu4
Axioms (5)
fen1 na4 bu4 xiang1 guan1 yu1 fen1 zhong1 han2 shu4.
(relatedInternalConcept Minute MinuteFn)
fen1 na4 bu4 xiang1 guan1 yu1 fen1 ji4.
(relatedInternalConcept Minute MinuteDuration)
If minute shi4 fen1 de5 shi2 li4, then minute de5 chi2 xu4 shi4 " fen1 ji4(s)".
(=>
(instance ?MINUTE Minute)
(duration
?MINUTE
(MeasureFn 1 MinuteDuration)))
If hour shi4 xiao3 shi2 de5 shi2 li4, then ""hour fen1 jie3 cheng2 ? fen1s" zhong1 shi2 li4 de5 shu4 mu4" deng3 yu1 .
(=>
(instance ?HOUR Hour)
(equal
(CardinalityFn
(TemporalCompositionFn ?HOUR Minute))
60))
If minute shi4 fen1 de5 shi2 li4, then ""minute fen1 jie3 cheng2 ? miao3s" zhong1 shi2 li4 de5 shu4 mu4" deng3 yu1 .
(=>
(instance ?MINUTE Minute)
(equal
(CardinalityFn
(TemporalCompositionFn ?MINUTE Second))
60))