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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hamster

 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 and 厘米
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30613-30613 Hamster 的 minimum 預期長度是 測量 5.0 and 厘米
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 and LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30616-30616 子類 Hamster and 家畜
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30615-30615 子類 Hamster and Rodent

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


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


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