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 17048-17051
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17046-17046	GameShot e' uma sub-classe de Propulsionar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17047-17047	GameShot e' uma sub-classe de Manobra

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Sports.kif 698-698	BaseballHit e' uma sub-classe de GameShot
No TPTP formula. May not be expressible in strict first order.	Sports.kif 948-948	GolfDrive e' uma sub-classe de GameShot
No TPTP formula. May not be expressible in strict first order.	Sports.kif 954-954	GolfPutt e' uma sub-classe de GameShot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17118-17118	Pitching e' uma sub-classe de GameShot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17071-17071	Score e' uma sub-classe de GameShot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17092-17092	SportServe e' uma sub-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 17060-17065	Processo e' uma instancia de GameShot Processo Processo e' uma instancia de Jogo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17053-17058	Processo e' uma instancia de GameShot Entidade Entidade e' uma instancia de GamePiece Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17067-17069	Fisico e' uma instancia de GameShot Fisico tem por fim Fisico e' uma instancia 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