No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 867-867 | AntiTankWeapon est une sous-classe de AntiArmorWeapon |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 719-719 | JavelinWeapon est une sous-classe de AntiTankWeapon |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 884-884 | AntiTankMissile est une sous-classe de AntiTankWeapon |