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 |