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 1176-1176
(externalImage Bullet "http://articulatesoftware.com/SUMOpictures/tools/ weapons/ guns/ bullet.png")	pictureList.kif 301-301
(subclass Bullet Projectile)	Mid-level-ontology.kif 1175-1175	Bullet is a subclass of projectile

appearance as argument number 2

(termFormat ChineseLanguage Bullet "子弹")	domainEnglishFormat.kif 12339-12339
(termFormat ChineseTraditionalLanguage Bullet "子彈")	domainEnglishFormat.kif 12338-12338
(termFormat EnglishLanguage Bullet "bullet")	domainEnglishFormat.kif 12337-12337

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 1177-1185	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 1117-1122	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

(=> (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 1192-1200	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 1205-1215	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