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 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 は ArtilleryGun + Firearm に exhaustively partitioned
(subclass Gun ProjectileLauncher) Mid-level-ontology.kif 1227-1227 Gun は ProjectileLauncher の subclass では
(subclass Gun Weapon) Mid-level-ontology.kif 1226-1226 Gun は 武器 の subclass では

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


(subclass ArtilleryGun Gun) Mid-level-ontology.kif 1816-1816 ArtilleryGun は Gun の subclass では
(subclass AutomaticGun Gun) Mid-level-ontology.kif 1783-1783 AutomaticGun は Gun の subclass では
(subclass Firearm Gun) Mid-level-ontology.kif 1850-1850 Firearm は Gun の subclass では
(termFormat ChineseLanguage Gun "枪") domainEnglishFormat.kif 27089-27089 Firearm は Gun の subclass では
(termFormat ChineseTraditionalLanguage Gun "槍") domainEnglishFormat.kif 27088-27088 Firearm は Gun の subclass では
(termFormat EnglishLanguage Gun "gun") domainEnglishFormat.kif 27087-27087 Firearm は Gun の subclass では
(typicalPart GunTrigger Gun) Mid-level-ontology.kif 1582-1582 typicalPart GunTrigger and Gun
(typicallyContainsPart GunTrigger Gun) Mid-level-ontology.kif 1583-1583 typicallyContainsPart GunTrigger and 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 1301-1313
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (instance ?GUN Gun)
    (capability Shooting instrument ?GUN))		 Mid-level-ontology.kif 1231-1233

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
(=>
    (instance ?B GunBarrel)
    (exists (?G)
        (and
            (instance ?G Gun)
            (part ?B ?G))))		 Mid-level-ontology.kif 1294-1299
(=>
    (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
(=>
    (instance ?STOCK GunStock)
    (exists (?GUN)
        (and
            (instance ?GUN Gun)
            (part ?STOCK ?GUN))))		 Mid-level-ontology.kif 1659-1664


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