No TPTP formula. May not be expressible in strict first order. | WMD.kif 492-492 | Mustard gas is a subclass of blister agent |
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. | WMD.kif 503-503 | Nitrogen mustard gas is a subclass of mustard gas |