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 21835-21837
(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 21834-21834

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


(termFormat ChineseLanguage CarBombing "汽车爆炸") domainEnglishFormat.kif 13134-13134
(termFormat ChineseTraditionalLanguage CarBombing "汽車爆炸") domainEnglishFormat.kif 13133-13133
(termFormat EnglishLanguage CarBombing "car bombing") domainEnglishFormat.kif 13132-13132

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 21839-21847


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