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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 21834-21836
(externalImage CarBombing " 3/ 3c/ Scene_of_Viet_Cong_terrorist_bombing_in_Saigon%2C_Republic_of_Vietnam.%2C_1965.jpg") pictureList.kif 5899-5899
(externalImage CarBombing " 4/ 44/ Iraq_carbomb.jpg") pictureList.kif 6231-6231
(externalImage CarBombing " 5/ 5d/ Car_bomb_in_Iraq.jpg") pictureList.kif 6232-6232
(subclass CarBombing Bombing) Mid-level-ontology.kif 21833-21833 汽车爆炸轰炸subclass

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


    (instance ?X CarBombing)
    (exists (?BOMB ?CAR)
            (instance ?BOMB Bomb)
            (instance ?CAR TransportationDevice)
            (instrument ?X ?CAR)
            (instrument ?X ?BOMB)
            (connected ?CAR ?BOMB))))
Mid-level-ontology.kif 21838-21846

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