| Bomb
| |
| appearance as argument number 1 |
|
|
| (documentation Bomb EnglishLanguage "A weapon that explodes in order to cause damage.") | Mid-level-ontology.kif 23484-23484 | |
| (externalImage Bomb "http://articulatesoftware.com/SUMOpictures/tools/weapons/ bomb.png") | pictureList.kif 279-279 | |
| (subclass Bomb ExplosiveDevice) | Mid-level-ontology.kif 23483-23483 | |
| (subclass Bomb Weapon) | Mid-level-ontology.kif 23482-23482 |
| appearance as argument number 2 |
|
|
| (initialPart Shrapnel Bomb) | MilitaryDevices.kif 2101-2101 | |
| (subclass HandGrenade Bomb) | Mid-level-ontology.kif 23526-23526 | |
| (subclass IED Bomb) | Medicine.kif 6089-6089 | |
| (subclass MolotovCocktail Bomb) | MilitaryDevices.kif 1249-1249 | |
| (termFormat ChineseLanguage Bomb "炸弹") | domainEnglishFormat.kif 11582-11582 | |
| (termFormat ChineseTraditionalLanguage Bomb "炸彈") | domainEnglishFormat.kif 11581-11581 | |
| (termFormat EnglishLanguage Bomb "bomb") | domainEnglishFormat.kif 11580-11580 |
| consequent |
|
|
| (=> (instance ?M Missile) (exists (?B) (and (instance ?B Bomb) (part ?B ?M)))) |
Mid-level-ontology.kif 19296-19301 | |
| (=> (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 23486-23491 | |
| (=> (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 23498-23506 |
|
|
|