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	AntiArmorWeapon est une sous-classe de arme

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1205-1205	AGM114 est une sous-classe de AntiArmorWeapon
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1138-1138	AGM65 est une sous-classe de AntiArmorWeapon
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 867-867	AntiTankWeapon est une sous-classe de AntiArmorWeapon
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 669-669	DragonWeapon est une sous-classe de AntiArmorWeapon
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 299-299	GAU12U est une sous-classe de AntiArmorWeapon
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 264-264	M242 est une sous-classe de AntiArmorWeapon
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1300-1300	RPG est une sous-classe de AntiArmorWeapon
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 779-779	SMAWBunkerBuster est une sous-classe de AntiArmorWeapon
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