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 9380-9380
(documentation Hour JapaneseLanguage "すべての丸々 Hour の Class。") japanese_format.kif 1557-1557
(relatedInternalConcept Hour HourDuration) Merge.kif 9378-9378
(relatedInternalConcept Hour HourFn) Merge.kif 9377-9377
(subclass Hour TimeInterval) Merge.kif 9376-9376

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


(rangeSubclass HourFn Hour) Merge.kif 8651-8651
(termFormat ChineseLanguage Hour "小时") chinese_format.kif 1298-1298
(termFormat EnglishLanguage Hour "hour") english_format.kif 1813-1813
(termFormat FrenchLanguage Hour "heure") french_format.kif 976-976
(termFormat Hindi Hour "ghantaa") terms-hindi.txt 511-511
(termFormat ItalianLanguage Hour "Ora") terms-it.txt 515-515
(termFormat JapaneseLanguage Hour "時間") japanese_format.kif 2660-2660
(termFormat PortugueseLanguage Hour "Hora") portuguese_format.kif 928-928
(termFormat cb Hour "takna") terms-cb.txt 517-517
(termFormat cz Hour "hour") terms-cz.txt 551-551
(termFormat ro Hour "orã") relations-ro.kif 997-997
(termFormat tg Hour "oras") terms-tg.txt 516-516

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


(domainSubclass MinuteFn 2 Hour) Merge.kif 8676-8676

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


(=>
    (instance ?HOUR Hour)
    (duration ?HOUR
        (MeasureFn 1 HourDuration)))
Merge.kif 9382-9384
(=>
    (instance ?HOUR Hour)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?HOUR Minute)) 60))
Merge.kif 9513-9515

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


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


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