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

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


(rangeSubclass HourFn Hour) Merge.kif 8728-8728
(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 de Hour "Stunde") terms-de.txt 810-810
(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 8753-8753

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


(=>
    (instance ?HOUR Hour)
    (duration ?HOUR
        (MeasureFn 1 HourDuration)))
Merge.kif 9482-9484
(=>
    (instance ?HOUR Hour)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?HOUR Minute)) 60))
Merge.kif 9613-9615

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


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


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