No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12229-12229 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7572-7572 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6769-6769 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7573-7573 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7574-7574 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7575-7575 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7576-7576 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7577-7577 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12272-12272 |
激素TSH 是 垂体 的 secretes 物质 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12228-12228 |
垂体 是 腺 的 subclass |