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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Shooting
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
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 11278-11279
No TPTP formula. May not be expressible in strict first order. Merge.kif 11275-11277
No TPTP formula. May not be expressible in strict first order. pictureList.kif 728-728 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ recreation/ hunting/ shooting.png" is a URL depicting shooting
No TPTP formula. May not be expressible in strict first order. Merge.kif 11274-11274 Shooting is a subclass of impelling

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1126-1126 "射击" is the printable form of shooting in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 813-813 "shooting" is the printable form of shooting in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 804-804 "tirer" is the printable form of shooting in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 336-336 "nishaanebaajii" is the printable form of shooting in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 337-337 "Sparare" is the printable form of shooting in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 756-756 "Atirar" is the printable form of shooting in portuguese language
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 375-375 "shooting" is the printable form of shooting in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 340-340 "binabaril" is the printable form of shooting in tg

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 48-56
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1624-1636
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 178-187
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 596-604
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 197-205
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 218-227
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 35-43
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1527-1534
No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1554-1556
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1523-1525
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1501-1503
No TPTP formula. May not be expressible in strict first order. Sports.kif 1049-1054
No TPTP formula. May not be expressible in strict first order. Sports.kif 154-159
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