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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Rhinoceros

Sigma KEE - Rhinoceros
Rhinoceros

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30424-30424 Rhinocerosmaximum 预期价值是 2200.0 磅质量
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30405-30418
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30423-30423 Rhinoceros inhabits 非洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30422-30422 Rhinoceros inhabits 亚洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30421-30421 Rhinoceros濒危物种attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30420-30420 Rhinoceros哺乳动物subclass

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


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


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