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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hour

Sigma KEE - Hour
Hour(hour)closing_time, hour, hourly, none, o'clock, time_of_day

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 9344-9344
(documentation Hour JapaneseLanguage "すべての丸々 Hour の Class。") japanese_format.kif 1557-1557
(relatedInternalConcept Hour HourDuration) Merge.kif 9342-9342 Hour is internally related to hour duration
(relatedInternalConcept Hour HourFn) Merge.kif 9341-9341 Hour is internally related to hour
(subclass Hour TimeInterval) Merge.kif 9340-9340 Hour is a subclass of time interval

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


(rangeSubclass HourFn Hour) Merge.kif 8615-8615 The values returned by hour are subclasses of hour
(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 8640-8640 The number 2 argument of minute is a subclass of hour

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


(=>
    (instance ?HOUR Hour)
    (duration ?HOUR
        (MeasureFn 1 HourDuration)))
Merge.kif 9346-9348
(=>
    (instance ?HOUR Hour)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?HOUR Minute)) 60))
Merge.kif 9477-9479

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


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


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