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 枪 详尽无遗地 partition 成 火炮枪 和 火器
(subclass Gun ProjectileLauncher) Mid-level-ontology.kif 1227-1227 枪 是 抛射物发射器 的 subclass
(subclass Gun Weapon) Mid-level-ontology.kif 1226-1226 枪 是 武器 的 subclass

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


(subclass ArtilleryGun Gun) Mid-level-ontology.kif 1816-1816 火炮枪 是 枪 的 subclass
(subclass AutomaticGun Gun) Mid-level-ontology.kif 1783-1783 自动枪 是 枪 的 subclass
(subclass Firearm Gun) Mid-level-ontology.kif 1850-1850 火器 是 枪 的 subclass
(termFormat ChineseLanguage Gun "枪") domainEnglishFormat.kif 27089-27089 火器 是 枪 的 subclass
(termFormat ChineseTraditionalLanguage Gun "槍") domainEnglishFormat.kif 27088-27088 火器 是 枪 的 subclass
(termFormat EnglishLanguage Gun "gun") domainEnglishFormat.kif 27087-27087 火器 是 枪 的 subclass
(typicalPart GunTrigger Gun) Mid-level-ontology.kif 1582-1582 枪扳机 typically 是 枪 的 part
(typicallyContainsPart GunTrigger Gun) Mid-level-ontology.kif 1583-1583 枪 typically 有 part 枪扳机

appearance as argument number 3
-------------------------


(domainSubclass caliber 1 Gun) MilitaryDevices.kif 368-368 口径 的 1 数量 是 枪 的 subclass

antecedent
-------------------------


(=>
    (and
        (angleOfFire ?S ?A)
        (instrument ?S ?G)
        (instance ?G Gun)
        (part ?B ?G)
        (instance ?B GunBarrel)
        (instance ?L FiniteLineInSpace)
        (endPointsOfLineInSpace ?P1 ?P2 ?L)
        (objectEnds ?P1 ?P2 ?B)
        (eventLocated ?S ?R)
        (instance ?R GeographicArea) part ?P ?R)
    (planeAngleMeasure ?L
        (LevelPlaneFn ?P PlanetEarth) ?A))		 MilitaryDevices.kif 258-272
(=>
    (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