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 |
The per of 15.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of VX |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31666-31666 |
roomTempState VX and gas |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 598-598 |
VX is a subclass of V series nerve agent |