| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1136-1136 | 子類 AG m65 and AG m |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1137-1137 | 子類 AG m65 and 紅外導彈 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1138-1138 | 子類 AG m65 and 反裝甲武器 |
|
|