No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 591-591 | Grenade launcher is a subclass of heavy machine gun |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 607-607 | Mk19 is a subclass of grenade launcher |