TreeView Knowledge Base Browser

appearance as argument number 1

(subclass TimeMeasure ConstantQuantity)	Merge.kif 2177-2177	Time measure is a subclass of constant quantity
(documentation TimeMeasure EnglishLanguage "The class of temporal durations (instances of TimeDuration) and positions of TimePoints and TimeIntervals along the universal timeline (instances of TimePosition).")	Merge.kif 2179-2181	Time measure is a subclass of constant quantity

appearance as argument number 2

(subclass TimeDuration TimeMeasure)	Merge.kif 2183-2183	Time duration is a subclass of time measure
(subclass TimePosition TimeMeasure)	Merge.kif 2188-2188	Time position is a subclass of time measure
(range MTTFFn TimeMeasure)	Mid-level-ontology.kif 34559-34559	The range of mean time to failures is an instance of time measure
(range TimeToFailureFn TimeMeasure)	Mid-level-ontology.kif 34583-34583	The range of time to failure is an instance of time measure
(range MTTRepairFn TimeMeasure)	Mid-level-ontology.kif 34609-34609	The range of mean time to repair is an instance of time measure
(range MTTRepairInstanceFn TimeMeasure)	Mid-level-ontology.kif 34635-34635	The range of time to repair is an instance of time measure
(range TimeToRecoveryFn TimeMeasure)	Mid-level-ontology.kif 34665-34665	The range of time to recovery is an instance of time measure
(range MTTRecoveryFn TimeMeasure)	Mid-level-ontology.kif 34707-34707	The range of mean time to recovery is an instance of time measure
(range MTTRecoveryInstanceFn TimeMeasure)	Mid-level-ontology.kif 34734-34734	The range of time to repair is an instance of time measure
(termFormat EnglishLanguage TimeMeasure "time measure")	english_format.kif 960-960	The range of time to repair is an instance of time measure

consequent

(=>
    (and
        (instance ?M Measuring)
        (result ?M ?Q)
        (instrument ?M ?C)
        (instance ?C Clock))
    (instance ?Q TimeMeasure))

If X is an instance of measuring, Y is a result of X, Z is an instrument for X, and Z is an instance of clock, then Y is an instance of time measure