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 |
lethalDose VX and PerFn 15.0 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31702-31702 |
roomTempState VX and Gas |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 598-598 |
VX e' uma sub-classe de VSeriesNerveAgent |