No TPTP formula. May not be expressible in strict first order. |
WMD.kif 440-442 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8319-8319 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 439-439 |
1.0 公克 的一千倍 是 0.04 公克 的百万分之一 的 per 是 abrin毒素 的 lethal 剂量 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31557-31557 |
roomTempState abrin毒素 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 438-438 |
Abrin毒素 是 蛋白质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 437-437 |
Abrin毒素 是 毒素 的 subclass |