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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MediumBiodiversity

 Sigma KEE - MediumBiodiversity
MediumBiodiversity(中程度的生物多样性)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 10115-10115
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11418-11418
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11419-11419
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11417-11417
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11416-11416
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11420-11420
No TPTP formula. May not be expressible in strict first order. Geography.kif 2607-2607 中程度的生物多样性 是 生物多样性属 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36899-36899
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36898-36898
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36897-36897


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