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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GroundWater

Sigma KEE - GroundWater
GroundWater(ground water)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 2745-2746
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31641-31641 roomTempState ground water and liquid
No TPTP formula. May not be expressible in strict first order. Geography.kif 2743-2743 Ground water is a subclass of water

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26724-26724
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26723-26723
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26722-26722


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