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 8827-8827
(relatedInternalConcept Minute MinuteDuration)	Merge.kif 8825-8825
(relatedInternalConcept Minute MinuteFn)	Merge.kif 8824-8824
(subclass Minute TimeInterval)	Merge.kif 8823-8823

appearance as argument number 2

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

antecedent

(=> (instance ?MINUTE Minute) (duration ?MINUTE (MeasureFn 1 MinuteDuration)))	Merge.kif 8829-8831
(=> (instance ?MINUTE Minute) (equal (CardinalityFn (TemporalCompositionFn ?MINUTE Second)) 60))	Merge.kif 8954-8956

consequent

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

Merge.kif 8950-8952