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 defaultMaximumLength Hamster and 10.0 Centimeter(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30613-30613 defaultMinimumLength Hamster and 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 tem um atributo de LeastConcernSpecies
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30616-30616 Hamster e' uma sub-classe de DomesticAnimal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30615-30615 Hamster e' uma sub-classe de Roedor

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