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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BiodiversityAttribute
BiodiversityAttribute(biodiversity attribute)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2602-2604
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8380-8380
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8987-8987
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8986-8986
No TPTP formula. May not be expressible in strict first order. Geography.kif 2600-2600 Biodiversity attribute is a subclass of internal attribute

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2608-2608 High biodiversity is an instance of biodiversity attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 2606-2606 Low biodiversity is an instance of biodiversity attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 2607-2607 Medium biodiversity is an instance of biodiversity attribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11063-11063
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11062-11062
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11061-11061


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