Gun - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Gun

Gun(gun)

Thompson_submachine_gun, Tommy_gun, Uzi, air_gun, air_rifle, airgun, breechloader, gas_gun, gun, gun_pendulum, light_arm, minute_gun, set_gun, spring_gun, submachine_gun

appearance as argument number 1

(documentation Gun EnglishLanguage "A Weapon that shoots a Projectile.")	Mid-level-ontology.kif 1229-1229
(externalImage Gun "http://upload.wikimedia.org/wikipedia/commons/0/06/Pistol_Browning_SFS.jpg")	pictureList.kif 106-106
(partition Gun ArtilleryGun Firearm)	Mid-level-ontology.kif 1228-1228	Gun is exhaustively partitioned into artillery gun and firearm
(subclass Gun ProjectileLauncher)	Mid-level-ontology.kif 1227-1227	Gun is a subclass of projectile launcher
(subclass Gun Weapon)	Mid-level-ontology.kif 1226-1226	Gun is a subclass of weapon

appearance as argument number 2

(subclass ArtilleryGun Gun)	Mid-level-ontology.kif 1816-1816	Artillery gun is a subclass of gun
(subclass AutomaticGun Gun)	Mid-level-ontology.kif 1783-1783	Automatic gun is a subclass of gun
(subclass Firearm Gun)	Mid-level-ontology.kif 1850-1850	Firearm is a subclass of gun
(termFormat ChineseLanguage Gun "枪")	domainEnglishFormat.kif 27089-27089	Firearm is a subclass of gun
(termFormat ChineseTraditionalLanguage Gun "槍")	domainEnglishFormat.kif 27088-27088	Firearm is a subclass of gun
(termFormat EnglishLanguage Gun "gun")	domainEnglishFormat.kif 27087-27087	Firearm is a subclass of gun
(typicalPart GunTrigger Gun)	Mid-level-ontology.kif 1582-1582	A gun trigger is typically a part of a gun
(typicallyContainsPart GunTrigger Gun)	Mid-level-ontology.kif 1583-1583	A gun typically has a part gun trigger

appearance as argument number 3

(domainSubclass caliber 1 Gun)

MilitaryDevices.kif 368-368

The number 1 argument of caliber is a subclass of gun

antecedent

(=> (and (angleOfFire ?S ?A) (instrument ?S ?G) (instance ?G Gun) (part ?B ?G) (instance ?B GunBarrel) (instance ?L FiniteLineInSpace) (endPointsOfLineInSpace ?P1 ?P2 ?L) (objectEnds ?P1 ?P2 ?B) (eventLocated ?S ?R) (instance ?R GeographicArea) part ?P ?R) (planeAngleMeasure ?L (LevelPlaneFn ?P PlanetEarth) ?A))	MilitaryDevices.kif 258-272	If the angleOfFire of a shooting an angle measure is the angle measure and an object is an instrument for the shooting and the object is an instance of gun and another object is a part of the object and the other object is an instance of gun barrel and a finite line in space is an instance of finite line in space and a PointinSpace and another PointinSpace are end points of the finite line in space and the PointinSpace and the other PointinSpace are the end PointInSpace of object the other object and the shooting is located at a third object and the third object is an instance of geographic area and part and a point in space and the third object, then the angle between the finite line in space and the PlaneInSpace is perpendicular to the line formed by the point in space and the centre of the AstronomicalBody. is the angle measure
(=> (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 ?GUN Gun) (instance ?U UnitOfLength) (effectiveRange ?GUN (MeasureFn ?LM ?U)) (distance ?GUN ?O (MeasureFn ?LM1 ?U)) (instance ?O Organism) (not (exists (?O2) (between ?O ?O2 ?GUN))) (lessThanOrEqualTo ?LM1 ?LM)) (exists (?KILLING) (capability (KappaFn ?KILLING (and (instance ?KILLING Killing) (patient ?KILLING ?O))) instrument ?GUN)))	Mid-level-ontology.kif 1634-1653	If a device is an instance of gun and an unit of measure is an instance of unit of length and a real number the unit of measure(s) is an effective range of the device and the distance between the device and an object is the real number1 the unit of measure(s) and the object is an instance of organism and there doesn't exist the object2 such that the object2 is between the object and the device and the real number1 is less than or equal to the real number, then there exists a symbolic string such that the device is capable of doing the class described by the symbolic string as a instrument
(=> (and (instance ?GUN Gun) (instance ?U UnitOfLength) (effectiveRange ?GUN (MeasureFn ?LM ?U)) (distance ?GUN ?O (MeasureFn ?LM1 ?U)) (not (exists (?O2) (between ?O ?O2 ?GUN))) (lessThanOrEqualTo ?LM1 ?LM)) (exists (?DAMAGING) (capability (KappaFn ?DAMAGING (and (instance ?DAMAGING Damaging) (patient ?DAMAGING ?O))) instrument ?GUN)))	Mid-level-ontology.kif 1612-1630	If a device is an instance of gun and an unit of measure is an instance of unit of length and a real number the unit of measure(s) is an effective range of the device and the distance between the device and an object is the real number1 the unit of measure(s) and there doesn't exist the object2 such that the object2 is between the object and the device and the real number1 is less than or equal to the real number, then there exists a symbolic string such that the device is capable of doing the class described by the symbolic string as a instrument
(=> (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
(=> (and (instance ?S Shooting) (instrument ?S ?G) (instance ?G Gun)) (exists (?C ?I ?B) (and (instance ?C GunChamber) (part ?C ?G) (instance ?I Inserting) (instance ?B BulletCartridge) (destination ?I ?C) (objectTransferred ?I ?B) (before (EndFn (WhenFn ?I)) (BeginFn (WhenFn ?S))))))	Mid-level-ontology.kif 1337-1352	If a process is an instance of shooting and an object is an instrument for the process and the object is an instance of gun, then there exist another object, a transfer and a third object such that the other object is an instance of gun chamber and the other object is a part of the object and the transfer is an instance of inserting and the third object is an instance of bullet cartridge and the transfer ends up at the other object and the object transferred in the transfer is the third object and the end of the time of existence of the transfer happens before the beginning of the time of existence of the process
(=> (instance ?GUN Gun) (capability Shooting instrument ?GUN))	Mid-level-ontology.kif 1231-1233	If an object is an instance of gun, then the object is capable of doing shooting as a instrument

consequent

(=> (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 1250-1258	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 ?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
(=> (instance ?SHOOT Shooting) (exists (?PROJECTILE ?GUN) (and (instance ?PROJECTILE Projectile) (patient ?SHOOT ?PROJECTILE) (instance ?GUN Gun) (instrument ?SHOOT ?GUN))))	Mid-level-ontology.kif 1235-1242	If a process is an instance of shooting, then there exist an entity and an object such that the entity is an instance of projectile and the entity is a patient of the process and the object is an instance of gun and the object is an instrument for the process
(=> (instance ?STOCK GunStock) (exists (?GUN) (and (instance ?GUN Gun) (part ?STOCK ?GUN))))	Mid-level-ontology.kif 1659-1664	If an object is an instance of gun stock, 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

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