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 8318-8318 |
|
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 33248-33248 |
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 |