TreeView Knowledge Base Browser - HourDuration

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - HourDuration

HourDuration(小时)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2580-2580
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7093-7093
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1287-1287
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7092-7092	小时是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7091-7091	小时是 UnitOfDuration 的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9342-9342	小时和小时是内部相关
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28701-28701
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28700-28700
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28699-28699

antecedent

No TPTP formula. May not be expressible in strict first order.

Geography.kif 3929-3937

如果函数量 equal 实数海里除以另一个实数小时，
然后那个函数量 equal 那个实数和那个另外实数结速度单位

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1702-1708	函数量 equal 实数英里每小時若且唯若那个函数量 equal 那个实数英里除以 1 小时
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3939-3945	如果函数量 equal 实数结速度单位，然后那个函数量 equal 那个实数海里除以 1.0 小时
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1630-1642	如果过程是山洪暴发的 instance，然后有存在另一个过程和实数这样那个另外过程是水运动的 instance 和那个另外过程 causes 那个过程和那个另外过程出现的 time 接着那个过程出现的 time 和那个另外过程出现的 time 的 duration 是那个实数小时和那个实数是 lessThan 6.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9346-9348	如果时距是小时的 instance，然后那个时距的 duration 是 1 小时
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1109-1123	如果物理是大雨的 instance，然后有存在实体和另一个实体这样那个实体是地区的 instance 和那个物理是 located 在那个实体和 rain 的 rate 在那个实体期间那个物理出现的 time 是 1 小时是那个另外实体毫米的 per 和那个另外实体是 greaterThan 10.0 和 50.0 是 greaterThan 那个另外实体在那个物理出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2627-2640	如果物理是暴风雪的 instance，然后有存在实体，另一个实体， and 和第三实体这样那个实体是地理区域的 instance 和那个物理是 located 在那个实体和那个另外实体结速度单位是那个实体的 surface 风速和那个另外实体是 greaterThan 35.0 和那个物理出现的 time 的 duration 是那个第三实体小时和那个第三实体是 greaterThan 3 在那个物理出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2940-2955	如果物理是雪暴的 instance，然后有存在实体，另一个实体， and 和第三实体这样那个实体是下雪的 instance 和那个另外实体是地理区域的 instance 和那个实体是 located 在那个另外实体和那个实体%n是那个物理的subProcess 和 snow 的下降 rate 在那个另外实体期间那个实体出现的 time 是 1 小时是那个第三实体厘米的 per 和那个第三实体是 greaterThan 5.0 在那个物理出现的 time holdsDuring

statement

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1141-1141	炭疽病对于 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order.	WMD.kif 336-336	肉毒中毒对于 %3 disease 孵化
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7087-7089	实数一天长度 equal 那个实数和 24 小时
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7095-7097	实数小时 equal 那个实数和 60 分钟

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