Bullet
|
|
appearance as argument number 1 |
(documentation Bullet EnglishLanguage "A Projectile that is designed to be fired by a Gun.") | Mid-level-ontology.kif 1183-1183 | |
(externalImage Bullet "http://articulatesoftware.com/SUMOpictures/tools/ weapons/ guns/ bullet.png") | pictureList.kif 301-301 | |
(subclass Bullet Projectile) | Mid-level-ontology.kif 1182-1182 | 子類 子彈 and 拋射物 |
appearance as argument number 2 |
(termFormat ChineseLanguage Bullet "子弹") | domainEnglishFormat.kif 12323-12323 | |
(termFormat ChineseTraditionalLanguage Bullet "子彈") | domainEnglishFormat.kif 12322-12322 | |
(termFormat EnglishLanguage Bullet "bullet") | domainEnglishFormat.kif 12321-12321 |
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 1184-1192 | |
(=> (instance ?PROJECTILE Bullet) (exists (?SHELL) (and (instance ?SHELL ProjectileShell) (part ?SHELL ?PROJECTILE)))) |
Mid-level-ontology.kif 1124-1129 |
consequent |
(=> (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 1199-1207 | |
(=> (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 1212-1222 |