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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WaterMotion

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 WaterMotion e' uma sub-classe de LiquidMotion

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4694-4694 AntarcticCircumpolarCurrent e' uma instancia de WaterMotion
No TPTP formula. May not be expressible in strict first order. Weather.kif 1551-1551 HeavySurf e' uma sub-classe de WaterMotion
No TPTP formula. May not be expressible in strict first order. Merge.kif 11228-11228 Precipitation e' uma sub-classe de WaterMotion
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 O argumento numero 1 de flowCurrent e' uma instancia de WaterMotion

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

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1626-1638
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 25443-25449
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25465-25475


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