No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30469-30469 |
Lemur 的 maximum 預期價值是 測量 20.0 and 磅質量 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30470-30470 |
Lemur 的 minimum 預期價值是 測量 1.0 and 盎司 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30459-30467 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30472-30472 |
Lemur inhabits 馬達加斯加 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30473-30473 |
屬性 Lemur and CriticallyEndangeredSpecies |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30471-30471 |
子類 Lemur and Primate |