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 20286-20286 Badger 的预期 value 是 20.0 磅质量
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20278-20284
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20293-20299
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20290-20290 Badger inhabits 非洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20289-20289 Badger inhabits 亚洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20288-20288 Badger inhabits 欧洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20287-20287 Badger inhabits 北美
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20277-20277 Badger 是 食肉动物 的 subclass

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


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


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