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
-------------------------


s__documentation(s__Hour,s__ChineseLanguage,'"这是所有时钟 HourClass。"')

chinese_format.kif 2816-2816
s__documentation(s__Hour,s__EnglishLanguage,'"The Class of all clock Hours."')

Merge.kif 8981-8981
s__relatedInternalConcept(s__Hour,s__HourDuration)

Merge.kif 8979-8979 Hour is internally related to hour duration
s__relatedInternalConcept(s__Hour,s__HourFn__m)

Merge.kif 8978-8978 Hour is internally related to hour
s__subclass(s__Hour,s__TimeInterval)

s__instance(s__TimeInterval,s__Class)

s__instance(s__Hour,s__Class)

Merge.kif 8977-8977 Hour is a subclass of time interval

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


s__rangeSubclass(s__HourFn__m,s__Hour)

Merge.kif 8266-8266 The values returned by hour are subclasses of hour
s__termFormat(s__ChineseLanguage,s__Hour,'"小时"')

chinese_format.kif 1298-1298
s__termFormat(s__EnglishLanguage,s__Hour,'"hour"')

english_format.kif 1813-1813

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


s__domainSubclass(s__MinuteFn__m,n__2,s__Hour)

Merge.kif 8291-8291 The number 2 argument of minute is a subclass of hour

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


( ! [V__HOUR] :
   ((s__instance(V__HOUR,s__Hour) =>
       (s__duration(V__HOUR,s__MeasureFn(n__1,s__HourDuration))))
   )
)

Merge.kif 8983-8985
( ! [V__HOUR] :
   ((s__instance(V__HOUR,s__Hour) =>
       ((s__CardinalityFn(s__TemporalCompositionFn(V__HOUR,s__Minute))
         = n__60)))
   )
)

Merge.kif 9114-9116

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


( ! [V__DAY] :
   ((s__instance(V__DAY,s__Day) =>
       ((s__CardinalityFn(s__TemporalCompositionFn(V__DAY,s__Hour))
         = n__24)))
   )
)

Merge.kif 9110-9112


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