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	例小時 and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7091-7091	例小時 and UnitOfDuration

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9342-9342	相關的內部概念 Hour and 小時
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

等於 FunctionQuantity and 速度測量 RealNumber and 海裡 and 測量 RealNumber and 小時
等於 FunctionQuantity and 測量部 RealNumber and RealNumber and 結速度單位

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1702-1708	等於 FunctionQuantity and 測量 RealNumber and MilesPerHour 等於 FunctionQuantity and 速度測量 RealNumber and 英里 and 測量 1 and 小時
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3939-3945	等於 FunctionQuantity and 測量 RealNumber and 結速度單位等於 FunctionQuantity and 速度測量 RealNumber and 海裡 and 測量 1.0 and 小時
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1630-1642	例 Process and 山洪暴發 Process RealNumber 例 Process and 水運動原因 Process and Process 短暫相遇何時 Process and 何時 Process 持續時間何時 Process and 測量 RealNumber and 小時少於 RealNumber and 6.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9346-9348	例 TimeInterval and Hour 持續時間 TimeInterval and 測量 1 and 小時
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1109-1123	例 Physical and 大雨持有期間何時 Physical and entity entity 例 entity and Region Physical 是 located 在 entity rain 的 rate 在 entity 期間何時 Physical 是測量 1 and 小時是測量 entity and 毫米的 per 比較多 entity and 10.0 比較多 50.0 and entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2627-2640	例 Physical and 暴風雪持有期間何時 Physical and entity entity and entity 例 entity and GeographicArea Physical 是 located 在 entity 測量 entity and 結速度單位是 entity 的 surface 風速比較多 entity and 35.0 持續時間何時 Physical and 測量 entity and 小時比較多 entity and 3
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2940-2955	例 Physical and Snowstorm 持有期間何時 Physical and entity entity and entity 例 entity and 下雪例 entity and GeographicArea entity 是 located 在 entity 子過程 entity and Physical snow 的下降 rate 在 entity 期間何時 entity 是測量 1 and 小時是測量 entity and 厘米的 per 比較多 entity and 5.0

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	等於測量 RealNumber and 一天長度 and 測量乘法 RealNumber and 24 and 小時
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7095-7097	等於測量 RealNumber and 小時 and 測量乘法 RealNumber and 60 and 分鐘

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