| Bomb
| |
| appearance as argument number 1 |
|
|
| (documentation Bomb EnglishLanguage "A weapon that explodes in order to cause damage.") | Mid-level-ontology.kif 18298-18298 | |
| (externalImage Bomb "http://www.adampease.org/Articulate/SUMOpictures/pictures/ tools/ weapons/ bomb.png") | pictureList.kif 279-279 | |
| (subclass Bomb ExplosiveDevice) | Mid-level-ontology.kif 18297-18297 | |
| (subclass Bomb Weapon) | Mid-level-ontology.kif 18296-18296 |
| appearance as argument number 2 |
|
|
| (subclass HandGrenade Bomb) | Mid-level-ontology.kif 18339-18339 | |
| (subclass MolotovCocktail Bomb) | MilitaryDevices.kif 1249-1249 | |
| (termFormat ChineseLanguage Bomb "炸弹") | domainEnglishFormat.kif 11570-11570 | |
| (termFormat ChineseTraditionalLanguage Bomb "炸彈") | domainEnglishFormat.kif 11569-11569 | |
| (termFormat EnglishLanguage Bomb "bomb") | domainEnglishFormat.kif 11568-11568 |
| consequent |
|
|
| (=> (instance ?M Missile) (exists (?B) (and (instance ?B Bomb) (part ?B ?M)))) |
Mid-level-ontology.kif 14308-14313 | |
| (=> (instance ?X Bombing) (exists (?BOMB) (and (instance ?BOMB Bomb) (instrument ?X ?BOMB)))) |
Mid-level-ontology.kif 18300-18305 | |
| (=> (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 18312-18320 |
|
|
|