No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12223-12224 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6924-6924 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8089-8089 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8090-8090 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8091-8091 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8092-8092 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8093-8093 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8094-8094 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8095-8095 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8096-8096 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8086-8086 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8097-8097 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8087-8087 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8088-8088 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12225-12225 |
甲状腺激素 是 甲状腺 的 secretes 物质 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3339-3339 |
Thyroxine 是 甲状腺 的 secretes 物质 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12222-12222 |
甲状腺 是 腺 的 subclass |