| appearance as argument number 1 |
|
|
| (subclass Game Contest) | Merge.kif 13548-13548 | Game is a subclass of contest |
| (subclass Game RecreationOrExercise) | Merge.kif 13549-13549 | 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 13550-13551 | Game is a subclass of recreation or exercise |
| appearance as argument number 2 |
|
|
| (subclass Sport Game) | Merge.kif 13553-13553 | Sport is a subclass of game |
| (subclass VideoGame Game) | Mid-level-ontology.kif 28520-28520 | Videogame is a subclass of game |
| (subclass Chess Game) | Sports.kif 477-477 | Chess is a subclass of game |
| (subclass Darts Game) | Sports.kif 479-479 | Darts is a subclass of game |
| (subclass GoGame Game) | Sports.kif 481-481 | Go game is a subclass of game |
| (subclass Poker Game) | Sports.kif 483-483 | Poker is a subclass of game |
| (subclass Snooker Game) | Sports.kif 485-485 | Snooker is a subclass of game |
| (subclass Blackjack Game) | Sports.kif 487-487 | Blackjack is a subclass of game |
| (termFormat EnglishLanguage Game "game") | english_format.kif 1641-1641 | Blackjack 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 18595-18607 | 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 ?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 |
| (=> (instance ?CALL GameCall) (exists (?GAME) (and (instance ?GAME Game) (refers ?CALL ?GAME)))) |
Mid-level-ontology.kif 17821-17826 | 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 18525-18530 | 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 18536-18542 | 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 18577-18582 | 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 21440-21450 | 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 21456-21466 | 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 29429-29435 | 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 |
| (=> (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 536-545 | If coach is an attribute of X, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of human (3) Z is an instance of game (4) W is an instance of educational process (5) X is an agent of W (6) Y is a patient of W (7) W includes a reference to Z |
| (=> (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 553-563 | If X coaches Y, then coach is an attribute of X and there exist Z, W such that Z is an instance of game, W is an instance of educational process, X is an agent of W, Y is a patient of W, and W includes a reference to Z |
| (=> (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 X, then X has the purpose there exist Y, Z such that Y is an instance of game, X is an agent of Y, Z is an instance of betting, Z ends up at X, and Z is a subprocess of Y |
|
|
|