No TPTP formula. May not be expressible in strict first order. |
WMD.kif 432-435 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8688-8688 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9608-9608 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 431-431 |
1.0 公克 的一千倍 是 3.0 公克 的百万分之一 的 per 是 蓖麻毒素 的 lethal 剂量 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31645-31645 |
roomTempState 蓖麻毒素 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 430-430 |
蓖麻毒素 是 蛋白质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 429-429 |
蓖麻毒素 是 毒素 的 subclass |