ArmoredVehicle - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ArmoredVehicle Vehicle)	MilitaryDevices.kif 1753-1753	Armored vehicle is a subclass of vehicle
(documentation ArmoredVehicle EnglishLanguage "a vehicle that is protected by armor plate (WN)")	MilitaryDevices.kif 1755-1756	Armored vehicle is a subclass of vehicle
(externalImage ArmoredVehicle "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ M-20.jpg")	pictureList-ImageNet.kif 342-342	Armored vehicle is a subclass of vehicle
(externalImage ArmoredVehicle "http://upload.wikimedia.org/wikipedia/commons/ c/ c7/ Amx10p_80.jpg")	pictureList-ImageNet.kif 343-343	Armored vehicle is a subclass of vehicle
(externalImage ArmoredVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ d7/ GTK_Boxer_front.JPG/ 200px_GTK_Boxer_front.JPG")	pictureList.kif 1035-1035	Armored vehicle is a subclass of vehicle

appearance as argument number 2

(subclass APC ArmoredVehicle)	MilitaryDevices.kif 1732-1732	APC is a subclass of armored vehicle
(subclass MilitaryTank ArmoredVehicle)	MilitaryDevices.kif 1765-1765	Military tank is a subclass of armored vehicle
(termFormat EnglishLanguage ArmoredVehicle "armored vehicle")	domainEnglishFormat.kif 8434-8434	Military tank is a subclass of armored vehicle
(termFormat ChineseTraditionalLanguage ArmoredVehicle "裝甲車")	domainEnglishFormat.kif 8435-8435	Military tank is a subclass of armored vehicle
(termFormat ChineseLanguage ArmoredVehicle "装甲车")	domainEnglishFormat.kif 8436-8436	Military tank is a subclass of armored vehicle

antecedent

(=>
    (instance ?AV ArmoredVehicle)
    (exists (?A)
        (and
            (instance ?A Armor)
            (part ?A ?AV))))

If X is an instance of armored vehicle, then there exists Y such that Y is an instance of armor and Y is a part of X

consequent

(=>
    (instance ?W AntiTankWeapon)
    (hasPurpose ?W
        (exists (?DAMAGING ?V)
            (and
                (instance ?DAMAGING Damaging)
                (instrument ?DAMAGING ?W)
                (patient ?DAMAGING ?V)
                (instance ?V ArmoredVehicle)))))

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