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 GunArtilleryGun + Firearmexhaustively partitioned %n
(subclass Gun ProjectileLauncher) Mid-level-ontology.kif 1161-1161 GunProjectileLaunchersubclass では %n
(subclass Gun Weapon) Mid-level-ontology.kif 1160-1160 Gun武器subclass では %n

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


(subclass ArtilleryGun Gun) Mid-level-ontology.kif 1599-1599 ArtilleryGunGunsubclass では %n
(subclass AutomaticGun Gun) Mid-level-ontology.kif 1566-1566 AutomaticGunGunsubclass では %n
(subclass Firearm Gun) Mid-level-ontology.kif 1603-1603 FirearmGunsubclass では %n
(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 caliber の数値 1 引数は Gunsubclass では %n

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