No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12303-12304 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12035-12048 |
|
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 12305-12305 |
胰島素 是 胰腺 的 secretes 物質 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12302-12302 |
子類 胰腺 and Gland |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12034-12034 |
子類 胰腺 and Organ |