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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AcidRainIssue

 Sigma KEE - AcidRainIssue
AcidRainIssue(acid rain issue)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 8817-8817
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8818-8818
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8819-8819
No TPTP formula. May not be expressible in strict first order. Geography.kif 6823-6823 Acid rain issue is an instance of environmental issue

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5322-5322
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5321-5321
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5320-5320


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