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 | 装甲车 是 车辆 的 subclass |
appearance as argument number 2 |
![]() |
(subclass APC ArmoredVehicle) | MilitaryDevices.kif 1732-1732 | APC 是 装甲车 的 subclass |
(subclass MilitaryTank ArmoredVehicle) | MilitaryDevices.kif 1765-1765 | 军用坦克 是 装甲车 的 subclass |
(termFormat ChineseLanguage ArmoredVehicle "装甲车") | domainEnglishFormat.kif 8437-8437 | 军用坦克 是 装甲车 的 subclass |
(termFormat ChineseTraditionalLanguage ArmoredVehicle "裝甲車") | domainEnglishFormat.kif 8436-8436 | 军用坦克 是 装甲车 的 subclass |
(termFormat EnglishLanguage ArmoredVehicle "armored vehicle") | domainEnglishFormat.kif 8435-8435 | 军用坦克 是 装甲车 的 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 |
![]() |
![]() |