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 21775-21775
(externalImage Bomb "http://articulatesoftware.com/SUMOpictures/tools/weapons/ bomb.png") pictureList.kif 279-279
(subclass Bomb ExplosiveDevice) Mid-level-ontology.kif 21774-21774 Bomb is a subclass of explosive device
(subclass Bomb Weapon) Mid-level-ontology.kif 21773-21773 Bomb is a subclass of weapon

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


(subclass HandGrenade Bomb) Mid-level-ontology.kif 21816-21816 Hand grenade is a subclass of bomb
(subclass MolotovCocktail Bomb) MilitaryDevices.kif 1249-1249 Molotov cocktail is a subclass of bomb
(termFormat ChineseLanguage Bomb "炸弹") domainEnglishFormat.kif 11567-11567
(termFormat ChineseTraditionalLanguage Bomb "炸彈") domainEnglishFormat.kif 11566-11566
(termFormat EnglishLanguage Bomb "bomb") domainEnglishFormat.kif 11565-11565

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


(=>
    (instance ?M Missile)
    (exists (?B)
        (and
            (instance ?B Bomb)
            (part ?B ?M))))		 Mid-level-ontology.kif 17640-17645
(=>
    (instance ?X Bombing)
    (exists (?BOMB)
        (and
            (instance ?BOMB Bomb)
            (instrument ?X ?BOMB))))		 Mid-level-ontology.kif 21777-21782
(=>
    (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 21789-21797


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