| Bullet
| |
| appearance as argument number 1 |
|
|
| (documentation Bullet EnglishLanguage "A Projectile that is designed to be fired by a Gun.") | Mid-level-ontology.kif 1249-1249 | |
| (externalImage Bullet "http://articulatesoftware.com/SUMOpictures/tools/ weapons/ guns/ bullet.png") | pictureList.kif 301-301 | |
| (subclass Bullet Projectile) | Mid-level-ontology.kif 1248-1248 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Bullet "子弹") | domainEnglishFormat.kif 12332-12332 | |
| (termFormat ChineseTraditionalLanguage Bullet "子彈") | domainEnglishFormat.kif 12331-12331 | |
| (termFormat EnglishLanguage Bullet "bullet") | domainEnglishFormat.kif 12330-12330 |
| antecedent |
|
|
| (=> (instance ?B Bullet) (hasPurpose ?B (exists (?S ?GUN) (and (instance ?S Shooting) (instrument ?S ?GUN) (instance ?GUN Gun) (patient ?S ?B))))) |
Mid-level-ontology.kif 1250-1258 | |
| (=> (instance ?PROJECTILE Bullet) (exists (?SHELL) (and (instance ?SHELL ProjectileShell) (part ?SHELL ?PROJECTILE)))) |
Mid-level-ontology.kif 1190-1195 |
| consequent |
|
|
| (=> (and (instance ?S Shooting) (instance ?G Gun) (instrument ?S ?G)) (exists (?E ?GB ?B ?C ?M) (and (subProcess ?E ?S) (instance ?E Exiting) (eventLocated ?E ?GB) (instance ?GB GunBarrel) (part ?GB ?G) (objectTransferred ?E ?B) (instance ?B Bullet) (origin ?B ?C) (instance ?C BulletCartridge) (located ?C ?GB) (path ?E ?GB) (entrance ?M ?GB) (instance ?M GunMuzzle)))) |
Mid-level-ontology.kif 1362-1381 | |
| (=> (instance ?CARTRIDGE BulletCartridge) (hasPurpose ?CARTRIDGE (exists (?BULLET ?CASE) (and (instance ?BULLET Bullet) (instance ?CASE CartridgeCase) (properPart ?BULLET ?CARTRIDGE) (properPart ?CASE ?CARTRIDGE))))) |
Mid-level-ontology.kif 1265-1273 | |
| (=> (instance ?CASE CartridgeCase) (exists (?CARTRIDGE ?BULLET ?K) (and (instance ?CARTRIDGE BulletCartridge) (instance ?BULLET Bullet) (instance ?K Keeping) (properPart ?CASE ?CARTRIDGE) (properPart ?BULLET ?CARTRIDGE) (agent ?K ?CASE) (patient ?K ?BULLET)))) |
Mid-level-ontology.kif 1278-1288 |
|
|
|