No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30524-30524 |
defaultMeasure Reindeer and 300.0 PoundMass(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30508-30522 |
|
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 30528-30528 |
habitatOfOrganism Reindeer and Asia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30527-30527 |
habitatOfOrganism Reindeer and Europe |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30529-30529 |
habitatOfOrganism Reindeer and NorthAmerica |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30525-30525 |
Reindeer tem um atributo de VulnerableSpecies |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30526-30526 |
Reindeer e' uma sub-classe de Deer |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4909-4909 |
Reindeer e' uma sub-classe de Ungulado |