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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WaterPollutionIssue

Sigma KEE - WaterPollutionIssue
WaterPollutionIssue(water pollution issue)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 8792-8792
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9810-9810
No TPTP formula. May not be expressible in strict first order. Geography.kif 6839-6839 Water pollution issue is an instance of environmental water issue

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6840-6840 Groundwater pollution issue is a subattribute of water pollution issue
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62453-62453
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62452-62452
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62451-62451


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