AntiArmorWeapon(anti armor weapon) | Bunker_Buster, GBU-28, Guided_Bomb_Unit-28 |
appearance as argument number 1 |
(documentation AntiArmorWeapon EnglishLanguage "A weapon designed to damage the armor of military vehicles or bunkers") | MilitaryDevices.kif 654-655 | |
(externalImage AntiArmorWeapon "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 9/ 94/ TOW_fired_from_Jeep.jpg/ 250px-TOW_fired_from_Jeep.jpg") | pictureList.kif 1304-1304 | |
(subclass AntiArmorWeapon Weapon) | MilitaryDevices.kif 653-653 | Anti armor weapon is a subclass of weapon |
appearance as argument number 2 |
antecedent |
(=> (instance ?W AntiArmorWeapon) (hasPurpose ?W (exists (?DAMAGING ?ARMOR) (and (instance ?DAMAGING Damaging) (instrument ?DAMAGING ?W) (patient ?DAMAGING ?ARMOR) (instance ?ARMOR Armor))))) |
MilitaryDevices.kif 659-667 |
|
consequent |
(=> (instance ?MP AntiArmorPlatoon) (exists (?MG) (and (instance ?MG AntiArmorWeapon) (possesses ?MP ?MG)))) |
MilitaryPersons.kif 603-608 |
|