| 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 8687-8687 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9607-9607 |
|
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 431-431 |
The per of 3.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of ricin toxin |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 32768-32768 |
roomTempState ricin toxin and solid |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 430-430 |
Ricin toxin is a subclass of protein |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 429-429 |
Ricin toxin is a subclass of toxin |
