No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8645-8646 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4489-4489 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31560-31560 |
roomTempState 生物碱 and 液体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8644-8644 |
生物碱 是 生物活性物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8642-8642 |
生物碱 是 化学基地 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8643-8643 |
生物碱 是 植物物质 的 subclass |