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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hamster
Hamster

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30612-30612 Hamster 的 maximum 预期长度是 10.0 厘米
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30613-30613 Hamster 的 minimum 预期长度是 5.0 厘米
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30607-30611
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30614-30614 Hamster 有 LeastConcernSpecies 的 attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30616-30616 Hamster 是 家畜 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30615-30615 Hamster 是 啮齿动物 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30617-30617


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