TreeView Knowledge Base Browser - Shooting

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 11522-11524
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1814-1815
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 11520-11520	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
No TPTP formula. May not be expressible in strict first order.	french_format.kif 804-804
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 336-336
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 339-339
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2488-2488
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 756-756
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 375-375
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 825-825
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 340-340

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 48-56	If an object is capable of doing a kind of process as a a case role and a kind of process is a subclass of shooting, then there exists another object such that the other object is an instance of weapon and the other object is a part of the object and the other object is capable of doing the kind of process as a the case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1228-1240	If an object is an instance of gun and another object is an instance of gun barrel and the other object is a part of the object and a process is an instance of shooting and the object is an instrument for the process and an entity is a patient of the process and the entity is an instance of projectile, then there exists the processUB such that the processUB is a subprocess of the process and the other object is path along which the processUB occurs
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 179-188	If a process is an instance of shooting and an object is an instrument for the process and the object is an instance of artillery cannon, then there exists another object such that the other object is an instrument for the process and the other object is an instance of the union of missile and grenade
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 597-605	If a process is an instance of shooting and an object is an instrument for the process and the object is an instance of grenade launcher, then there exists another object such that the other object is an instrument for the process and the other object is an instance of grenade
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 198-206	If a process is an instance of shooting and an object is an instrument for the process and the object is an instance of mortar gun, then there exists another object such that the other object is an instrument for the process and the other object is an instance of grenade
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 219-228	If a process is an instance of shooting and an object is an instrument for the process and a physical is a patient of the process and the width of the physical is a length measure and the object is an instance of the objectCLASS and the physical is an instance of projectile and another length measure is a caliber of the objectCLASS, then the other length measure is equal to the length measure
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 35-43	If a military vehicle can carry a positive integer weapons of type a kind of weapon. and an object is an instance of a kind of weapon and the object is capable of doing a kind of process as a a case role and a kind of process is a subclass of shooting or the kind of process is a subclass of damaging, then the military vehicle is capable of doing the kind of process as a the case role
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1131-1138	If a process is an instance of shooting, then there exist an entity and an object such that the entity is an instance of projectile and the entity is a patient of the process and the object is an instance of projectile launcher and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1162-1169	If a process is an instance of shooting, then there exist an entity and an object such that the entity is an instance of projectile and the entity is a patient of the process and the object is an instance of gun and the object is an instrument for the process

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 233-245	If a physical is an instance of projectile and a length measure is a caliber of a kind of gun and an object is an instance of a kind of gun and the width of the physical is the length measure1 and the length measure is equal to the length measure1, then the object is capable of doing the class described by a symbolic string as a instrument
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 250-262	If a physical is an instance of projectile and a length measure is a caliber of a kind of gun and another physical is an instance of a kind of gun and the width of the physical is the length measure1 and the length measure is equal to the length measure1, then the other physical has the purpose there exists an entity such that the entity is an instance of shooting and the physical is a patient of the entity and the other physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1177-1185	If a physical is an instance of bullet, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of shooting and the other entity is an instrument for the entity and the other entity is an instance of gun and the physical is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1562-1577	If a physical is an instance of automatic gun, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the third entity is an instance of pulling and the fourth entity is an instance of gun trigger and the fourth entity is a patient of the third entity and the fourth entity is a part of the physical and the entity is an instance of shooting and the other entity is an instance of shooting and the physical is an instrument for the entity and the physical is an instrument for the other entity and the entity is not equal to the other entity and the third entity causes the entity and the third entity causes the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1158-1160	If an object is an instance of gun, then the object is capable of doing shooting as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1127-1129	If an object is an instance of projectile launcher, then the object is capable of doing shooting as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1110-1112	If an object is an instance of projectile, then the object is capable of doing shooting as a patient
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1200-1205	If a process is an instance of skeet shooting, then there exists another process such that the other process is an instance of shooting and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Sports.kif 191-196	If a process is an instance of shooting sport, then there exists another process such that the other process is an instance of shooting and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1579-1590	If a physical is an instance of gun trigger, then the physical has the purpose there exist an entity, another entity and a third entity such that the other entity is an instance of automatic gun and the physical is a part of the other entity and the physical is a patient of the third entity and the third entity is an instance of pulling and the entity is an instance of shooting and the other entity is an instrument for the entity and the third entity causes the entity

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