| Bomb
| |
| appearance as argument number 1 |
|
|
| (documentation Bomb EnglishLanguage "A weapon that explodes in order to cause damage.") | Mid-level-ontology.kif 22140-22140 | |
| (externalImage Bomb "http://articulatesoftware.com/SUMOpictures/tools/weapons/ bomb.png") | pictureList.kif 279-279 | |
| (subclass Bomb ExplosiveDevice) | Mid-level-ontology.kif 22139-22139 | |
| (subclass Bomb Weapon) | Mid-level-ontology.kif 22138-22138 |
| appearance as argument number 2 |
|
|
| (initialPart Shrapnel Bomb) | MilitaryDevices.kif 2101-2101 | |
| (subclass HandGrenade Bomb) | Mid-level-ontology.kif 22181-22181 | |
| (subclass IED Bomb) | Medicine.kif 6058-6058 | |
| (subclass MolotovCocktail Bomb) | MilitaryDevices.kif 1249-1249 | |
| (termFormat ChineseLanguage Bomb "炸弹") | domainEnglishFormat.kif 11578-11578 | |
| (termFormat ChineseTraditionalLanguage Bomb "炸彈") | domainEnglishFormat.kif 11577-11577 | |
| (termFormat EnglishLanguage Bomb "bomb") | domainEnglishFormat.kif 11576-11576 |
| consequent |
|
|
| (=> (instance ?M Missile) (exists (?B) (and (instance ?B Bomb) (part ?B ?M)))) |
Mid-level-ontology.kif 18018-18023 | |
| (=> (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 22142-22147 | |
| (=> (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 22154-22162 |
|
|
|