| ArmoredVehicle
| |
| appearance as argument number 1 |
|
|
| (documentation ArmoredVehicle EnglishLanguage "a vehicle that is protected by armor plate (WN)") | MilitaryDevices.kif 1755-1756 | |
| (externalImage ArmoredVehicle "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ M-20.jpg") | pictureList-ImageNet.kif 342-342 | |
| (externalImage ArmoredVehicle "http://upload.wikimedia.org/wikipedia/commons/ c/ c7/ Amx10p_80.jpg") | pictureList-ImageNet.kif 343-343 | |
| (externalImage ArmoredVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ d7/ GTK_Boxer_front.JPG/ 200px_GTK_Boxer_front.JPG") | pictureList.kif 1035-1035 | |
| (subclass ArmoredVehicle Vehicle) | MilitaryDevices.kif 1753-1753 | ArmoredVehicle は Vehicle の subclass では |
| appearance as argument number 2 |
|
|
| (subclass APC ArmoredVehicle) | MilitaryDevices.kif 1732-1732 | APC は ArmoredVehicle の subclass では |
| (subclass MilitaryTank ArmoredVehicle) | MilitaryDevices.kif 1765-1765 | MilitaryTank は ArmoredVehicle の subclass では |
| (termFormat ChineseLanguage ArmoredVehicle "装甲车") | domainEnglishFormat.kif 8437-8437 | MilitaryTank は ArmoredVehicle の subclass では |
| (termFormat ChineseTraditionalLanguage ArmoredVehicle "裝甲車") | domainEnglishFormat.kif 8436-8436 | MilitaryTank は ArmoredVehicle の subclass では |
| (termFormat EnglishLanguage ArmoredVehicle "armored vehicle") | domainEnglishFormat.kif 8435-8435 | MilitaryTank は ArmoredVehicle の subclass では |
| antecedent |
|
|
| (=> (instance ?AV ArmoredVehicle) (exists (?A) (and (instance ?A Armor) (part ?A ?AV)))) |
MilitaryDevices.kif 1758-1763 |
| consequent |
|
|
| (=> (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 |
|
|
|