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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hamster

 Sigma KEE - Hamster
Hamster(hamster)Cricetus_cricetus, Eurasian_hamster, Mesocricetus, Mesocricetus_auratus, Syrian_hamster, genus_Mesocricetus, golden_hamster, hamster

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30612-30612 The maximum expected length of hamster is 10.0 centimeter(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30613-30613 The minimum expected length of hamster is 5.0 centimeter(s)
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 the attribute least concern species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30616-30616 Hamster is a subclass of domestic animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30615-30615 Hamster is a subclass of 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