| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1169-1169 | Air-to-air missile is a subclass of air launch missile |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1170-1170 | Air-to-air missile is a subclass of air attack missile |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1171-1171 | Air-to-air missile is a subclass of guided missile |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1177-1177 | AI m9 is a subclass of air-to-air missile |
|
|