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	火炮枪是枪的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1162-1162	枪详尽无遗地 partition 成火炮枪和火器
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 171-171	火炮是火炮枪的 subclass
No TPTP formula. May not be expressible in strict first order.	Military.kif 147-147	军用坦克是火炮枪的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1178-1178	迫击炮是火炮枪的 subclass
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