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 1163-1163
(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 1162-1162 Gun è esaustivamente partizionato in ArtilleryGun + Firearm
(subclass Gun ProjectileLauncher) Mid-level-ontology.kif 1161-1161 Gun è una sottoclasse di ProjectileLauncher
(subclass Gun Weapon) Mid-level-ontology.kif 1160-1160 Gun è una sottoclasse di Arma

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


(subclass ArtilleryGun Gun) Mid-level-ontology.kif 1599-1599 ArtilleryGun è una sottoclasse di Gun
(subclass AutomaticGun Gun) Mid-level-ontology.kif 1566-1566 AutomaticGun è una sottoclasse di Gun
(subclass Firearm Gun) Mid-level-ontology.kif 1603-1603 Firearm è una sottoclasse di Gun
(termFormat ChineseLanguage Gun "枪") domainEnglishFormat.kif 27078-27078
(termFormat ChineseTraditionalLanguage Gun "槍") domainEnglishFormat.kif 27077-27077
(termFormat EnglishLanguage Gun "gun") domainEnglishFormat.kif 27076-27076
(typicalPart GunTrigger Gun) Mid-level-ontology.kif 1365-1365 typicalPart GunTrigger and Gun
(typicallyContainsPart GunTrigger Gun) Mid-level-ontology.kif 1366-1366 typicallyContainsPart GunTrigger and Gun

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


(domainSubclass caliber 1 Gun) MilitaryDevices.kif 211-211 Il numero 1 argomento caliber è una sottoclasse diGun

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 1235-1247
(=>
    (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 1417-1436
(=>
    (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 1395-1413
(=>
    (instance ?GUN Gun)
    (capability Shooting instrument ?GUN))		 Mid-level-ontology.kif 1165-1167

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 1184-1192
(=>
    (instance ?B GunBarrel)
    (exists (?G)
        (and
            (instance ?G Gun)
            (part ?B ?G))))		 Mid-level-ontology.kif 1228-1233
(=>
    (instance ?SHOOT Shooting)
    (exists (?PROJECTILE ?GUN)
        (and
            (instance ?PROJECTILE Projectile)
            (patient ?SHOOT ?PROJECTILE)
            (instance ?GUN Gun)
            (instrument ?SHOOT ?GUN))))		 Mid-level-ontology.kif 1169-1176
(=>
    (instance ?STOCK GunStock)
    (exists (?GUN)
        (and
            (instance ?GUN Gun)
            (part ?STOCK ?GUN))))		 Mid-level-ontology.kif 1442-1447


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