GameShot - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - GameShot

GameShot(game shot)

attack, chess_opening, counterattack, counterplay, daisy_cutter, king, opening, putt, shoot, shot, stroke, tennis_shot, tennis_stroke

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18428-18431
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18426-18426	Game shot is a subclass of impelling
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18427-18427	Game shot is a subclass of maneuver

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Sports.kif 710-710	Baseball hit is a subclass of game shot
No TPTP formula. May not be expressible in strict first order.	Sports.kif 960-960	Golf drive is a subclass of game shot
No TPTP formula. May not be expressible in strict first order.	Sports.kif 966-966	Golf put is a subclass of game shot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18498-18498	Pitching is a subclass of game shot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18451-18451	Score is a subclass of game shot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18472-18472	Sport serve is a subclass of game shot
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25506-25506	Sport serve is a subclass of game shot
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25505-25505	Sport serve is a subclass of game shot
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25504-25504	Sport serve is a subclass of game shot

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18440-18445	If a process is an instance of game shot, then there exists another process such that the other process is an instance of game and the process is a subprocess of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18433-18438	If a process is an instance of game shot, then there exists an entity such that the entity is an instance of game piece and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18447-18449	If a physical is an instance of game shot, then the physical has the purpose the physical is an instance of score

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 3.0 is open source software produced by Articulate Software and its partners