Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Gun

Sigma KEE - Gun
Gun

appearance as argument number 1
-------------------------


(documentation Gun EnglishLanguage "A Weapon that shoots a Projectile.") Mid-level-ontology.kif 1552-1552
(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 1551-1551 Gun 详尽无遗地 partitionArtilleryGunFirearm
(subclass Gun ProjectileLauncher) Mid-level-ontology.kif 1550-1550 GunProjectileLaunchersubclass
(subclass Gun Weapon) Mid-level-ontology.kif 1549-1549 Gun武器subclass

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


(subclass ArtilleryGun Gun) Mid-level-ontology.kif 2008-2008 ArtilleryGunGunsubclass
(subclass AutomaticGun Gun) Mid-level-ontology.kif 1975-1975 AutomaticGunGunsubclass
(subclass Firearm Gun) Mid-level-ontology.kif 2012-2012 FirearmGunsubclass
(termFormat EnglishLanguage Gun "gun") domainEnglishFormat.kif 4934-4934 termFormat EnglishLanguage, Gun and "gun"
(typicalPart GunTrigger Gun) Mid-level-ontology.kif 1749-1749 typicalPart GunTrigger and Gun
(typicallyContainsPart GunTrigger Gun) Mid-level-ontology.kif 1750-1750 typicallyContainsPart GunTrigger and Gun

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


(domainSubclass caliber 1 Gun) MilitaryDevices.kif 210-210 caliber 的 1 数量 是 Gunsubclass

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 1624-1636
(=>
    (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 1797-1812
(=>
    (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 1779-1793
(=>
    (instance ?GUN Gun)
    (capability Shooting instrument ?GUN))
Mid-level-ontology.kif 1554-1556

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 1573-1581
(=>
    (instance ?B GunBarrel)
    (exists (?G)
        (and
            (instance ?G Gun)
            (part ?B ?G))))
Mid-level-ontology.kif 1617-1622
(=>
    (instance ?SHOOT Shooting)
    (exists (?PROJECTILE ?GUN)
        (and
            (instance ?PROJECTILE Projectile)
            (patient ?SHOOT ?PROJECTILE)
            (instance ?GUN Gun)
            (instrument ?SHOOT ?GUN))))
Mid-level-ontology.kif 1558-1565
(=>
    (instance ?STOCK GunStock)
    (exists (?GUN)
        (and
            (instance ?GUN Gun)
            (part ?STOCK ?GUN))))
Mid-level-ontology.kif 1818-1823


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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