| AntiTankWeapon(anti tank weapon)
|
| appearance as argument number 1 |
|
| (subclass AntiTankWeapon AntiArmorWeapon) | MilitaryDevices.kif 1024-1024 | Anti tank weapon is a subclass of anti armor weapon |
| (documentation AntiTankWeapon EnglishLanguage "A weapon primarily designed to destroy tanks and other armored vehicles. Most often these weapons are (self-guided) missiles.") | MilitaryDevices.kif 1025-1027 | Anti tank weapon is a subclass of anti armor weapon |
| (externalImage AntiTankWeapon "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9b/ 9K115_Metys.jpg") | pictureList.kif 2640-2640 | Anti tank weapon is a subclass of anti armor weapon |
| (externalImage AntiTankWeapon "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1b/ Lockheed_Martin_Longbow_Hellfire.jpg") | pictureList.kif 2744-2744 | Anti tank weapon is a subclass of anti armor weapon |
| (externalImage AntiTankWeapon "http://upload.wikimedia.org/wikipedia/commons/ a/ a1/ AGM-65_Maverick_MG_1382.jpg") | pictureList.kif 2745-2745 | Anti tank weapon is a subclass of anti armor weapon |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?W AntiTankWeapon) (hasPurpose ?W (exists (?DAMAGING ?V) (and (instance ?DAMAGING Damaging) (instrument ?DAMAGING ?W) (patient ?DAMAGING ?V) (instance ?V ArmoredVehicle))))) |
MilitaryDevices.kif 1031-1039 | If X is an instance of anti tank weapon, then X has the purpose there exist Y, Z such that Y is an instance of damaging, X is an instrument for Y, Z is a patient of Y, and Z is an instance of armored vehicle |
|
|
|