No TPTP formula. May not be expressible in strict first order. |
WMD.kif 507-507 |
biochemicalAgentAntidote Lewisite, Dimercaprol and couvrir |
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 31583-31583 |
roomTempState Lewisite and Liquid |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 506-506 |
Lewisite est une sous-classe de BlisterAgent |