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 1291-1292
(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 1290-1290	Gun barrel is a subclass of engineering component

appearance as argument number 2

(partTypes GunBore GunBarrel)	Mid-level-ontology.kif 1389-1389	Every gun bore is a part of a gun barrel
(partTypes GunMuzzle GunBarrel)	Mid-level-ontology.kif 1360-1360	Every gun muzzle is a part of a gun barrel
(relatedInternalConcept Forestock GunBarrel)	Mid-level-ontology.kif 1463-1463	Fore stock is internally related to gun barrel
(relatedInternalConcept Gunstock GunBarrel)	Mid-level-ontology.kif 1411-1411	Gun stock is internally related to gun barrel
(termFormat ChineseLanguage GunBarrel "枪管")	domainEnglishFormat.kif 27095-27095	Gun stock is internally related to gun barrel
(termFormat ChineseTraditionalLanguage GunBarrel "槍管")	domainEnglishFormat.kif 27094-27094	Gun stock is internally related to gun barrel
(termFormat EnglishLanguage GunBarrel "gun barrel")	domainEnglishFormat.kif 27093-27093	Gun stock is internally related to gun barrel
(typicalPart GunChamber GunBarrel)	Mid-level-ontology.kif 1326-1326	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 1301-1313	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 2002-2012	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 1294-1299	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 1362-1381	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 2018-2032	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 equal the third object and 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