| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1203-1203 | 子類 AG m114 and AG m |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1204-1204 | 子類 AG m114 and 束騎導彈 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1205-1205 | 子類 AG m114 and 反裝甲武器 |
|
|