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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InvasiveSpeciesIssue
InvasiveSpeciesIssue(invasive species issue)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 8547-8547
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9344-9344
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9345-9345
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9346-9346
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9347-9347
No TPTP formula. May not be expressible in strict first order. Geography.kif 6898-6898 Invasive species 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 30811-30811
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30810-30810
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30809-30809


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