No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 969-969 | Air attack missile is a subclass of 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 |