|
|
   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 | 子類 反裝甲武器 and Weapon |
| appearance as argument number 2 |
|
|
| (subclass AGM114 AntiArmorWeapon) | MilitaryDevices.kif 1205-1205 | 子類 AG m114 and 反裝甲武器 |
| (subclass AGM65 AntiArmorWeapon) | MilitaryDevices.kif 1138-1138 | 子類 AG m65 and 反裝甲武器 |
| (subclass AntiTankWeapon AntiArmorWeapon) | MilitaryDevices.kif 867-867 | 子類 反坦克武器 and 反裝甲武器 |
| (subclass DragonWeapon AntiArmorWeapon) | MilitaryDevices.kif 669-669 | 子類 龍武器 and 反裝甲武器 |
| (subclass GAU12U AntiArmorWeapon) | MilitaryDevices.kif 299-299 | 子類 GAU12U and 反裝甲武器 |
| (subclass M242 AntiArmorWeapon) | MilitaryDevices.kif 264-264 | 子類 M242 and 反裝甲武器 |
| (subclass RPG AntiArmorWeapon) | MilitaryDevices.kif 1300-1300 | 子類 RPG and 反裝甲武器 |
| (subclass SMAWBunkerBuster AntiArmorWeapon) | MilitaryDevices.kif 779-779 | 子類 SMAW掩體破壞者 and 反裝甲武器 |
| (termFormat ChineseLanguage AntiArmorWeapon "反装甲武器") | domainEnglishFormat.kif 7836-7836 | |
| (termFormat ChineseTraditionalLanguage AntiArmorWeapon "反裝甲武器") | domainEnglishFormat.kif 7835-7835 | |
| (termFormat EnglishLanguage AntiArmorWeapon "anti armor weapon") | domainEnglishFormat.kif 7834-7834 | |
| (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 |
|
|
|
|
