No TPTP formula. May not be expressible in strict first order. |
WMD.kif 507-507 |
Lewisite biochemical agent antidote dimercaprol for covering |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 508-511 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4769-4769 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31547-31547 |
roomTempState lewisite and liquid |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 506-506 |
Lewisite is a subclass of blister agent |