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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Forest

 Sigma KEE - Forest
Forest(森林)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6353-6353 森林 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. Geography.kif 6354-6356
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1478-1478
No TPTP formula. May not be expressible in strict first order. Geography.kif 6352-6352 森林 是 土地面积 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6380-6380 针叶林 是 森林 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 6363-6363 雨林 是 森林 的 subclass
No TPTP formula. May not be expressible in strict first order. Geography.kif 6377-6377 温带硬木林 是 森林 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24674-24674
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24673-24673
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24672-24672

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6358-6360

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 5210-5222
No TPTP formula. May not be expressible in strict first order. Geography.kif 2407-2413


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