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 17021-17024
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17019-17019	Game shot is a subclass of impelling
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17020-17020	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 698-698	Baseball hit is a subclass of game shot
No TPTP formula. May not be expressible in strict first order.	Sports.kif 948-948	Golf drive is a subclass of game shot
No TPTP formula. May not be expressible in strict first order.	Sports.kif 954-954	Golf put is a subclass of game shot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17091-17091	Pitching is a subclass of game shot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17044-17044	Score is a subclass of game shot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17065-17065	Sport serve is a subclass of game shot
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25478-25478
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25477-25477
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25476-25476

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17033-17038	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 17026-17031	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 17040-17042	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