|
|
  contractor Rhinoceros
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30436-30436 | defaultMaximumMeasure Rhinoceros and 2200.0 PoundMass(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 | habitatOfOrganism Rhinoceros and Africa |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30434-30434 | habitatOfOrganism Rhinoceros and Asia |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30433-30433 | Rhinoceros a un attribute EndangeredSpecies |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30432-30432 | Rhinoceros est une sous-classe de mammif�re |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30437-30437 |
|
|
|