| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13398-13398 | Attack est une sous-classe de manoeuvre |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 40-40 | BiochemicalAttack est une sous-classe de Attack |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 437-437 | StandoffAttack est une sous-classe de Attack |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2053-2053 | CTNwInfraAttack est une sous-classe de Attack |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2114-2114 | TerroristAttack est une sous-classe de Attack |
|
|