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 8786-8786
(relatedInternalConcept Hour HourDuration) Merge.kif 8784-8784 Hour is internally related to hour duration
(relatedInternalConcept Hour HourFn) Merge.kif 8783-8783 Hour is internally related to hour
(subclass Hour TimeInterval) Merge.kif 8782-8782 Hour is a subclass of time interval

appearance as argument number 2

(rangeSubclass HourFn Hour) Merge.kif 8075-8075 The values returned by hour are subclasses of hour
(termFormat ChineseLanguage Hour "小时") chinese_format.kif 1298-1298
(termFormat EnglishLanguage Hour "hour") english_format.kif 1822-1822

appearance as argument number 3

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


    (instance ?HOUR Hour)
    (duration ?HOUR
        (MeasureFn 1 HourDuration)))
Merge.kif 8788-8790
    (instance ?HOUR Hour)
            (TemporalCompositionFn ?HOUR Minute)) 60))
Merge.kif 8919-8921


    (instance ?DAY Day)
            (TemporalCompositionFn ?DAY Hour)) 24))
Merge.kif 8915-8917

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