| AntiTankWeapon(反坦克武器)
|
| appearance as argument number 1 |
|
| (documentation AntiTankWeapon EnglishLanguage "A weapon primarily designed to destroy tanks and other armored vehicles. Most often these weapons are (self-guided) missiles.") | MilitaryDevices.kif 868-870 | |
| (externalImage AntiTankWeapon "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1b/ Lockheed_Martin_Longbow_Hellfire.jpg") | pictureList.kif 2745-2745 | |
| (externalImage AntiTankWeapon "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ 9K115_Metys.jpg") | pictureList.kif 2641-2641 | |
| (externalImage AntiTankWeapon "http://upload.wikimedia.org/wikipedia/commons/ a/ a1/ AGM-65_Maverick_MG_1382.jpg") | pictureList.kif 2746-2746 | |
| (subclass AntiTankWeapon AntiArmorWeapon) | MilitaryDevices.kif 867-867 | 反坦克武器 是 反装甲武器 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass AntiTankMissile AntiTankWeapon) | MilitaryDevices.kif 884-884 | 反坦克导弹 是 反坦克武器 的 subclass |
| (subclass JavelinWeapon AntiTankWeapon) | MilitaryDevices.kif 719-719 | 标枪武器 是 反坦克武器 的 subclass |
| (termFormat ChineseLanguage AntiTankWeapon "反坦克武器") | domainEnglishFormat.kif 7914-7914 | |
| (termFormat ChineseTraditionalLanguage AntiTankWeapon "反坦克武器") | domainEnglishFormat.kif 7913-7913 | |
| (termFormat EnglishLanguage AntiTankWeapon "anti tank weapon") | domainEnglishFormat.kif 7912-7912 | |
| (termFormat EnglishLanguage AntiTankWeapon "anti-tank weapon") | MilitaryDevices.kif 2057-2057 |
| antecedent |
|
|
| (=> (instance ?W AntiTankWeapon) (hasPurpose ?W (exists (?DAMAGING ?V) (and (instance ?DAMAGING Damaging) (instrument ?DAMAGING ?W) (patient ?DAMAGING ?V) (instance ?V ArmoredVehicle))))) |
MilitaryDevices.kif 874-882 |
|
|
|