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 17021-17024
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17019-17019	GameShot est une sous-classe de propulser
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17020-17020	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 17091-17091	Pitching est une sous-classe de GameShot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17044-17044	Score est une sous-classe de GameShot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17065-17065	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 17033-17038	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 17026-17031	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 17040-17042	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