CarBombing - Sigma Knowledge base Browser

appearance as argument number 1

(subclass CarBombing Bombing)	Mid-level-ontology.kif 24123-24123	Car bombing is a subclass of bombing
(documentation CarBombing EnglishLanguage "A car bombing is an attack in which a car is used as the delivery mechanism for a bomb. The car is usually destroyed in the blast if the bomb detonates successfully.")	Mid-level-ontology.kif 24124-24126	Car bombing is a subclass of bombing
(externalImage CarBombing "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3c/ Scene_of_Viet_Cong_terrorist_bombing_in_Saigon%2C_Republic_of_Vietnam.%2C_1965.jpg")	pictureList.kif 5898-5898	Car bombing is a subclass of bombing
(externalImage CarBombing "http://upload.wikimedia.org/wikipedia/commons/ 4/ 44/ Iraq_carbomb.jpg")	pictureList.kif 6230-6230	Car bombing is a subclass of bombing
(externalImage CarBombing "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5d/ Car_bomb_in_Iraq.jpg")	pictureList.kif 6231-6231	Car bombing is a subclass of bombing

appearance as argument number 2

(termFormat EnglishLanguage CarBombing "car bombing")	domainEnglishFormat.kif 13140-13140
(termFormat ChineseTraditionalLanguage CarBombing "汽車爆炸")	domainEnglishFormat.kif 13141-13141
(termFormat ChineseLanguage CarBombing "汽车爆炸")	domainEnglishFormat.kif 13142-13142

antecedent

(=>
    (instance ?X CarBombing)
    (exists (?BOMB ?CAR)
        (and
            (instance ?BOMB Bomb)
            (instance ?CAR TransportationDevice)
            (instrument ?X ?CAR)
            (instrument ?X ?BOMB)
            (connected ?CAR ?BOMB))))

If X is an instance of car bombing, then there exist Y, Z such that Y is an instance of bomb, Z is an instance of transportation device, Z is an instrument for X, Y is an instrument for X, and Z is connected to Y