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 8796-8796
(relatedInternalConcept Minute MinuteDuration)	Merge.kif 8794-8794	relatedInternalConcept Minute and MinuteDuration
(relatedInternalConcept Minute MinuteFn)	Merge.kif 8793-8793	relatedInternalConcept Minute and MinuteFn
(subclass Minute TimeInterval)	Merge.kif 8792-8792	subclass Minute and TimeInterval

appearance as argument number 2

(rangeSubclass MinuteFn Minute)	Merge.kif 8101-8101	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 8127-8127

antecedent

(=> (instance ?MINUTE Minute) (duration ?MINUTE (MeasureFn 1 MinuteDuration)))	Merge.kif 8798-8800	instance TimeInterval and Minute duration TimeInterval and MeasureFn 1 and MinuteDuration
(=> (instance ?MINUTE Minute) (equal (CardinalityFn (TemporalCompositionFn ?MINUTE Second)) 60))	Merge.kif 8923-8925	instance TimeInterval and Minute equal CardinalityFn TemporalCompositionFn TimeInterval and Second and 60

consequent

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

Merge.kif 8919-8921