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 22934-22935
(externalImage Bombing "http://upload.wikimedia.org/wikipedia/commons/3/ 3b/ Mirage2000D_3-3_Ardennes.jpg")	pictureList.kif 4556-4556
(subclass Bombing Destruction)	Mid-level-ontology.kif 22933-22933	Bombing is a subclass of destruction

appearance as argument number 2

(subclass CarBombing Bombing)	Mid-level-ontology.kif 22948-22948	Car bombing is a subclass of bombing
(subclass HandGrenadeAttack Bombing)	Mid-level-ontology.kif 22974-22974	HandGrenadeAttack is a subclass of bombing
(subclass LetterBombAttack Bombing)	Mid-level-ontology.kif 23148-23148	Letter bomb attack is a subclass of bombing
(subclass MortarAttack Bombing)	Mid-level-ontology.kif 23165-23165	Mortar attack is a subclass of bombing
(subclass RocketMissileAttack Bombing)	Mid-level-ontology.kif 23184-23184	Rocket missile attack is a subclass of bombing
(subclass SuicideBombing Bombing)	Mid-level-ontology.kif 23205-23205	Suicide bombing is a subclass of bombing
(termFormat ChineseLanguage Bombing "轰炸")	domainEnglishFormat.kif 11594-11594	Suicide bombing is a subclass of bombing
(termFormat ChineseTraditionalLanguage Bombing "轟炸")	domainEnglishFormat.kif 11593-11593	Suicide bombing is a subclass of bombing
(termFormat EnglishLanguage Bombing "bombing")	domainEnglishFormat.kif 11592-11592	Suicide bombing is a subclass of bombing

antecedent

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

Mid-level-ontology.kif 22941-22946