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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CarBombing
CarBombing(car bombing)

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 22118-22120
(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 5899-5899
(externalImage CarBombing "http://upload.wikimedia.org/wikipedia/commons/ 4/ 44/ Iraq_carbomb.jpg") pictureList.kif 6231-6231
(externalImage CarBombing "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5d/ Car_bomb_in_Iraq.jpg") pictureList.kif 6232-6232
(subclass CarBombing Bombing) Mid-level-ontology.kif 22117-22117 Car bombing is a subclass of bombing

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


(termFormat ChineseLanguage CarBombing "汽车爆炸") domainEnglishFormat.kif 13150-13150
(termFormat ChineseTraditionalLanguage CarBombing "汽車爆炸") domainEnglishFormat.kif 13149-13149
(termFormat EnglishLanguage CarBombing "car bombing") domainEnglishFormat.kif 13148-13148

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 22122-22130


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