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 19617-19617 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 19609-19615
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19624-19630
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19621-19621 Badger inhabits africa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19620-19620 Badger inhabits asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19619-19619 Badger inhabits europe
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19618-19618 Badger inhabits north america
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19608-19608 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