Minute - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Minute ChineseLanguage "这是所有时钟 Minute 的 Class。")	chinese_format.kif 2817-2817
(documentation Minute EnglishLanguage "The Class of all clock Minutes.")	Merge.kif 8763-8763
(relatedInternalConcept Minute MinuteDuration)	Merge.kif 8761-8761	relatedInternalConcept Minute and MinuteDuration
(relatedInternalConcept Minute MinuteFn)	Merge.kif 8760-8760	relatedInternalConcept Minute and MinuteFn
(subclass Minute TimeInterval)	Merge.kif 8759-8759	subclass Minute and TimeInterval

appearance as argument number 2

(rangeSubclass MinuteFn Minute)	Merge.kif 8068-8068	rangeSubclass MinuteFn and Minute
(termFormat ChineseLanguage Minute "分钟")	chinese_format.kif 1299-1299
(termFormat EnglishLanguage Minute "minute")	english_format.kif 1824-1824

appearance as argument number 3

(domainSubclass SecondFn 2 Minute)

Merge.kif 8094-8094

antecedent

(=> (instance ?MINUTE Minute) (duration ?MINUTE (MeasureFn 1 MinuteDuration)))	Merge.kif 8765-8767	instance TimeInterval and Minute duration TimeInterval and MeasureFn 1 and MinuteDuration
(=> (instance ?MINUTE Minute) (equal (CardinalityFn (TemporalCompositionFn ?MINUTE Second)) 60))	Merge.kif 8890-8892	instance TimeInterval and Minute equal CardinalityFn TemporalCompositionFn TimeInterval and Second and 60

consequent

(=>
    (instance ?HOUR Hour)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?HOUR Minute)) 60))

Merge.kif 8886-8888