No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30460-30460 |
defaultMaximumMeasure Rhinoceros and 2200.0 PoundMass(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30441-30454 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30459-30459 |
habitatOfOrganism Rhinoceros and Africa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30458-30458 |
habitatOfOrganism Rhinoceros and Asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30457-30457 |
Rhinoceros tem um atributo de EndangeredSpecies |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30456-30456 |
Rhinoceros e' uma sub-classe de Mamifero |