GatlingGun - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 928-937
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1120-1120
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 927-927	子類加特林機槍 and 自動槍

appearance as argument number 2

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 加特林機槍
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25586-25586
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25585-25585
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2060-2060
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25584-25584