| Bullet
| |
| appearance as argument number 1 |
|
|
| (documentation Bullet EnglishLanguage "A Projectile that is designed to be fired by a Gun.") | Mid-level-ontology.kif 1248-1248 | |
| (externalImage Bullet "http://articulatesoftware.com/SUMOpictures/tools/ weapons/ guns/ bullet.png") | pictureList.kif 301-301 | |
| (subclass Bullet Projectile) | Mid-level-ontology.kif 1247-1247 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Bullet "子弹") | domainEnglishFormat.kif 12338-12338 | |
| (termFormat ChineseTraditionalLanguage Bullet "子彈") | domainEnglishFormat.kif 12337-12337 | |
| (termFormat EnglishLanguage Bullet "bullet") | domainEnglishFormat.kif 12336-12336 |
| 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 1249-1257 | |
| (=> (instance ?PROJECTILE Bullet) (exists (?SHELL) (and (instance ?SHELL ProjectileShell) (part ?SHELL ?PROJECTILE)))) |
Mid-level-ontology.kif 1189-1194 |
| 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 1361-1380 | |
| (=> (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 1264-1272 | |
| (=> (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 1277-1287 |
|
|
|