miao3 (Second)
The Class of all clock Seconds.
Ontology
SUMO / TEMPORAL-CONCEPTSSuperclass(es)
Coordinate term(s)
ri4
xiao3 shi2
fen1
yue4
zhou1
nian2
Constrains relations
miao3 zhong1 han2 shu4
Axioms (4)
miao3 na4 bu4 xiang1 guan1 yu1 miao3 ji4.
(relatedInternalConcept Second SecondDuration)
miao3 na4 bu4 xiang1 guan1 yu1 miao3 zhong1 han2 shu4.
(relatedInternalConcept Second SecondFn)
If second shi4 miao3 de5 shi2 li4, then second de5 chi2 xu4 shi4 " miao3 ji4(s)".
(=>
(instance ?SECOND Second)
(duration
?SECOND
(MeasureFn 1 SecondDuration)))
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))