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 and 千 公克 是 測量 15.0 and 微 公克 的 per 是 VX 的 lethal 劑量 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31666-31666 |
roomTempState VX and 加油站 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 598-598 |
子類 VX and V系列神經毒劑 |