Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CarBombing
CarBombing

appearance as argument number 1
-------------------------


(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 20066-20068
(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 5900-5900
(externalImage CarBombing "http://upload.wikimedia.org/wikipedia/commons/ 4/ 44/ Iraq_carbomb.jpg") pictureList.kif 6232-6232
(externalImage CarBombing "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5d/ Car_bomb_in_Iraq.jpg") pictureList.kif 6233-6233
(subclass CarBombing Bombing) Mid-level-ontology.kif 20065-20065

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage CarBombing "汽车爆炸") domainEnglishFormat.kif 13137-13137
(termFormat ChineseTraditionalLanguage CarBombing "汽車爆炸") domainEnglishFormat.kif 13136-13136
(termFormat EnglishLanguage CarBombing "car bombing") domainEnglishFormat.kif 13135-13135

antecedent
-------------------------


(=>
    (instance ?X CarBombing)
    (exists (?BOMB ?CAR)
        (and
            (instance ?BOMB Bomb)
            (instance ?CAR TransportationDevice)
            (instrument ?X ?CAR)
            (instrument ?X ?BOMB)
            (connected ?CAR ?BOMB))))
Mid-level-ontology.kif 20070-20078


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners