No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 653-653 | Anti armor weapon is a subclass of weapon |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 264-264 | M242 is a subclass of anti armor weapon |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 299-299 | GAU12U is a subclass of anti armor weapon |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 669-669 | Dragon weapon is a subclass of anti armor weapon |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 779-779 | SMAW bunker buster is a subclass of anti armor weapon |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 867-867 | Anti tank weapon is a subclass of anti armor weapon |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1138-1138 | AG m65 is a subclass of anti armor weapon |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1205-1205 | AG m114 is a subclass of anti armor weapon |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1300-1300 | RPG is a subclass of anti armor weapon |