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	反装甲武器是武器的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1205-1205	AG m114 是反装甲武器的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1138-1138	AG m65 是反装甲武器的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 867-867	反坦克武器是反装甲武器的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 669-669	龙武器是反装甲武器的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 299-299	GAU12U 是反装甲武器的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 264-264	M242 是反装甲武器的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1300-1300	RPG 是反装甲武器的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 779-779	SMAW掩体破坏者是反装甲武器的 subclass
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