| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 653-653 | 子類 反裝甲武器 and Weapon |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 264-264 | 子類 M242 and 反裝甲武器 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 299-299 | 子類 GAU12U and 反裝甲武器 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 669-669 | 子類 龍武器 and 反裝甲武器 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 779-779 | 子類 SMAW掩體破壞者 and 反裝甲武器 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 867-867 | 子類 反坦克武器 and 反裝甲武器 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1138-1138 | 子類 AG m65 and 反裝甲武器 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1205-1205 | 子類 AG m114 and 反裝甲武器 |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1300-1300 | 子類 RPG and 反裝甲武器 |
|
|