Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  WaterMotion

Sigma KEE - WaterMotion
WaterMotion(water motion)

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 11234-11235
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 11232-11232 Water motion is a subclass of liquid motion

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4694-4694 Antarctic circumpolar current is an instance of water motion
No TPTP formula. May not be expressible in strict first order. Weather.kif 1555-1555 Heavy zone is a subclass of water motion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11206-11206 Precipitation is a subclass of water motion
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 The number 1 argument of flow current is an instance of water motion

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5561-5570
No TPTP formula. May not be expressible in strict first order. Merge.kif 11237-11242

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1630-1642
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2029-2035
No TPTP formula. May not be expressible in strict first order. Food.kif 276-283
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25444-25450
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25466-25476


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