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 8817-8817
(relatedInternalConcept Hour HourDuration) Merge.kif 8815-8815
(relatedInternalConcept Hour HourFn) Merge.kif 8814-8814
(subclass Hour TimeInterval) Merge.kif 8813-8813

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


(rangeSubclass HourFn Hour) Merge.kif 8104-8104
(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 8129-8129

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


(=>
    (instance ?HOUR Hour)
    (duration ?HOUR
        (MeasureFn 1 HourDuration)))
Merge.kif 8819-8821
(=>
    (instance ?HOUR Hour)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?HOUR Minute)) 60))
Merge.kif 8950-8952

consequent
-------------------------


(=>
    (instance ?DAY Day)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?DAY Hour)) 24))
Merge.kif 8946-8948


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners