Bullet - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Bullet

Bullet(bullet)

ammo, ammunition, ball, belt, belt_ammunition, belted_ammunition, bullet, dumdum, dumdum_bullet, full_metal_jacket, musket_ball, rifle_ball, rubber_bullet, slug

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	Bullet is a subclass of projectile

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	If a physical is an instance of bullet, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of shooting and the other entity is an instrument for the entity and the other entity is an instance of gun and the physical is a patient of the entity
(=> (instance ?PROJECTILE Bullet) (exists (?SHELL) (and (instance ?SHELL ProjectileShell) (part ?SHELL ?PROJECTILE))))	Mid-level-ontology.kif 1189-1194	If an object is an instance of bullet, then there exists another object such that the other object is an instance of projectile shell and the other object is a part of the object

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	If a process is an instance of shooting and an object is an instance of gun and the object is an instrument for the process, then there exist a transfer, the objectB,, , another object,, , a third object and another region such that the transfer is a subprocess of the process and the transfer is an instance of exiting and the transfer is located at the objectB and the objectB is an instance of gun barrel and the objectB is a part of the object and the object transferred in the transfer is the other object and the other object is an instance of bullet and the other object originates at the third object and the third object is an instance of bullet cartridge and the third object is located at the objectB and the objectB is path along which the transfer occurs and the other region is the entrance for the objectB and the other region is an instance of gun muzzle
(=> (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	If a physical is an instance of bullet cartridge, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of bullet and the other entity is an instance of casing and the entity is a proper part of the physical and the other entity is a proper part of the physical
(=> (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	If an agent is an instance of casing, then there exist an object, another object and a process such that the object is an instance of bullet cartridge and the other object is an instance of bullet and the process is an instance of keeping and the agent is a proper part of the object and the other object is a proper part of the object and the agent is an agent of the process and the other object is a patient of the process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners