No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12276-12277 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12008-12021 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7493-7493 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7494-7494 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7495-7495 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7496-7496 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6752-6752 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7497-7497 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7498-7498 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7499-7499 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12278-12278 |
胰岛素 是 胰腺 的 secretes 物质 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12275-12275 |
胰腺 是 腺 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12007-12007 |
胰腺 是 器官 的 subclass |