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 and 千 公克 是 測量 2.0 and 微 公克 的 per 是 batrachotoxin 的 lethal 劑量 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31568-31568 |
roomTempState batrachotoxin and 固體 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 309-309 |
子類 batrachotoxin and BodySubstance |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 308-308 |
子類 batrachotoxin and 毒素 |