GamePiece - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - GamePiece

GamePiece

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17000-17001
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16999-16999	GamePiece e' uma sub-classe de GameArtifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17007-17007	Ball e' uma sub-classe de GamePiece
No TPTP formula. May not be expressible in strict first order.	Sports.kif 344-344	Football e' uma sub-classe de GamePiece
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17003-17003	GameDie e' uma sub-classe de GamePiece
No TPTP formula. May not be expressible in strict first order.	Sports.kif 324-324	RugbyBall e' uma sub-classe de GamePiece
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25466-25466
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25465-25465
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25464-25464

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 16976-16976

GameArtifact e' disjuntamente decomponivel em GameBoard + GamePiece

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17050-17062	Objeto e' uma instancia de GameGoal Objeto e' um instrumento para Processo Processo e' uma instancia de Jogo Processo e' um sub-processo de Processo Processo e' uma instancia de Score Entidade Posicao Temporal Entidade e' uma instancia de GamePiece Entidade e' um patient de Processo Posicao Temporal e' uma &parte de tempo de existencia de Processo Entidade e' situado em Objeto vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17025-17030	Processo e' uma instancia de GameShot Entidade Entidade e' uma instancia de GamePiece Entidade e' um patient de Processo

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