No TPTP formula. May not be expressible in strict first order. | WMD.kif 545-545 | IncapacitatingAgent est une sous-classe de ChemicalAgent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 549-549 | CSGas est une sous-classe de IncapacitatingAgent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 551-551 | BZGas est une sous-classe de IncapacitatingAgent |
![]() |