TreeView Knowledge Base Browser - Gun

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Gun

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 1120-1120
(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 1119-1119	Gun is exhaustively partitioned into artillery gun and firearm
(subclass Gun ProjectileLauncher)	Mid-level-ontology.kif 1118-1118	Gun is a subclass of projectile launcher
(subclass Gun Weapon)	Mid-level-ontology.kif 1117-1117	Gun is a subclass of weapon

appearance as argument number 2

(subclass ArtilleryGun Gun)	Mid-level-ontology.kif 1554-1554	Artillery gun is a subclass of gun
(subclass AutomaticGun Gun)	Mid-level-ontology.kif 1521-1521	Automatic gun is a subclass of gun
(subclass Firearm Gun)	Mid-level-ontology.kif 1558-1558	Firearm is a subclass of gun
(termFormat ChineseLanguage Gun "枪")	domainEnglishFormat.kif 27069-27069
(termFormat ChineseTraditionalLanguage Gun "槍")	domainEnglishFormat.kif 27068-27068
(termFormat EnglishLanguage Gun "gun")	domainEnglishFormat.kif 27067-27067
(typicalPart GunTrigger Gun)	Mid-level-ontology.kif 1322-1322	A gun trigger is typically a part of a gun
(typicallyContainsPart GunTrigger Gun)	Mid-level-ontology.kif 1323-1323	A gun typically has a part gun trigger

appearance as argument number 3

(domainSubclass caliber 1 Gun)

MilitaryDevices.kif 211-211

The number 1 argument of caliber is a subclass of gun

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 1192-1204	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)) (capability (KappaFn ?KILLING (and (instance ?KILLING Killing) (patient ?KILLING ?O))) instrument ?GUN))	Mid-level-ontology.kif 1373-1391	If a device is an instance of gun and an unit of measure is an instance of UnitOfLength 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 the device is capable of doing the class described by a 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)) (capability (KappaFn ?DAMAGING (and (instance ?DAMAGING Damaging) (patient ?DAMAGING ?O))) instrument ?GUN))	Mid-level-ontology.kif 1352-1369	If a device is an instance of gun and an unit of measure is an instance of UnitOfLength 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 the device is capable of doing the class described by a symbolic string as a instrument
(=> (instance ?GUN Gun) (capability Shooting instrument ?GUN))	Mid-level-ontology.kif 1122-1124	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 1141-1149	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 1185-1190	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 1126-1133	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 1397-1402	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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