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 |
The per of 2.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of batrachotoxin |
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 is a subclass of body substance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 308-308 |
Batrachotoxin is a subclass of toxin |