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 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 885-885 | Anti tank missile is a subclass of missile |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 845-845 | BG m71TO w is a subclass of anti tank missile |