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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bomb
Bomb(bomb)
E-bomb, Fugo, GP_bomb, LGB, aerosol_bomb, anti-personnel_bomb, antipersonnel_bomb, balloon_bomb, bomb, bombie, bomblet, bombshell, briefcase_bomb, car_bomb, chemical_bomb, cluster_bomb, cluster_bomblet, daisy_cutter, depth_bomb, depth_charge, dumb_bomb, firebomb, fragmentation_bomb, fuel-air_bomb, gas_bomb, gas_shell, general-purpose_bomb, gravity_bomb, incendiary, incendiary_bomb, infernal_machine, laser-guided_bomb, letter_bomb, microwave_bomb, package_bomb, parcel_bomb, penetration_bomb, pipe_bomb, plastic_bomb, remote-control_bomb, smart_bomb, smoke_bomb, smoke_grenade, stench_bomb, stink_bomb, thermobaric_bomb, time_bomb, vacuum_bomb, volume-detonation_bomb

appearance as argument number 1
-------------------------


(documentation Bomb EnglishLanguage "A weapon that explodes in order to cause damage.") Mid-level-ontology.kif 23484-23484
(externalImage Bomb "http://articulatesoftware.com/SUMOpictures/tools/weapons/ bomb.png") pictureList.kif 279-279
(subclass Bomb ExplosiveDevice) Mid-level-ontology.kif 23483-23483 Bomb is a subclass of explosive device
(subclass Bomb Weapon) Mid-level-ontology.kif 23482-23482 Bomb is a subclass of weapon

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


(initialPart Shrapnel Bomb) MilitaryDevices.kif 2101-2101 Every shrapnel is initially part of a bomb
(subclass HandGrenade Bomb) Mid-level-ontology.kif 23526-23526 Hand grenade is a subclass of bomb
(subclass IED Bomb) Medicine.kif 6089-6089 Improvised explosive device is a subclass of bomb
(subclass MolotovCocktail Bomb) MilitaryDevices.kif 1249-1249 Molotov cocktail is a subclass of bomb
(termFormat ChineseLanguage Bomb "炸弹") domainEnglishFormat.kif 11582-11582 Molotov cocktail is a subclass of bomb
(termFormat ChineseTraditionalLanguage Bomb "炸彈") domainEnglishFormat.kif 11581-11581 Molotov cocktail is a subclass of bomb
(termFormat EnglishLanguage Bomb "bomb") domainEnglishFormat.kif 11580-11580 Molotov cocktail is a subclass of bomb

consequent
-------------------------


(=>
    (instance ?M Missile)
    (exists (?B)
        (and
            (instance ?B Bomb)
            (part ?B ?M))))		 Mid-level-ontology.kif 19296-19301
(=>
    (instance ?S Shrapnel)
    (exists (?B ?E)
        (and
            (instance ?B Bomb)
            (instance ?E Explosion)
            (instrument ?E ?B)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?E))
                (part ?S ?B))
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?E))
                (not
                    (part ?S ?B))))))		 MilitaryDevices.kif 2103-2118
(=>
    (instance ?X Bombing)
    (exists (?BOMB)
        (and
            (instance ?BOMB Bomb)
            (instrument ?X ?BOMB))))		 Mid-level-ontology.kif 23486-23491
(=>
    (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 23498-23506


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