| 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 8688-8688 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9608-9608 |
|
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 431-431 |
lethalDose RicinToxin and PerFn 3.0 un millioni�me de Gram(s) and 1.0 1 millier Grams(s) |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31677-31677 |
roomTempState RicinToxin and Solid |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 430-430 |
RicinToxin est une sous-classe de prot�ine |
| No TPTP formula. May not be expressible in strict first order. |
WMD.kif 429-429 |
RicinToxin est une sous-classe de Toxin |
