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 and 千 公克 是 測量 0.04 and 微 公克 的 per 是 abrin毒素 的 lethal 劑量 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31589-31589 |
roomTempState abrin毒素 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 438-438 |
子類 abrin毒素 and Protein |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 437-437 |
子類 abrin毒素 and 毒素 |