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 |
1.0 公克 的一千倍 是 2.0 公克 的百万分之一 的 per 是 batrachotoxin 的 lethal 剂量 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31600-31600 |
roomTempState batrachotoxin and 固体 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 309-309 |
Batrachotoxin 是 身体物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 308-308 |
Batrachotoxin 是 毒素 的 subclass |