| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 653-653 | 反装甲武器 是 武器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 264-264 | M242 是 反装甲武器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 299-299 | GAU12U 是 反装甲武器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 669-669 | 龙武器 是 反装甲武器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 779-779 | SMAW掩体破坏者 是 反装甲武器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 867-867 | 反坦克武器 是 反装甲武器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1138-1138 | AG m65 是 反装甲武器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1205-1205 | AG m114 是 反装甲武器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1300-1300 | RPG 是 反装甲武器 的 subclass |
|
|