Game - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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 13396-13397
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13394-13394	Jogo e' uma sub-classe de Contest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13395-13395	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 13399-13399	Esporte e' uma sub-classe de Jogo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25858-25858	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 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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19498-19508	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 19514-19524	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 16980-16985	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 16991-16997	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 16280-16285	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 17032-17037	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 26772-26778	Fisico e' uma instancia de GameRoom Fisico tem por fim Entidade Entidade e' uma instancia de Jogo eventLocated Entidade and Fisico

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