minata (Minute)
The Class of all clock Minutes.
Ontology
SUMO / TEMPORAL-CONCEPTSSuperclass(es)
Coordinate term(s)
divasa
ghantaa
mahInaa
sekanda
saptaaha
varsha
Constrains relations
minute fn
second fn
Axioms (5)
minata is internally related to minute fn.
(relatedInternalConcept Minute MinuteFn)
minata is internally related to minute duration.
(relatedInternalConcept Minute MinuteDuration)
Agar minute is an instance of minata, to duration of minute is " minute duration(s)".
(=>
(instance ?MINUTE Minute)
(duration
?MINUTE
(MeasureFn 1 MinuteDuration)))
Agar hour is an instance of ghantaa, to "the number of instances in "decomposition of hour into ? minatas"" is equal to .
(=>
(instance ?HOUR Hour)
(equal
(CardinalityFn
(TemporalCompositionFn ?HOUR Minute))
60))
Agar minute is an instance of minata, to "the number of instances in "decomposition of minute into ? sekandas"" is equal to .
(=>
(instance ?MINUTE Minute)
(equal
(CardinalityFn
(TemporalCompositionFn ?MINUTE Second))
60))