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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Shooting
Shooting
Atirar, Sparare, antiaircraft_fire, artillery_fire, barrage, barrage_fire, battery, binabaril, blast, blaze, blaze_away, bombardment, broadside, burst, call_fire, cannon, cannon_fire, cannonade, close_supporting_fire, concentrated_fire, counterbattery_fire, counterbombardment, counterfire, countermortar_fire, counterpreparation_fire, countershot, cover, covering_fire, crossfire, crump, deep_supporting_fire, destruction_fire, direct_fire, direct_supporting_fire, discharge, distributed_fire, down, drive-by_shooting, drumfire, enfilade, enfilade_fire, fire, firing, firing_off, flight, fratricide, friendly_fire, fusillade, go_off, grazing_fire...

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


(documentation Shooting ChineseLanguage "这是 Impellingsubclass, 当中 patient 是被某种 Device 通过空中射击出的发射物。") Merge.kif 11358-11359
(documentation Shooting EnglishLanguage "The subclass of Impelling where the patient is a projectile that is fired through the air by means of some sort of Device.") Merge.kif 11355-11357
(externalImage Shooting "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ recreation/ hunting/ shooting.png") pictureList.kif 728-728
(subclass Shooting Impelling) Merge.kif 11354-11354

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


(termFormat ChineseLanguage Shooting "射击") chinese_format.kif 1126-1126
(termFormat EnglishLanguage Shooting "shooting") english_format.kif 813-813
(termFormat FrenchLanguage Shooting "tirer") french_format.kif 804-804
(termFormat Hindi Shooting "nishaanebaajii") terms-hindi.txt 336-336
(termFormat ItalianLanguage Shooting "Sparare") terms-it.txt 337-337
(termFormat PortugueseLanguage Shooting "Atirar") portuguese_format.kif 756-756
(termFormat cz Shooting "shooting") terms-cz.txt 375-375
(termFormat tg Shooting "binabaril") terms-tg.txt 340-340

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


(=>
    (and
        (capability ?PC ?ROLE ?MV)
        (subclass ?PC Shooting))
    (exists (?WEAPON)
        (and
            (instance ?WEAPON Weapon)
            (part ?WEAPON ?MV)
            (capability ?PC ?ROLE ?WEAPON))))
MilitaryDevices.kif 48-56
(=>
    (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 ?SHOOTING Shooting)
        (instrument ?SHOOTING ?AC)
        (instance ?AC ArtilleryCannon))
    (exists (?PROJ)
        (and
            (instrument ?SHOOTING ?PROJ)
            (instance ?PROJ
                (UnionFn Missile Grenade)))))
MilitaryDevices.kif 178-187
(=>
    (and
        (instance ?SHOOTING Shooting)
        (instrument ?SHOOTING ?AC)
        (instance ?AC GrenadeLauncher))
    (exists (?PROJ)
        (and
            (instrument ?SHOOTING ?PROJ)
            (instance ?PROJ Grenade))))
MilitaryDevices.kif 596-604
(=>
    (and
        (instance ?SHOOTING Shooting)
        (instrument ?SHOOTING ?MG)
        (instance ?MG MortarGun))
    (exists (?PROJ)
        (and
            (instrument ?SHOOTING ?PROJ)
            (instance ?PROJ Grenade))))
MilitaryDevices.kif 197-205
(=>
    (and
        (instance ?SHOT Shooting)
        (instrument ?SHOT ?GUN)
        (patient ?SHOT ?PROJ)
        (width ?PROJ ?LM1)
        (instance ?GUN ?GUNCLASS)
        (instance ?PROJ Projectile)
        (caliber ?GUNCLASS ?LM))
    (equal ?LM ?LM1))
MilitaryDevices.kif 218-227
(=>
    (and
        (weaponCarryingCapability ?MV ?WC ?COUNT)
        (instance ?WEAPON ?WC)
        (capability ?PC ?ROLE ?WEAPON)
        (or
            (subclass ?PC Shooting)
            (subclass ?PC Damaging)))
    (capability ?PC ?ROLE ?MV))
MilitaryDevices.kif 35-43
(=>
    (instance ?S Shooting)
    (exists (?P ?L)
        (and
            (instance ?P Projectile)
            (patient ?S ?P)
            (instance ?L ProjectileLauncher)
            (instrument ?S ?L))))
Mid-level-ontology.kif 1527-1534
(=>
    (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

consequent
-------------------------


(=>
    (and
        (instance ?PROJ Projectile)
        (caliber ?GUNCLASS ?LM)
        (instance ?GUN ?GUNCLASS)
        (width ?PROJ ?LM1)
        (equal ?LM ?LM1))
    (capability
        (KappaFn ?SHOOTING
            (and
                (instance ?SHOOTING Shooting)
                (patient ?SHOOTING ?PROJ))) instrument ?GUN))
MilitaryDevices.kif 232-244
(=>
    (and
        (instance ?PROJ Projectile)
        (caliber ?GUNCLASS ?LM)
        (instance ?GUN ?GUNCLASS)
        (width ?PROJ ?LM1)
        (equal ?LM ?LM1))
    (hasPurpose ?GUN
        (exists (?SHOOTING)
            (and
                (instance ?SHOOTING Shooting)
                (patient ?SHOOTING ?PROJ)
                (instrument ?SHOOTING ?GUN)))))
MilitaryDevices.kif 249-261
(=>
    (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 ?G AutomaticGun)
    (hasPurpose ?G
        (exists (?S1 ?S2 ?P ?T)
            (and
                (instance ?P Pulling)
                (instance ?T GunTrigger)
                (patient ?P ?T)
                (part ?T ?G)
                (instance ?S1 Shooting)
                (instance ?S2 Shooting)
                (instrument ?S1 ?G)
                (instrument ?S2 ?G)
                (not
                    (equal ?S1 ?S2))
                (causes ?P ?S1)
                (causes ?P ?S2)))))
Mid-level-ontology.kif 1978-1993
(=>
    (instance ?GUN Gun)
    (capability Shooting instrument ?GUN))
Mid-level-ontology.kif 1554-1556
(=>
    (instance ?L ProjectileLauncher)
    (capability Shooting instrument ?L))
Mid-level-ontology.kif 1523-1525
(=>
    (instance ?PROJECTILE Projectile)
    (capability Shooting patient ?PROJECTILE))
Mid-level-ontology.kif 1501-1503
(=>
    (instance ?SKEET SkeetShooting)
    (exists (?SHOOTING)
        (and
            (instance ?SHOOTING Shooting)
            (subProcess ?SHOOTING ?SKEET))))
Sports.kif 1049-1054
(=>
    (instance ?SS ShootingSport)
    (exists (?S)
        (and
            (instance ?S Shooting)
            (subProcess ?S ?SS))))
Sports.kif 156-161
(=>
    (instance ?T GunTrigger)
    (hasPurpose ?T
        (exists (?S ?G ?P)
            (and
                (instance ?G AutomaticGun)
                (part ?T ?G)
                (patient ?P ?T)
                (instance ?P Pulling)
                (instance ?S Shooting)
                (instrument ?S ?G)
                (causes ?P ?S)))))
Mid-level-ontology.kif 1995-2006


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners