No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1136-1136 | AG m65 is a subclass of AG m |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1137-1137 | AG m65 is a subclass of infra redG missile |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1138-1138 | AG m65 is a subclass of anti armor weapon |