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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DeforestationIssue
DeforestationIssue(deforestation issue)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 9137-9137
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6356-6356
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6358-6358
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6357-6357
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5953-5953
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9139-9139
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6354-6354
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6355-6355
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6353-6353
No TPTP formula. May not be expressible in strict first order. Geography.kif 6825-6825 Deforestation 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 18936-18936
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18935-18935
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18934-18934


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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