| 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 8320-8320 |
|
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 439-439 |
The per of 0.04 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of abrin toxin |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31664-31664 |
roomTempState abrin toxin and solid |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 438-438 |
Abrin toxin is a subclass of protein |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 437-437 |
Abrin toxin is a subclass of toxin |
