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

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


(subclass ArtilleryGun Gun) Mid-level-ontology.kif 2009-2009 Artillery gun is a subclass of gun
(subclass AutomaticGun Gun) Mid-level-ontology.kif 1976-1976 Automatic gun is a subclass of gun
(subclass Firearm Gun) Mid-level-ontology.kif 2013-2013 Firearm is a subclass of gun
(termFormat ChineseLanguage Gun "枪") domainEnglishFormat.kif 27001-27001
(termFormat ChineseTraditionalLanguage Gun "槍") domainEnglishFormat.kif 27000-27000
(termFormat EnglishLanguage Gun "gun") domainEnglishFormat.kif 26999-26999
(typicalPart GunTrigger Gun) Mid-level-ontology.kif 1750-1750 A gun trigger is typically a part of a gun
(typicallyContainsPart GunTrigger Gun) Mid-level-ontology.kif 1751-1751 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 1625-1637
(=>
    (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 1798-1813
(=>
    (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 1780-1794
(=>
    (instance ?GUN Gun)
    (capability Shooting instrument ?GUN))
Mid-level-ontology.kif 1555-1557

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 1574-1582
(=>
    (instance ?B GunBarrel)
    (exists (?G)
        (and
            (instance ?G Gun)
            (part ?B ?G))))
Mid-level-ontology.kif 1618-1623
(=>
    (instance ?SHOOT Shooting)
    (exists (?PROJECTILE ?GUN)
        (and
            (instance ?PROJECTILE Projectile)
            (patient ?SHOOT ?PROJECTILE)
            (instance ?GUN Gun)
            (instrument ?SHOOT ?GUN))))
Mid-level-ontology.kif 1559-1566
(=>
    (instance ?STOCK GunStock)
    (exists (?GUN)
        (and
            (instance ?GUN Gun)
            (part ?STOCK ?GUN))))
Mid-level-ontology.kif 1819-1824


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