| AntiArmorWeapon
| |
| 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 |
| appearance as argument number 2 |
|
|
| (subclass AGM114 AntiArmorWeapon) | MilitaryDevices.kif 1205-1205 | |
| (subclass AGM65 AntiArmorWeapon) | MilitaryDevices.kif 1138-1138 | |
| (subclass AntiTankWeapon AntiArmorWeapon) | MilitaryDevices.kif 867-867 | |
| (subclass DragonWeapon AntiArmorWeapon) | MilitaryDevices.kif 669-669 | |
| (subclass GAU12U AntiArmorWeapon) | MilitaryDevices.kif 299-299 | |
| (subclass M242 AntiArmorWeapon) | MilitaryDevices.kif 264-264 | |
| (subclass RPG AntiArmorWeapon) | MilitaryDevices.kif 1300-1300 | |
| (subclass SMAWBunkerBuster AntiArmorWeapon) | MilitaryDevices.kif 779-779 | |
| (termFormat ChineseLanguage AntiArmorWeapon "反装甲武器") | domainEnglishFormat.kif 7839-7839 | |
| (termFormat ChineseTraditionalLanguage AntiArmorWeapon "反裝甲武器") | domainEnglishFormat.kif 7838-7838 | |
| (termFormat EnglishLanguage AntiArmorWeapon "anti armor weapon") | domainEnglishFormat.kif 7837-7837 | |
| (termFormat EnglishLanguage AntiArmorWeapon "anti-armor weapon") | MilitaryDevices.kif 2052-2052 |
| 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 |
|
|
|