ArtilleryGun - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1600-1601
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1037-1037
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1599-1599	子類火砲槍 and 槍

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1162-1162	劃分槍, 火砲槍 and 火器
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 171-171	子類火砲 and 火砲槍
No TPTP formula. May not be expressible in strict first order.	Military.kif 147-147	子類軍用坦克 and 火砲槍
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1178-1178	子類迫擊砲 and 火砲槍
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8544-8544
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8543-8543
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8542-8542