No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30457-30457 |
defaultMaximumMeasure Lemur and 20.0 PoundMass(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30458-30458 |
defaultMinimumMeasure Lemur and 1.0 Ounce(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30447-30455 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30460-30460 |
habitatOfOrganism Lemur and Madagascar |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30461-30461 |
Lemur a un attribute CriticallyEndangeredSpecies |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30459-30459 |
Lemur est une sous-classe de primate |