appearance as argument number 1 |
(documentation Bomb EnglishLanguage "A weapon that explodes in order to cause damage.") | Mid-level-ontology.kif 21877-21877 | |
(externalImage Bomb "http://articulatesoftware.com/SUMOpictures/tools/weapons/ bomb.png") | pictureList.kif 279-279 | |
(subclass Bomb ExplosiveDevice) | Mid-level-ontology.kif 21876-21876 | Bomb is a subclass of explosive device |
(subclass Bomb Weapon) | Mid-level-ontology.kif 21875-21875 | 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 21918-21918 | Hand grenade is a subclass of bomb |
(subclass IED Bomb) | Medicine.kif 6072-6072 | 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 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 17755-17760 |
|
(=> (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 21879-21884 |
|
(=> (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 21891-21899 |
|