TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(subclass CarBombing Bombing)	Mid-level-ontology.kif 24123-24123	Car bombing is a subclass of bombing
(subclass HandGrenadeAttack Bombing)	Mid-level-ontology.kif 24149-24149	Hand grenade attack is a subclass of bombing
(subclass LetterBombAttack Bombing)	Mid-level-ontology.kif 24325-24325	Letter bomb attack is a subclass of bombing
(subclass MortarAttack Bombing)	Mid-level-ontology.kif 24342-24342	Mortar attack is a subclass of bombing
(subclass RocketMissileAttack Bombing)	Mid-level-ontology.kif 24361-24361	Rocket missile attack is a subclass of bombing
(subclass SuicideBombing Bombing)	Mid-level-ontology.kif 24382-24382	Suicide bombing is a subclass of bombing
(termFormat EnglishLanguage Bombing "bombing")	domainEnglishFormat.kif 11585-11585	Suicide bombing is a subclass of bombing
(termFormat ChineseTraditionalLanguage Bombing "轟炸")	domainEnglishFormat.kif 11586-11586	Suicide bombing is a subclass of bombing
(termFormat ChineseLanguage Bombing "轰炸")	domainEnglishFormat.kif 11587-11587	Suicide bombing is a subclass of bombing

antecedent

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

If X is an instance of bombing, then there exists Y such that Y is an instance of bomb and Y is an instrument for X