Bombing - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Bombing EnglishLanguage "An act of Destruction where the thing destroyed is destroyed by means of an explosive device.")	Mid-level-ontology.kif 22103-22104
(externalImage Bombing "http://upload.wikimedia.org/wikipedia/commons/3/ 3b/ Mirage2000D_3-3_Ardennes.jpg")	pictureList.kif 4557-4557
(subclass Bombing Destruction)	Mid-level-ontology.kif 22102-22102	Bombing is a subclass of destruction

appearance as argument number 2

(subclass CarBombing Bombing)	Mid-level-ontology.kif 22117-22117	Car bombing is a subclass of bombing
(subclass HandgrenadeAttack Bombing)	Mid-level-ontology.kif 22143-22143	Handgrenade attack is a subclass of bombing
(subclass LetterBombAttack Bombing)	Mid-level-ontology.kif 22317-22317	Letter bomb attack is a subclass of bombing
(subclass MortarAttack Bombing)	Mid-level-ontology.kif 22334-22334	Mortar attack is a subclass of bombing
(subclass RocketMissileAttack Bombing)	Mid-level-ontology.kif 22353-22353	Rocket missile attack is a subclass of bombing
(subclass SuicideBombing Bombing)	Mid-level-ontology.kif 22374-22374	Suicide bombing is a subclass of bombing
(termFormat ChineseLanguage Bombing "轰炸")	domainEnglishFormat.kif 11595-11595	Suicide bombing is a subclass of bombing
(termFormat ChineseTraditionalLanguage Bombing "轟炸")	domainEnglishFormat.kif 11594-11594	Suicide bombing is a subclass of bombing
(termFormat EnglishLanguage Bombing "bombing")	domainEnglishFormat.kif 11593-11593	Suicide bombing is a subclass of bombing

antecedent

(=>
    (instance ?X Bombing)
    (exists (?BOMB)
        (and
            (instance ?BOMB Bomb)
            (instrument ?X ?BOMB))))

Mid-level-ontology.kif 22110-22115