| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30512-30512 |
defaultMeasure Reindeer and 300.0 PoundMass(s) |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30496-30510 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 689-689 |
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30516-30516 |
habitatOfOrganism Reindeer and Asia |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30515-30515 |
habitatOfOrganism Reindeer and Europe |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30517-30517 |
habitatOfOrganism Reindeer and NorthAmerica |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30513-30513 |
Reindeer a un attribute VulnerableSpecies |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30514-30514 |
Reindeer est une sous-classe de Deer |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4909-4909 |
Reindeer est une sous-classe de ongul� |
