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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Badger
Badger

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20313-20313 defaultMeasure Badger and 20.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20305-20311
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20320-20326
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20317-20317 habitatOfOrganism Badger and Africa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20316-20316 habitatOfOrganism Badger and Asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20315-20315 habitatOfOrganism Badger and Europe
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20314-20314 habitatOfOrganism Badger and NorthAmerica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20304-20304 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 64506-64506


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