| BlisterAgent(blister agent)
| | vesicant, vesicatory |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 472-472 | Breathing is a biochemical agent delivery of blister agent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 473-473 | Ingesting is a biochemical agent delivery of blister agent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 471-471 | Touching is a biochemical agent delivery of blister agent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 474-476 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8384-8384 | |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 470-470 | Blister agent is a subclass of chemical agent |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 501-501 | Lewisite is a subclass of blister agent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 487-487 | Mustard gas is a subclass of blister agent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 512-512 | Phosgene oxime is a subclass of blister agent |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11269-11269 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11268-11268 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11267-11267 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 478-485 |
|
|
|
|