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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Badger

 Sigma KEE - Badger
Badger

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20285-20285 defaultMeasure Badger and 20.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20277-20283
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20292-20298
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20289-20289 habitatOfOrganism Badger and Africa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20288-20288 habitatOfOrganism Badger and Asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20287-20287 habitatOfOrganism Badger and Europe
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20286-20286 habitatOfOrganism Badger and NorthAmerica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20276-20276 Badger e' uma sub-classe de Carnivoro

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64504-64504


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