No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 591-591 | GrenadeLauncher est une sous-classe de HeavyMachineGun |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 607-607 | MK19 est une sous-classe de GrenadeLauncher |