| appearance as argument number 1 |
|
|
| (subclass Game Contest) | Merge.kif 13682-13682 | Game is a subclass of contest |
| (subclass Game RecreationOrExercise) | Merge.kif 13683-13683 | Game is a subclass of recreation or exercise |
| (documentation Game EnglishLanguage "A Contest whose purpose is the enjoyment/ stimulation of the participants or spectators of the Game.") | Merge.kif 13684-13685 | Game is a subclass of recreation or exercise |
| appearance as argument number 2 |
|
|
| (subclass Sport Game) | Merge.kif 13687-13687 | Sport is a subclass of game |
| (subclass VideoGame Game) | Mid-level-ontology.kif 28396-28396 | Videogame is a subclass of game |
| (termFormat EnglishLanguage Game "game") | english_format.kif 1645-1645 | Videogame is a subclass of game |
| appearance as argument number 3 |
|
|
| (domain achievement 1 Game) | ComputingBrands.kif 1659-1659 | The number 1 argument of achievement is an instance of game |
| (domain referee 1 Game) | ComputingBrands.kif 1681-1681 | The number 1 argument of referee is an instance of game |
| (domain plays 1 Game) | ComputingBrands.kif 1692-1692 | The number 1 argument of plays 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 18623-18635 | If X is an instance of game goal, X is an instrument for Y, Y is an instance of game, Z is a subprocess of Y, and Z is an instance of score, then there exist W, V such that W is an instance of game piece, W is a patient of Z, V is a part of the time of existence of Z, and W is located at X holds during V |
| consequent |
|
|
| (=> (instance ?CALL GameCall) (exists (?GAME) (and (instance ?GAME Game) (refers ?CALL ?GAME)))) |
Mid-level-ontology.kif 17868-17873 | If X is an instance of game call, then there exists Y such that Y is an instance of game and X includes a reference to Y |
| (=> (instance ?ARTIFACT GameArtifact) (exists (?GAME) (and (subclass ?GAME Game) (capability ?GAME instrument ?ARTIFACT)))) |
Mid-level-ontology.kif 18553-18558 | If X is an instance of game artifact, then there exists Y such that Y is a subclass of game and X is capable of doing Y as a instrument |
| (=> (instance ?BOARD GameBoard) (hasPurpose ?BOARD (exists (?GAME) (and (instance ?GAME Game) (eventLocated ?GAME ?BOARD))))) |
Mid-level-ontology.kif 18564-18570 | If X is an instance of game board, then X has the purpose there exists Y such that Y is an instance of game and Y is located at X |
| (=> (instance ?SHOT GameShot) (exists (?GAME) (and (instance ?GAME Game) (subProcess ?SHOT ?GAME)))) |
Mid-level-ontology.kif 18605-18610 | If X is an instance of game shot, then there exists Y such that Y is an instance of game and X is a subprocess of Y |
| (=> (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 21353-21363 | If X the attribute Y and Y is an instance of game attribute, then there exists Z such that Z is an instance of game and X is an agent of Z, X is a patient of Z, or X is a subprocess of Z |
| (=> (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 21369-21379 | If X the attribute Y and Y is an instance of sports attribute, then there exists Z such that Z is an instance of game and X is an agent of Z, X is a patient of Z, or X is a subprocess of Z |
| (=> (instance ?X GameRoom) (hasPurpose ?X (exists (?GAME) (and (instance ?GAME Game) (eventLocated ?GAME ?X))))) |
Mid-level-ontology.kif 29332-29338 | If X is an instance of game room, then X has the purpose there exists Y such that Y is an instance of game and Y is located at X |
| (=> (instance ?X Casino) (hasPurpose ?X (exists (?GAME ?BET) (and (instance ?GAME Game) (located ?GAME ?X) (instance ?BET Betting) (subProcess ?BET ?GAME))))) |
Hotel.kif 1451-1459 | If X is an instance of casino, then X has the purpose there exist Y, Z such that Y is an instance of game, Y is located at X, Z is an instance of betting, and Z is a subprocess of Y |
|
|
|