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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Shooting

Sigma KEE - Shooting
Shooting(shooting)
antiaircraft_fire, artillery_fire, barrage, barrage_fire, battery, 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, gun, gun_down, gunfire...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3046-3047
No TPTP formula. May not be expressible in strict first order. Merge.kif 11309-11311
No TPTP formula. May not be expressible in strict first order. pictureList.kif 728-728
No TPTP formula. May not be expressible in strict first order. Merge.kif 11307-11307 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
No TPTP formula. May not be expressible in strict first order. english_format.kif 1469-1469

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 1192-1204
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 179-188
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 597-605
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 198-206
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 219-228
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 1095-1102
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1126-1133

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 233-245
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 250-262
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1141-1149
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1524-1539
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1122-1124
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1091-1093
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1074-1076
No TPTP formula. May not be expressible in strict first order. Sports.kif 1127-1132
No TPTP formula. May not be expressible in strict first order. Sports.kif 156-161
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1541-1552


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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