TreeView Knowledge Base Browser - Game

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Game

Sigma KEE - Game

Game(Jogo)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3297-3297
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13420-13421
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13418-13418	Jogo e' uma sub-classe de Contest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13419-13419	Jogo e' uma sub-classe de Recreacao ou Exercicio

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Sports.kif 475-475	Blackjack e' uma sub-classe de Jogo
No TPTP formula. May not be expressible in strict first order.	Sports.kif 465-465	Chess e' uma sub-classe de Jogo
No TPTP formula. May not be expressible in strict first order.	Sports.kif 467-467	Darts e' uma sub-classe de Jogo
No TPTP formula. May not be expressible in strict first order.	Sports.kif 469-469	GoGame e' uma sub-classe de Jogo
No TPTP formula. May not be expressible in strict first order.	Sports.kif 471-471	Poker e' uma sub-classe de Jogo
No TPTP formula. May not be expressible in strict first order.	Sports.kif 473-473	Snooker e' uma sub-classe de Jogo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13423-13423	Esporte e' uma sub-classe de Jogo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25903-25903	VideoGame e' uma sub-classe de Jogo
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1212-1212
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1641-1641
No TPTP formula. May not be expressible in strict first order.	french_format.kif 890-890
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 423-423
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 426-426
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2574-2574
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 842-842
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 428-428
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 462-462
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 911-911
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 427-427

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1659-1659	O argumento numero 1 de achievement e' uma instancia de Jogo
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1692-1692	O argumento numero 1 de plays e' uma instancia de Jogo
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1681-1681	O argumento numero 1 de referee e' uma instancia de Jogo

antecedent

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

Mid-level-ontology.kif 17078-17090

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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19526-19536	AutonomousAgent tem um atributo de Atributo Atributo e' uma instancia de GameAttribute Processo Processo e' uma instancia de Jogo Processo e' um agente de AutonomousAgent AutonomousAgent e' um patient de Processo AutonomousAgent e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19542-19552	AutonomousAgent tem um atributo de Atributo Atributo e' uma instancia de SportsAttribute Processo Processo e' uma instancia de Jogo Processo e' um agente de AutonomousAgent AutonomousAgent e' um patient de Processo AutonomousAgent e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Sports.kif 524-533	Coach e' um atributo de AutonomousAgent Entidade Entidade and Processo Entidade e' uma instancia de Humano Entidade e' uma instancia de Jogo Processo e' uma instancia de Processo Educacional Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Processo inclui uma referencia a Entidade
No TPTP formula. May not be expressible in strict first order.	naics.kif 11478-11487	GamblingIndustries e' um atributo de Objeto Objeto tem por fim Entidade Entidade Entidade e' uma instancia de Jogo Entidade e' um agente de Objeto Entidade e' uma instancia de Aposta Entidade termina em Objeto Entidade e' um sub-processo de Entidade
No TPTP formula. May not be expressible in strict first order.	Sports.kif 541-551	coaches Humano and Humano Coach e' um atributo de Humano Entidade Processo Entidade e' uma instancia de Jogo Processo e' uma instancia de Processo Educacional Processo e' um agente de Humano Humano e' um patient de Processo Processo inclui uma referencia a Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17008-17013	Objeto e' uma instancia de GameArtifact Processo Processo e' uma sub-classe de Jogo Objeto e' capaz de fazer Processo no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17019-17025	Fisico e' uma instancia de GameBoard Fisico tem por fim Entidade Entidade e' uma instancia de Jogo eventLocated Entidade and Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16308-16313	Entidade e' uma instancia de GameCall Entidade Entidade e' uma instancia de Jogo Entidade inclui uma referencia a Entidade
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.	Hotel.kif 1440-1448	Fisico e' uma instancia de Casino Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Jogo Entidade e' situado em Fisico Entidade e' uma instancia de Aposta Entidade e' um sub-processo de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26817-26823	Fisico e' uma instancia de GameRoom Fisico tem por fim Entidade Entidade e' uma instancia de Jogo eventLocated Entidade and Fisico

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