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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Rhinoceros
Rhinoceros(rhinoceros)Ceratotherium, Ceratotherium_simum, Diceros, Diceros_bicornis, Diceros_simus, Indian_rhinoceros, Rhinoceros_antiquitatis, Rhinoceros_unicornis, Rhinocerotidae, black_rhinoceros, family_Rhinocerotidae, genus_Ceratotherium, genus_Diceros, genus_Rhinoceros, rhino, rhinoceros, rhinoceros_family, white_rhinoceros, woolly_rhinoceros

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30436-30436 The maximum expected value of rhinoceros is 2200.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30417-30430
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30435-30435 Rhinoceros inhabits africa
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30434-30434 Rhinoceros inhabits asia
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30433-30433 Rhinoceros the attribute endangered species
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30432-30432 Rhinoceros is a subclass of mammal

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


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


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