| (subclass Attack Maneuver) | Merge.kif 13398-13398 | Attack is a subclass of maneuver |
| (subclass BiochemicalAttack Attack) | WMD.kif 40-40 | Biochemical attack is a subclass of attack |
| (subclass StandoffAttack Attack) | MilitaryProcesses.kif 437-437 | Standoff attack is a subclass of attack |
| (subclass CTNwInfraAttack Attack) | MilitaryProcesses.kif 2053-2053 | CT nw infra attack is a subclass of attack |
| (subclass TerroristAttack Attack) | MilitaryProcesses.kif 2114-2114 | Terrorist attack is a subclass of attack |
|
|