GunBarrel - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - GunBarrel

GunBarrel(gun barrel)

barrel, gun_barrel, gun_muzzle, muzzle

appearance as argument number 1

(documentation GunBarrel EnglishLanguage "The part of a Gun through which a Projectile travels when it is fired.")	Mid-level-ontology.kif 1290-1291
(externalImage GunBarrel "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 4f/ Volquartsen_Ruger_17HM2_barrel.jpg/ 250px_Volquartsen_Ruger_17HM2_barrel.jpg")	pictureList.kif 1128-1128
(subclass GunBarrel EngineeringComponent)	Mid-level-ontology.kif 1289-1289	Gun barrel is a subclass of engineering component

appearance as argument number 2

(partTypes GunBore GunBarrel)	Mid-level-ontology.kif 1388-1388	Every gun bore is a part of a gun barrel
(partTypes GunMuzzle GunBarrel)	Mid-level-ontology.kif 1359-1359	Every gun muzzle is a part of a gun barrel
(relatedInternalConcept Forestock GunBarrel)	Mid-level-ontology.kif 1462-1462	Fore stock is internally related to gun barrel
(relatedInternalConcept Gunstock GunBarrel)	Mid-level-ontology.kif 1410-1410	Gun stock is internally related to gun barrel
(termFormat ChineseLanguage GunBarrel "枪管")	domainEnglishFormat.kif 27112-27112	Gun stock is internally related to gun barrel
(termFormat ChineseTraditionalLanguage GunBarrel "槍管")	domainEnglishFormat.kif 27111-27111	Gun stock is internally related to gun barrel
(termFormat EnglishLanguage GunBarrel "gun barrel")	domainEnglishFormat.kif 27110-27110	Gun stock is internally related to gun barrel
(typicalPart GunChamber GunBarrel)	Mid-level-ontology.kif 1325-1325	A gun chamber is typically a part of a gun barrel

antecedent

(=> (and (instance ?G Gun) (instance ?B GunBarrel) (part ?B ?G) (instance ?S Shooting) (instrument ?S ?G) (patient ?S ?P) (instance ?P Projectile)) (exists (?SUB) (and (subProcess ?SUB ?S) (path ?SUB ?B))))	Mid-level-ontology.kif 1300-1312	If an object is an instance of gun and another object is an instance of gun barrel and the other object is a part of the object and a process is an instance of shooting and the object is an instrument for the process and an entity is a patient of the process and the entity is an instance of projectile, then there exists the processUB such that the processUB is a subprocess of the process and the other object is path along which the processUB occurs
(=> (and (instance ?H Handgun) (instance ?B1 GunBarrel) (part ?B1 ?H) (length ?B1 (MeasureFn ?S Inch)) (instance ?L Longgun) (instance ?B2 GunBarrel) (part ?B2 ?L) (length ?B2 (MeasureFn ?T Inch))) (lessThan ?S ?T))	Mid-level-ontology.kif 2001-2011	If an object is an instance of hand gun and another object is an instance of gun barrel and the other object is a part of the object and the length of the other object is a real number inch(s) and a third object is an instance of long gun and a fourth object is an instance of gun barrel and the fourth object is a part of the third object and the length of the fourth object is another real number inch(s), then the real number is less than the other real number
(=> (instance ?B GunBarrel) (exists (?G) (and (instance ?G Gun) (part ?B ?G))))	Mid-level-ontology.kif 1293-1298	If an object is an instance of gun barrel, then there exists another object such that the other object is an instance of gun and the object is a part of the other 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 ?GUN Pistol) (exists (?B ?C) (and (part ?B ?GUN) (instance ?B GunBarrel) (part ?C ?B) (instance ?C GunChamber) (not (exists (?C2) (and (instance ?C2 GunChamber) (part ?C2 ?B) (not (equal ?C ?C2))))))))	Mid-level-ontology.kif 2017-2031	If an object is an instance of pistol, then there exist another object and a third object such that the other object is a part of the object and the other object is an instance of gun barrel and the third object is a part of the other object and the third object is an instance of gun chamber and there doesn't exist the third object2 such that the third object2 is an instance of gun chamber and the third object2 is a part of the other object and the third object is not equal to the third object2

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