Bomb
|
|
appearance as argument number 1 |
(documentation Bomb EnglishLanguage "A weapon that explodes in order to cause damage.") | Mid-level-ontology.kif 21825-21825 | |
(externalImage Bomb "http://articulatesoftware.com/SUMOpictures/tools/weapons/ bomb.png") | pictureList.kif 279-279 | |
(subclass Bomb ExplosiveDevice) | Mid-level-ontology.kif 21824-21824 | Bomb ist eine teilkategorie von ExplosiveDevice |
(subclass Bomb Weapon) | Mid-level-ontology.kif 21823-21823 | Bomb ist eine teilkategorie von Weapon |
appearance as argument number 2 |
(initialPart Shrapnel Bomb) | MilitaryDevices.kif 2101-2101 | initialPart Shrapnel and Bomb |
(subclass HandGrenade Bomb) | Mid-level-ontology.kif 21866-21866 | HandGrenade ist eine teilkategorie von Bomb |
(subclass IED Bomb) | Medicine.kif 6072-6072 | IED ist eine teilkategorie von Bomb |
(subclass MolotovCocktail Bomb) | MilitaryDevices.kif 1249-1249 | MolotovCocktail ist eine teilkategorie von 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 17728-17733 |
|
(=> (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 21827-21832 |
|
(=> (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 21839-21847 |
|