No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11054-11056 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7732-7732 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7733-7733 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6821-6821 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7734-7734 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11053-11053 |
视网膜 是 动物解剖结构 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11052-11052 |
视网膜 是 器官 的 subclass |