No TPTP formula. May not be expressible in strict first order. | WMD.kif 549-549 | CSGas e' uma sub-classe de IncapacitatingAgent |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1317-1317 | CSGas e' uma sub-classe de Substancia Biologica Ativa |
![]() |