Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass Bomb Weapon) Merge.kif 16394-16394 Bomb is a subclass of weapon
(subclass Bomb ExplosiveDevice) Merge.kif 16395-16395 Bomb is a subclass of explosive device
(documentation Bomb EnglishLanguage "A weapon that explodes in order to cause damage.") Merge.kif 16396-16396 Bomb is a subclass of explosive device
(externalImage Bomb "http://articulatesoftware.com/SUMOpictures/tools/weapons/ bomb.png") pictureList.kif 279-279 Bomb is a subclass of explosive device

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


(subclass LandMine Bomb) Mid-level-ontology.kif 19771-19771 Land mine is a subclass of bomb
(subclass HandGrenade Bomb) Mid-level-ontology.kif 24157-24157 Hand grenade is a subclass of bomb
(subclass IED Bomb) Medicine.kif 6103-6103 Improvised explosive device is a subclass of bomb
(subclass Grenade Bomb) MilitaryDevices.kif 348-348 Grenade is a subclass of bomb
(subclass MolotovCocktail Bomb) MilitaryDevices.kif 1406-1406 Molotov cocktail is a subclass of bomb
(initialPart Shrapnel Bomb) MilitaryDevices.kif 2254-2254 Every shrapnel is initially part of a bomb
(subclass NuclearWeapon Bomb) WMD.kif 124-124 Nuclear weapon is a subclass of bomb
(termFormat EnglishLanguage Bomb "bomb") domainEnglishFormat.kif 11573-11573 Nuclear weapon is a subclass of bomb
(termFormat ChineseTraditionalLanguage Bomb "炸彈") domainEnglishFormat.kif 11574-11574 Nuclear weapon is a subclass of bomb
(termFormat ChineseLanguage Bomb "炸弹") domainEnglishFormat.kif 11575-11575 Nuclear weapon is a subclass of bomb

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


(=>
    (instance ?C Crater)
    (exists (?HOST ?EVENT ?METEOR ?BOMB)
        (and
            (hole ?C ?HOST)
            (superficialPart ?SURF
                (HoleHostFn ?C))
            (or
                (and
                    (instance ?EVENT Impacting)
                    (instrument ?EVENT ?METEOR)
                    (instance ?METEOR Meteorite))
                (and
                    (instance ?EVENT Explosion)
                    (instrument ?EVENT ?BOMB)
                    (instance ?BOMB Bomb))
                (instance ?EVENT VolcanicEruption))
            (result ?EVENT ?C))))		 Merge.kif 1059-1075 If X is an instance of crater, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that X is a hole in Y (3) U is a superficial part of the host of the hole X (4) Z is an instance of impacting (5) W is an instrument for Z (6) W is an instance of meteorite or Z is an instance of explosion (7) V is an instrument for Z (8) V is an instance of bomb or Z is an instance of volcanic eruption (9) X is a result of Z
(=>
    (instance ?M Missile)
    (exists (?B)
        (and
            (instance ?B Bomb)
            (part ?B ?M))))		 Mid-level-ontology.kif 19648-19653 If X is an instance of missile, then there exists Y such that Y is an instance of bomb and Y is a part of X
(=>
    (instance ?X Bombing)
    (exists (?BOMB)
        (and
            (instance ?BOMB Bomb)
            (instrument ?X ?BOMB))))		 Mid-level-ontology.kif 24116-24121 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
(=>
    (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 24128-24136 If X is an instance of car bombing, then there exist Y, Z such that Y is an instance of bomb, Z is an instance of transportation device, Z is an instrument for X, Y is an instrument for X, and Z is connected to Y
(=>
    (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 2256-2271 If X is an instance of shrapnel, then there exist Y, Z such that Y is an instance of bomb, Z is an instance of explosion, Y is an instrument for Z, X is a part of Y holds during immediately before the time of existence of Z, and X is not a part of Y holds during immediately after the time of existence of Z


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners