|
|
   ArmoredVehicle
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ArmoredVehicle EnglishLanguage "a vehicle that is protected by armor plate (WN)") | MilitaryDevices.kif 1597-1598 | |
| (externalImage ArmoredVehicle "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ M-20.jpg") | pictureList-ImageNet.kif 343-343 | |
| (externalImage ArmoredVehicle "http://upload.wikimedia.org/wikipedia/commons/ c/ c7/ Amx10p_80.jpg") | pictureList-ImageNet.kif 344-344 | |
| (externalImage ArmoredVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ d7/ GTK_Boxer_front.JPG/ 200px-GTK_Boxer_front.JPG") | pictureList.kif 1036-1036 | |
| (subclass ArmoredVehicle Vehicle) | MilitaryDevices.kif 1595-1595 |
| appearance as argument number 2 |
|
|
| (subclass APC ArmoredVehicle) | MilitaryDevices.kif 1574-1574 | |
| (subclass MilitaryTank ArmoredVehicle) | MilitaryDevices.kif 1607-1607 | |
| (termFormat EnglishLanguage ArmoredVehicle "armored vehicle") | domainEnglishFormat.kif 1840-1840 |
| antecedent |
|
|
| (=> (instance ?AV ArmoredVehicle) (exists (?A) (and (instance ?A Armor) (part ?A ?AV)))) |
MilitaryDevices.kif 1600-1605 |
| consequent |
|
|
| (=> (instance ?W AntiTankWeapon) (hasPurpose ?W (exists (?DAMAGING ?V) (and (instance ?DAMAGING Damaging) (instrument ?DAMAGING ?W) (patient ?DAMAGING ?V) (instance ?V ArmoredVehicle))))) |
MilitaryDevices.kif 873-881 |
|
|
|
