No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 884-884 | AntiTankMissile e' uma sub-classe de AntiTankWeapon |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 885-885 | AntiTankMissile e' uma sub-classe de Missile |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 845-845 | BGM71TOW e' uma sub-classe de AntiTankMissile |