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 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 domainSubclass SecondFn, 2 and Minute

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


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