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
-------------------------


s__documentation(s__Shooting,s__ChineseLanguage,'这是 Impellingsubclass, 当中 patient 是被某种 Device 通过空中射击出的发射物。')

Merge.kif 11358-11359
s__documentation(s__Shooting,s__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
s__externalImage(s__Shooting,'http://www.adampease.org/Articulate/SUMOpictures/pictures/recreation/hunting/shooting.png')

pictureList.kif 728-728
s__instance(s__Impelling,s__SetOrClass)

Merge.kif 11354-11354

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


s__termFormat(s__ChineseLanguage,s__Shooting,'射击')

chinese_format.kif 1126-1126
s__termFormat(s__EnglishLanguage,s__Shooting,'shooting')

english_format.kif 813-813
s__termFormat(s__FrenchLanguage,s__Shooting,'tirer')

french_format.kif 804-804
s__termFormat(s__Hindi,s__Shooting,'nishaanebaajii')

terms-hindi.txt 336-336
s__termFormat(s__ItalianLanguage,s__Shooting,'Sparare')

terms-it.txt 337-337
s__termFormat(s__PortugueseLanguage,s__Shooting,'Atirar')

portuguese_format.kif 756-756
s__termFormat(s__cz__m,s__Shooting,'shooting')

terms-cz.txt 375-375
s__termFormat(s__tg__m,s__Shooting,'binabaril')

terms-tg.txt 340-340

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


( ! [V__PC,V__ROLE,V__MV] :
   ((s__capability(V__PC,V__ROLE,V__MV)
     &
     s__subclass(V__PC,s__Shooting))
   =>
   (? [V__WEAPON] :
     (s__instance(V__WEAPON,s__Weapon) &
       s__part(V__WEAPON,V__MV)
     &
     s__capability(V__PC,V__ROLE,V__WEAPON))))
)

MilitaryDevices.kif 48-56
( ! [V__G,V__B,V__S,V__GUN,V__P] :
   ((s__instance(V__G,s__Gun) &
       s__instance(V__B,s__GunBarrel) &
       s__part(V__B,V__G)
     &
     s__instance(V__S,s__Shooting) &
     s__instrument(V__S,V__GUN)
   &
   s__patient(V__S,V__P)
&
s__instance(V__P,s__Projectile))
=>
(? [V__SUB] :
(s__subProcess(V__SUB,V__S)
&
s__path(V__SUB,V__B))))
)

Mid-level-ontology.kif 1624-1636
( ! [V__SHOOTING,V__AC] :
   ((s__instance(V__SHOOTING,s__Shooting) &
       s__instrument(V__SHOOTING,V__AC)
     &
     s__instance(V__AC,s__ArtilleryCannon))
   =>
   (? [V__PROJ] :
     (s__instrument(V__SHOOTING,V__PROJ)
     &
     s__instance(V__PROJ,s__UnionFn(s__Missile,s__Grenade)))))
)

MilitaryDevices.kif 178-187
( ! [V__SHOOTING,V__AC] :
   ((s__instance(V__SHOOTING,s__Shooting) &
       s__instrument(V__SHOOTING,V__AC)
     &
     s__instance(V__AC,s__GrenadeLauncher))
   =>
   (? [V__PROJ] :
     (s__instrument(V__SHOOTING,V__PROJ)
     &
     s__instance(V__PROJ,s__Grenade))))
)

MilitaryDevices.kif 596-604
( ! [V__SHOOTING,V__MG] :
   ((s__instance(V__SHOOTING,s__Shooting) &
       s__instrument(V__SHOOTING,V__MG)
     &
     s__instance(V__MG,s__MortarGun))
   =>
   (? [V__PROJ] :
     (s__instrument(V__SHOOTING,V__PROJ)
     &
     s__instance(V__PROJ,s__Grenade))))
)

MilitaryDevices.kif 197-205
( ! [V__SHOT,V__GUN,V__PROJ,V__LM1,V__GUNCLASS,V__LM] :
   ((s__instance(V__SHOT,s__Shooting) &
       s__instrument(V__SHOT,V__GUN)
     &
     s__patient(V__SHOT,V__PROJ)
   &
   s__width(V__PROJ,V__LM1)
&
s__instance(V__GUN,V__GUNCLASS)
&
s__instance(V__PROJ,s__Projectile) &
s__caliber(V__GUNCLASS,V__LM))
=>
(V__LM = V__LM1))
)

MilitaryDevices.kif 218-227
( ! [V__MV,V__WC,V__COUNT,V__WEAPON,V__PC,V__ROLE] :
   ((s__weaponCarryingCapability(V__MV,V__WC,V__COUNT)
     &
     s__instance(V__WEAPON,V__WC)
   &
   s__capability(V__PC,V__ROLE,V__WEAPON)
&
(s__subclass(V__PC,s__Shooting) |
   s__subclass(V__PC,s__Damaging)))
=>
s__capability(V__PC,V__ROLE,V__MV))
)

MilitaryDevices.kif 35-43
( ! [V__S] :
   (s__instance(V__S,s__Shooting) =>
     (? [V__P,V__L] :
       (s__instance(V__P,s__Projectile) &
         s__patient(V__S,V__P)
       &
       s__instance(V__L,s__ProjectileLauncher) &
       s__instrument(V__S,V__L))))
)

Mid-level-ontology.kif 1527-1534
( ! [V__SHOOT] :
   (s__instance(V__SHOOT,s__Shooting) =>
     (? [V__PROJECTILE,V__GUN] :
       (s__instance(V__PROJECTILE,s__Projectile) &
         s__patient(V__SHOOT,V__PROJECTILE)
       &
       s__instance(V__GUN,s__Gun) &
       s__instrument(V__SHOOT,V__GUN))))
)

Mid-level-ontology.kif 1558-1565

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 232-244
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 249-261
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1573-1581
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1978-1993
( ! [V__GUN] :
   (s__instance(V__GUN,s__Gun) =>
     s__capability(s__Shooting,s__instrument__m,V__GUN))
)

Mid-level-ontology.kif 1554-1556
( ! [V__L] :
   (s__instance(V__L,s__ProjectileLauncher) =>
     s__capability(s__Shooting,s__instrument__m,V__L))
)

Mid-level-ontology.kif 1523-1525
( ! [V__PROJECTILE] :
   (s__instance(V__PROJECTILE,s__Projectile) =>
     s__capability(s__Shooting,s__patient__m,V__PROJECTILE))
)

Mid-level-ontology.kif 1501-1503
( ! [V__SKEET] :
   (s__instance(V__SKEET,s__SkeetShooting) =>
     (? [V__SHOOTING] :
       (s__instance(V__SHOOTING,s__Shooting) &
         s__subProcess(V__SHOOTING,V__SKEET))))
)

Sports.kif 1049-1054
( ! [V__SS] :
   (s__instance(V__SS,s__ShootingSport) =>
     (? [V__S] :
       (s__instance(V__S,s__Shooting) &
         s__subProcess(V__S,V__SS))))
)

Sports.kif 156-161
No TPTP formula. May not be expressible in strict first order. 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