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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Badger

Sigma KEE - Badger
BadgerAmerican_badger, Arctonyx_collaris, Eurasian_badger, Meles_meles, Taxidea_taxus, badger, ferret_badger, hog-nosed_badger, hog_badger, sand_badger

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19613-19613 The expected value of Badger is 20.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19605-19611
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19620-19626
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19617-19617 Badger inhabits africa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19616-19616 Badger inhabits asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19615-19615 Badger inhabits europe
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19614-19614 Badger inhabits north america
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19604-19604 Badger is a subclass of carnivore


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