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 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31564-31564 |
roomTempState Batrachotoxin and Solid |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 309-309 |
Batrachotoxin e' uma sub-classe de Substancia Corporal |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 308-308 |
Batrachotoxin e' uma sub-classe de Toxin |