No TPTP formula. May not be expressible in strict first order. | Merge.kif 13398-13398 | Attack is a subclass of maneuver |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 40-40 | Biochemical attack is a subclass of attack |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 437-437 | Standoff attack is a subclass of attack |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2053-2053 | CT nw infra attack is a subclass of attack |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2114-2114 | Terrorist attack is a subclass of attack |