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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hour
Hour

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


(documentation Hour ChineseLanguage "这是所有时钟 HourClass。") chinese_format.kif 2816-2816
(documentation Hour EnglishLanguage "The Class of all clock Hours.") Merge.kif 8786-8786
(relatedInternalConcept Hour HourDuration) Merge.kif 8784-8784 relatedInternalConcept Hour and HourDuration
(relatedInternalConcept Hour HourFn) Merge.kif 8783-8783 relatedInternalConcept Hour and HourFn
(subclass Hour TimeInterval) Merge.kif 8782-8782 subclass Hour and TimeInterval

appearance as argument number 2
-------------------------


(rangeSubclass HourFn Hour) Merge.kif 8075-8075 rangeSubclass HourFn and Hour
(termFormat ChineseLanguage Hour "小时") chinese_format.kif 1298-1298
(termFormat EnglishLanguage Hour "hour") english_format.kif 1822-1822

appearance as argument number 3
-------------------------


(domainSubclass MinuteFn 2 Hour) Merge.kif 8100-8100 domainSubclass MinuteFn, 2 and Hour

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


(=>
    (instance ?HOUR Hour)
    (duration ?HOUR
        (MeasureFn 1 HourDuration)))
Merge.kif 8788-8790
(=>
    (instance ?HOUR Hour)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?HOUR Minute)) 60))
Merge.kif 8919-8921