No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 939-939 | Air launch missile is a subclass of missile |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1123-1123 | AG m is a subclass of air launch missile |
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 |