No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30512-30512 |
驯鹿 的预期 value 是 300.0 磅质量 |
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 |
驯鹿 inhabits 亚洲 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30515-30515 |
驯鹿 inhabits 欧洲 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30517-30517 |
驯鹿 inhabits 北美 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30513-30513 |
驯鹿 有 VulnerableSpecies 的 attribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30514-30514 |
驯鹿 是 鹿 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4909-4909 |
驯鹿 是 有蹄哺乳动物 的 subclass |