| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13420-13420 | Attack e' uma sub-classe de Manobra |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 40-40 | BiochemicalAttack e' uma sub-classe de Attack |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 437-437 | StandoffAttack e' uma sub-classe de Attack |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2053-2053 | CTNwInfraAttack e' uma sub-classe de Attack |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2114-2114 | TerroristAttack e' uma sub-classe de Attack |
|
|