Game - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Game ChineseLanguage "这是为了让 Game 的参加者或观众感到享受/刺激的 Contest。")	chinese_format.kif 3297-3297
(documentation Game EnglishLanguage "A Contest whose purpose is the enjoyment/ stimulation of the participants or spectators of the Game.")	Merge.kif 13128-13129
(subclass Game Contest)	Merge.kif 13126-13126	Game is a subclass of contest
(subclass Game RecreationOrExercise)	Merge.kif 13127-13127	Game is a subclass of recreation or exercise

appearance as argument number 2

(subclass Blackjack Game)	Sports.kif 406-406	Blackjack is a subclass of game
(subclass Chess Game)	Sports.kif 396-396	Chess is a subclass of game
(subclass Darts Game)	Sports.kif 398-398	Darts is a subclass of game
(subclass GoGame Game)	Sports.kif 400-400	GoGame is a subclass of game
(subclass Poker Game)	Sports.kif 402-402	Poker is a subclass of game
(subclass Snooker Game)	Sports.kif 404-404	Snooker is a subclass of game
(subclass Sport Game)	Merge.kif 13131-13131	Sport is a subclass of game
(subclass VideoGame Game)	Mid-level-ontology.kif 25237-25237	Videogame is a subclass of game
(termFormat ChineseLanguage Game "游戏")	chinese_format.kif 1212-1212
(termFormat EnglishLanguage Game "game")	english_format.kif 1641-1641

appearance as argument number 3

(domain achievement 1 Game)	ComputingBrands.kif 1627-1627	The number 1 argument of achievement is an instance of game
(domain plays 1 Game)	ComputingBrands.kif 1660-1660	The number 1 argument of plays is an instance of game
(domain referee 1 Game)	ComputingBrands.kif 1649-1649	The number 1 argument of referee is an instance of game

antecedent

(=>
    (and
        (instance ?GOAL GameGoal)
        (instrument ?GAME ?GOAL)
        (instance ?GAME Game)
        (subProcess ?SCORE ?GAME)
        (instance ?SCORE Score))
    (exists (?PIECE ?TIME)
        (and
            (instance ?PIECE GamePiece)
            (patient ?SCORE ?PIECE)
            (temporalPart ?TIME
                (WhenFn ?SCORE))
            (holdsDuring ?TIME
                (located ?PIECE ?GOAL)))))

Mid-level-ontology.kif 16470-16482

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

(=> (and (property ?THING ?ATTR) (instance ?ATTR GameAttribute)) (exists (?GAME) (and (instance ?GAME Game) (or (agent ?GAME ?THING) (patient ?GAME ?THING) (subProcess ?THING ?GAME)))))	Mid-level-ontology.kif 18850-18860	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
(=> (and (property ?THING ?ATTR) (instance ?ATTR SportsAttribute)) (exists (?SPORT) (and (instance ?SPORT Game) (or (agent ?SPORT ?THING) (patient ?SPORT ?THING) (subProcess ?THING ?SPORT)))))	Mid-level-ontology.kif 18866-18876	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
(=> (attribute ?COACH Coach) (exists (?ATHLETE ?GAME ?EDUCATION) (and (instance ?ATHLETE Human) (instance ?GAME Game) (instance ?EDUCATION EducationalProcess) (agent ?EDUCATION ?COACH) (patient ?EDUCATION ?ATHLETE) (refers ?EDUCATION ?GAME))))	Sports.kif 455-464	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
(=> (attribute ?X GamblingIndustries) (hasPurpose ?X (exists (?GAME ?BET) (and (instance ?GAME Game) (agent ?GAME ?X) (instance ?BET Betting) (destination ?BET ?X) (subProcess ?BET ?GAME)))))	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
(=> (coaches ?COACH ?PLAYER) (and (attribute ?COACH Coach) (exists (?GAME ?EDUCATION) (and (instance ?GAME Game) (instance ?EDUCATION EducationalProcess) (agent ?EDUCATION ?COACH) (patient ?EDUCATION ?PLAYER) (refers ?EDUCATION ?GAME)))))	Sports.kif 472-482	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
(=> (instance ?ARTIFACT GameArtifact) (exists (?GAME) (and (subclass ?GAME Game) (capability ?GAME instrument ?ARTIFACT))))	Mid-level-ontology.kif 16400-16405	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
(=> (instance ?BOARD GameBoard) (hasPurpose ?BOARD (exists (?GAME) (and (instance ?GAME Game) (eventLocated ?GAME ?BOARD)))))	Mid-level-ontology.kif 16411-16417	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 2
(=> (instance ?CALL GameCall) (exists (?GAME) (and (instance ?GAME Game) (refers ?CALL ?GAME))))	Mid-level-ontology.kif 15702-15707	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
(=> (instance ?SHOT GameShot) (exists (?GAME) (and (instance ?GAME Game) (subProcess ?SHOT ?GAME))))	Mid-level-ontology.kif 16452-16457	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
(=> (instance ?X Casino) (hasPurpose ?X (exists (?GAME ?BET) (and (instance ?GAME Game) (located ?GAME ?X) (instance ?BET Betting) (subProcess ?BET ?GAME)))))	Hotel.kif 1418-1426	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
(=> (instance ?X GameRoom) (hasPurpose ?X (exists (?GAME) (and (instance ?GAME Game) (eventLocated ?GAME ?X)))))	Mid-level-ontology.kif 26132-26138	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 2

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: