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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - 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 丛林 是 生物群落 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 6598-6598 丛林 是 土地面积 的 subclass

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