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

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	GameShot est une sous-classe de propulser
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17019-17019	GameShot est une sous-classe de manoeuvre

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Sports.kif 698-698	BaseballHit est une sous-classe de GameShot
No TPTP formula. May not be expressible in strict first order.	Sports.kif 948-948	GolfDrive est une sous-classe de GameShot
No TPTP formula. May not be expressible in strict first order.	Sports.kif 954-954	GolfPutt est une sous-classe de GameShot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17090-17090	Pitching est une sous-classe de GameShot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17043-17043	Score est une sous-classe de GameShot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17064-17064	SportServe est une sous-classe de GameShot
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	Processus est une instance de GameShot processus processus est une instance de jeu processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17025-17030	Processus est une instance de GameShot entit� entit� est une instance de GamePiece entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17039-17041	Physique est une instance de GameShot physique a pour but physique est une instance de 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