No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 927-927 | 子類 加特林機槍 and 自動槍 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 300-300 | 子類 GAU12U and 加特林機槍 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 901-901 | 子類 m197加特林槍 and 加特林機槍 |
![]() |