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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Jungle
Jungle(jungle)
jungle

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6600-6601
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5041-5041
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4753-4753
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4919-4919
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5040-5040
No TPTP formula. May not be expressible in strict first order. Geography.kif 6597-6597 Jungle is a subclass of biome
No TPTP formula. May not be expressible in strict first order. Geography.kif 6598-6598 Jungle is a subclass of land area

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31897-31897
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31896-31896
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31895-31895

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 6603-6605


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