Game - Sigma Knowledge base Browser

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 13513-13514
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13511-13511	Game is a subclass of contest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13512-13512	Game is a subclass of recreation or exercise

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Sports.kif 487-487	Blackjack is a subclass of game
No TPTP formula. May not be expressible in strict first order.	Sports.kif 477-477	Chess is a subclass of game
No TPTP formula. May not be expressible in strict first order.	Sports.kif 479-479	Darts is a subclass of game
No TPTP formula. May not be expressible in strict first order.	Sports.kif 481-481	Go game is a subclass of game
No TPTP formula. May not be expressible in strict first order.	Sports.kif 483-483	Poker is a subclass of game
No TPTP formula. May not be expressible in strict first order.	Sports.kif 485-485	Snooker is a subclass of game
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13516-13516	Sport is a subclass of game
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27770-27770	Videogame is a subclass of game
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1212-1212	Videogame is a subclass of game
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1641-1641	Videogame is a subclass of game
No TPTP formula. May not be expressible in strict first order.	french_format.kif 890-890	Videogame is a subclass of game
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 423-423	Videogame is a subclass of game
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 426-426	Videogame is a subclass of game
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2574-2574	Videogame is a subclass of game
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 842-842	Videogame is a subclass of game
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 428-428	Videogame is a subclass of game
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 462-462	Videogame is a subclass of game
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 721-721	Videogame is a subclass of game
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 911-911	Videogame is a subclass of game
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 427-427	Videogame is a subclass of game

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1659-1659	The number 1 argument of achievement is an instance of game
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1692-1692	The number 1 argument of plays is an instance of game
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1681-1681	The number 1 argument of referee is an instance of game

antecedent

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

Mid-level-ontology.kif 18438-18450

If an object is an instance of game goal and the object is an instrument for a process and the process is an instance of game and another process is a subprocess of the process and the other process is an instance of score,
then there exist an entity and a time position such that the entity is an instance of game piece and the entity is a patient of the other process and the time position is a part of the time of existence of the other process and the entity is located at the object holds during the time position

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21070-21080	If an agent the attribute an attribute and the attribute is an instance of game attribute, then there exists a process such that the process is an instance of game and the agent is an agent of the process or the agent is a patient of the process or the agent is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21086-21096	If an agent the attribute an attribute and the attribute is an instance of sports attribute, then there exists a process such that the process is an instance of game and the agent is an agent of the process or the agent is a patient of the process or the agent is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Sports.kif 536-545	If coach is an attribute of an agent, then there exist an entity, another entity and a process such that the entity is an instance of human and the other entity is an instance of game and the process is an instance of educational process and the agent is an agent of the process and the entity is a patient of the process and the process includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 11478-11487	If gambling industries is an attribute of an object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of game and the object is an agent of the entity and the other entity is an instance of betting and the other entity ends up at the object and the other entity is a subprocess of the entity
No TPTP formula. May not be expressible in strict first order.	Sports.kif 553-563	If a human coaches another human, then coach is an attribute of the human and there exist an entity and a process such that the entity is an instance of game and the process is an instance of educational process and the human is an agent of the process and the other human is a patient of the process and the process includes a reference to the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18368-18373	If an object is an instance of game artifact, then there exists a kind of process such that a kind of process is a subclass of game and the object is capable of doing the kind of process as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18379-18385	If a physical is an instance of game board, then the physical has the purpose there exists an entity such that the entity is an instance of game and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17668-17673	If an entity is an instance of game call, then there exists another entity such that the other entity is an instance of game and the entity includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18420-18425	If a process is an instance of game shot, then there exists another process such that the other process is an instance of game and the process is a subprocess of the other process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1451-1459	If a physical is an instance of casino, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of game and the entity is located at the physical and the other entity is an instance of betting and the other entity is a subprocess of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28685-28691	If a physical is an instance of game room, then the physical has the purpose there exists an entity such that the entity is an instance of game and the entity is located at the physical

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

KB Term:			Term intersection

English Word: