Bomb - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21825-21825
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 279-279
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21824-21824	Bomb is a subclass of explosive device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21823-21823	Bomb is a subclass of weapon

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2101-2101	Every shrapnel is initially part of a bomb
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21866-21866	Hand grenade is a subclass of bomb
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6072-6072	Improvised explosive device is a subclass of bomb
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1249-1249	Molotov cocktail is a subclass of bomb
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11567-11567
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11566-11566
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11565-11565

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17728-17733	If an object is an instance of missile, then there exists another object such that the other object is an instance of bomb and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2103-2118	If an entity is an instance of shrapnel, then there exist an object and a process such that the object is an instance of bomb and the process is an instance of explosion and the object is an instrument for the process and the entity is a part of the object holds during immediately before the time of existence of the process and the entity is not a part of the object holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21827-21832	If a process is an instance of bombing, then there exists an object such that the object is an instance of bomb and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21839-21847	If a process is an instance of car bombing, then there exist an object and another object such that the object is an instance of bomb and the other object is an instance of transportation device and the other object is an instrument for the process and the object is an instrument for the process and the other object is connected to the object

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