WaterMotion - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - WaterMotion

WaterMotion(水運動)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3023-3024
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11256-11257
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1788-1789
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11254-11254	子類水運動 and 液體運動

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4694-4694	例南極極地電流 and 水運動
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1551-1551	子類高激浪 and 水運動
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11228-11228	子類沉澱 and 水運動
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62427-62427
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62426-62426
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62425-62425

appearance as argument number 3

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

Geography.kif 5558-5558

域流動電流, 1 and 水運動

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5561-5570	例 WaterArea and 瀑布例水運動 and 水運動 WaterArea 是水運動的 flow 流量起源水運動 and Object 目的地水運動 and Object 例 Object and WaterArea 例 Object and WaterArea 方位 Object, Object and 以上
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11259-11264	例 Process and 水運動 Entity 患者 Process and Entity 例 Entity and Water

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1626-1638	例 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.	Mid-level-ontology.kif 2029-2035	例 Physical and Shower 有目的 Physical and entity 例 entity and 水運動起源 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Food.kif 276-283	例 Entity and TapWater Process Object 例 Process and 水運動患者 Process and Entity 起源 Process and Object 例 Object and Faucet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25443-25449	例 Physical and WaterSprinkler 有目的 Physical and PhysicalM 例 PhysicalM and 水運動起源 PhysicalM and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25465-25475	例 Object and FireSprinklerSystem Entity Process and Process 例 Process and 發現例 Entity and 火儀器 Process and Object 患者 Process and Entity 例 Process and 水運動起源 Process and Object 原因 Process and Process

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