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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hour

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 小时时距subclass

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


(rangeSubclass HourFn Hour) Merge.kif 8651-8651 时函数 的所得值 是 小时subclass
(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 分函数 的 2 数量 是 小时subclass

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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