AntiArmorWeapon - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 654-655
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1304-1304
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 653-653	子類反裝甲武器 and Weapon

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1205-1205	子類 AG m114 and 反裝甲武器
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1138-1138	子類 AG m65 and 反裝甲武器
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 867-867	子類反坦克武器 and 反裝甲武器
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 669-669	子類龍武器 and 反裝甲武器
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 299-299	子類 GAU12U and 反裝甲武器
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 264-264	子類 M242 and 反裝甲武器
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1300-1300	子類 RPG and 反裝甲武器
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 779-779	子類 SMAW掩體破壞者 and 反裝甲武器
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7836-7836
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7835-7835
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7834-7834
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2052-2052

antecedent

No TPTP formula. May not be expressible in strict first order.

MilitaryDevices.kif 659-667

consequent

No TPTP formula. May not be expressible in strict first order.

MilitaryPersons.kif 603-608