TreeView Knowledge Base Browser - GameShot

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 17020-17023
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17018-17018	Game shot is a subclass of impelling
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17019-17019	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 17090-17090	Pitching is a subclass of game shot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17043-17043	Score is a subclass of game shot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17064-17064	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 17032-17037	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 17025-17030	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 17039-17041	If a physical is an instance of game shot, then the physical has the purpose the physical is an instance of score

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