| MustardGas(mustard gas)
| | blistering_agent, dichloroethyl_sulfide, mustard_agent, mustard_gas, sulfur_mustard |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 493-496 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7385-7385 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7386-7386 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6715-6715 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7387-7387 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31548-31548 | roomTempState mustard gas and gas |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 492-492 | Mustard gas is a subclass of blister agent |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 503-503 | Nitrogen mustard gas is a subclass of mustard gas |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 498-498 | Sulphur mustard gas is a subclass of mustard gas |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39459-39459 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39458-39458 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39457-39457 |
|
|
|