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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Ecosystem

 Sigma KEE - Ecosystem
Ecosystem(生态系统)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2660-2662
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2575-2575
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2576-2576
No TPTP formula. May not be expressible in strict first order. Geography.kif 2658-2658 生态系统 是 地理区域 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6345-6345 生物群落 是 生态系统 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21210-21210
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21209-21209
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21208-21208


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