Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Minute
Minute

appearance as argument number 1
-------------------------


(documentation Minute ChineseLanguage "这是所有时钟 MinuteClass。") 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 domainSubclass SecondFn, 2 and Minute

antecedent
-------------------------


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