No TPTP formula. May not be expressible in strict first order. |
WMD.kif 311-311 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4540-4540 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 310-310 |
lethalDose Batrachotoxin and PerFn 2.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 31600-31600 |
roomTempState Batrachotoxin and Solid |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 309-309 |
Batrachotoxin est une sous-classe de substance corporel |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 308-308 |
Batrachotoxin est une sous-classe de Toxin |