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

Formal Language: 


KB Term:  Term intersection
English Word: 

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

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


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

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


(domainSubclass MinuteFn 2 Hour) Merge.kif 8753-8753 The number 2 argument of minute is a subclass of hour

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