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

appearance as argument number 1

(documentation Gun EnglishLanguage "A Weapon that shoots a Projectile.")	Mid-level-ontology.kif 1549-1549
(externalImage Gun "http://upload.wikimedia.org/wikipedia/commons/0/06/Pistol_Browning_SFS.jpg")	pictureList.kif 106-106	externalImage Gun and "http://upload.wikimedia.org/wikipedia/commons/0/06/ Pistol_Browning_SFS.jpg"
(partition Gun ArtilleryGun Firearm)	Mid-level-ontology.kif 1548-1548	partition Gun, ArtilleryGun and Firearm
(subclass Gun ProjectileLauncher)	Mid-level-ontology.kif 1547-1547	subclass Gun and ProjectileLauncher
(subclass Gun Weapon)	Mid-level-ontology.kif 1546-1546	subclass Gun and Weapon

appearance as argument number 2

(subclass ArtilleryGun Gun)	Mid-level-ontology.kif 2005-2005	subclass ArtilleryGun and Gun
(subclass AutomaticGun Gun)	Mid-level-ontology.kif 1972-1972	subclass AutomaticGun and Gun
(subclass Firearm Gun)	Mid-level-ontology.kif 2009-2009	subclass Firearm and Gun
(termFormat ChineseLanguage Gun "枪")	domainEnglishFormat.kif 27007-27007	termFormat ChineseLanguage, Gun and "枪"
(termFormat ChineseTraditionalLanguage Gun "槍")	domainEnglishFormat.kif 27006-27006	termFormat ChineseTraditionalLanguage, Gun and "槍"
(termFormat EnglishLanguage Gun "gun")	domainEnglishFormat.kif 27005-27005	termFormat EnglishLanguage, Gun and "gun"
(typicalPart GunTrigger Gun)	Mid-level-ontology.kif 1746-1746	typicalPart GunTrigger and Gun
(typicallyContainsPart GunTrigger Gun)	Mid-level-ontology.kif 1747-1747	typicallyContainsPart GunTrigger and Gun

appearance as argument number 3

(domainSubclass caliber 1 Gun)

MilitaryDevices.kif 211-211

domainSubclass caliber, 1 and Gun

antecedent

(=> (and (instance ?G Gun) (instance ?B GunBarrel) (part ?B ?G) (instance ?S Shooting) (instrument ?S ?GUN) (patient ?S ?P) (instance ?P Projectile)) (exists (?SUB) (and (subProcess ?SUB ?S) (path ?SUB ?B))))	Mid-level-ontology.kif 1621-1633	instance Object and Gun instance Object and GunBarrel part Object and Object instance Process and Shooting instrument Process and ObjectUN patient Process and Entity instance Entity and Projectile ProcessUB subProcess ProcessUB and Process path ProcessUB and Object
(=> (and (instance ?GUN Gun) (effectiveRange ?GUN ?LM) (distance ?GUN ?O ?LM1) (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 1794-1809	instance Device and Gun effectiveRange Device and LengthMeasure distance Device, Object and LengthMeasure instance Object and Organism Object between Object, Object and Device lessThanOrEqualTo LengthMeasure and LengthMeasure capability KappaFn SymbolicString and instance SymbolicString and Killing patient SymbolicString and Object, instrument and Device
(=> (and (instance ?GUN Gun) (effectiveRange ?GUN ?LM) (distance ?GUN ?O ?LM1) (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 1776-1790	instance Device and Gun effectiveRange Device and LengthMeasure distance Device, Object and LengthMeasure Object between Object, Object and Device lessThanOrEqualTo LengthMeasure and LengthMeasure capability KappaFn SymbolicString and instance SymbolicString and Damaging patient SymbolicString and Object, instrument and Device
(=> (instance ?GUN Gun) (capability Shooting instrument ?GUN))	Mid-level-ontology.kif 1551-1553	instance Object and Gun capability Shooting, instrument and Object

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 1570-1578	instance Physical and Bullet hasPurpose Physical and entity entity instance entity and Shooting instrument entity and entity instance entity and Gun patient entity and Physical
(=> (instance ?B GunBarrel) (exists (?G) (and (instance ?G Gun) (part ?B ?G))))	Mid-level-ontology.kif 1614-1619	instance Object and GunBarrel Object instance Object and Gun part Object and Object
(=> (instance ?SHOOT Shooting) (exists (?PROJECTILE ?GUN) (and (instance ?PROJECTILE Projectile) (patient ?SHOOT ?PROJECTILE) (instance ?GUN Gun) (instrument ?SHOOT ?GUN))))	Mid-level-ontology.kif 1555-1562	instance Process and Shooting Entity Object instance Entity and Projectile patient Process and Entity instance Object and Gun instrument Process and Object
(=> (instance ?STOCK GunStock) (exists (?GUN) (and (instance ?GUN Gun) (part ?STOCK ?GUN))))	Mid-level-ontology.kif 1815-1820	instance Object and GunStock Object instance Object and Gun part Object and 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners