No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12257-12257 |
|
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 12300-12300 |
激素TSH 是 垂體 的 secretes 物質 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12256-12256 |
子類 垂體 and Gland |