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 719-719 | Javelin weapon is a subclass of anti tank weapon |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 884-884 | Anti tank missile is a subclass of anti tank weapon |