No TPTP formula. May not be expressible in strict first order. |
WMD.kif 600-600 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10333-10333 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12149-12149 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12150-12150 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12151-12151 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 599-599 |
1.0 公克 的一千倍 是 15.0 公克 的百万分之一 的 per 是 VX 的 lethal 剂量 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31670-31670 |
roomTempState VX and 加油站 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 598-598 |
VX 是 V系列神经毒剂 的 subclass |