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 1547-1547
(externalImage Gun "http://upload.wikimedia.org/wikipedia/commons/0/06/Pistol_Browning_SFS.jpg") pictureList.kif 106-106 "http://upload.wikimedia.org/wikipedia/commons/0/06/ Pistol_Browning_SFS.jpg" is a URL depicting gun
(partition Gun ArtilleryGun Firearm) Mid-level-ontology.kif 1546-1546 Gun is exhaustively partitioned into artillery gun and firearm
(subclass Gun ProjectileLauncher) Mid-level-ontology.kif 1545-1545 Gun is a subclass of projectile launcher
(subclass Gun Weapon) Mid-level-ontology.kif 1544-1544 Gun is a subclass of weapon

appearance as argument number 2
-------------------------


(subclass ArtilleryGun Gun) Mid-level-ontology.kif 2003-2003 Artillery gun is a subclass of gun
(subclass AutomaticGun Gun) Mid-level-ontology.kif 1970-1970 Automatic gun is a subclass of gun
(subclass Firearm Gun) Mid-level-ontology.kif 2007-2007 Firearm is a subclass of gun
(termFormat ChineseLanguage Gun "枪") domainEnglishFormat.kif 27007-27007 "枪" is the printable form of gun in ChineseLanguage
(termFormat ChineseTraditionalLanguage Gun "槍") domainEnglishFormat.kif 27006-27006 "槍" is the printable form of gun in ChineseTraditionalLanguage
(termFormat EnglishLanguage Gun "gun") domainEnglishFormat.kif 27005-27005 "gun" is the printable form of gun in english language
(typicalPart GunTrigger Gun) Mid-level-ontology.kif 1744-1744 A gun trigger is typically a part of a gun
(typicallyContainsPart GunTrigger Gun) Mid-level-ontology.kif 1745-1745 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 1619-1631
(=>
    (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 1792-1807
(=>
    (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 1774-1788
(=>
    (instance ?GUN Gun)
    (capability Shooting instrument ?GUN))
Mid-level-ontology.kif 1549-1551

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 1568-1576
(=>
    (instance ?B GunBarrel)
    (exists (?G)
        (and
            (instance ?G Gun)
            (part ?B ?G))))
Mid-level-ontology.kif 1612-1617
(=>
    (instance ?SHOOT Shooting)
    (exists (?PROJECTILE ?GUN)
        (and
            (instance ?PROJECTILE Projectile)
            (patient ?SHOOT ?PROJECTILE)
            (instance ?GUN Gun)
            (instrument ?SHOOT ?GUN))))
Mid-level-ontology.kif 1553-1560
(=>
    (instance ?STOCK GunStock)
    (exists (?GUN)
        (and
            (instance ?GUN Gun)
            (part ?STOCK ?GUN))))
Mid-level-ontology.kif 1813-1818


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