No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 992-992 | Ground attack missile is a subclass of missile |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1124-1124 | AG m is a subclass of ground attack missile |