| ArmoredVehicle
| |
| appearance as argument number 1 |
|
|
| (documentation ArmoredVehicle EnglishLanguage "a vehicle that is protected by armor plate (WN)") | MilitaryDevices.kif 1598-1599 | |
| (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 1596-1596 | subclass ArmoredVehicle and Vehicle |
| appearance as argument number 2 |
|
|
| (subclass APC ArmoredVehicle) | MilitaryDevices.kif 1575-1575 | subclass APC and ArmoredVehicle |
| (subclass MilitaryTank ArmoredVehicle) | MilitaryDevices.kif 1608-1608 | subclass MilitaryTank and ArmoredVehicle |
| (termFormat ChineseLanguage ArmoredVehicle "装甲车") | domainEnglishFormat.kif 8447-8447 | |
| (termFormat ChineseTraditionalLanguage ArmoredVehicle "裝甲車") | domainEnglishFormat.kif 8446-8446 | |
| (termFormat EnglishLanguage ArmoredVehicle "armored vehicle") | domainEnglishFormat.kif 8445-8445 |
| antecedent |
|
|
| (=> (instance ?AV ArmoredVehicle) (exists (?A) (and (instance ?A Armor) (part ?A ?AV)))) |
MilitaryDevices.kif 1601-1606 |
| consequent |
|
|
| (=> (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 |
|
|
|
|