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 30636-30636 Hamster 的 maximum 预期长度是 10.0 厘米
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30637-30637 Hamster 的 minimum 预期长度是 5.0 厘米
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30631-30635
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30638-30638 Hamster 有 LeastConcernSpecies 的 attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30640-30640 Hamster 是 家畜 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30639-30639 Hamster 是 啮齿动物 的 subclass

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


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


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