![]() |
![]() ![]() ![]()
|
![]() |
|
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 | |
(subclass Game RecreationOrExercise) | Merge.kif 13127-13127 |
appearance as argument number 2 |
![]() |
(subclass Blackjack Game) | Sports.kif 406-406 | |
(subclass Chess Game) | Sports.kif 396-396 | |
(subclass Darts Game) | Sports.kif 398-398 | |
(subclass GoGame Game) | Sports.kif 400-400 | |
(subclass Poker Game) | Sports.kif 402-402 | |
(subclass Snooker Game) | Sports.kif 404-404 | |
(subclass Sport Game) | Merge.kif 13131-13131 | |
(subclass VideoGame Game) | Mid-level-ontology.kif 25237-25237 | |
(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 | |
(domain plays 1 Game) | ComputingBrands.kif 1660-1660 | |
(domain referee 1 Game) | ComputingBrands.kif 1649-1649 |
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 |
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 | |
(=> (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 | |
(=> (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 | |
(=> (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 | |
(=> (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 | |
(=> (instance ?ARTIFACT GameArtifact) (exists (?GAME) (and (subclass ?GAME Game) (capability ?GAME instrument ?ARTIFACT)))) |
Mid-level-ontology.kif 16400-16405 | |
(=> (instance ?BOARD GameBoard) (hasPurpose ?BOARD (exists (?GAME) (and (instance ?GAME Game) (eventLocated ?GAME ?BOARD))))) |
Mid-level-ontology.kif 16411-16417 | |
(=> (instance ?CALL GameCall) (exists (?GAME) (and (instance ?GAME Game) (refers ?CALL ?GAME)))) |
Mid-level-ontology.kif 15702-15707 | |
(=> (instance ?SHOT GameShot) (exists (?GAME) (and (instance ?GAME Game) (subProcess ?SHOT ?GAME)))) |
Mid-level-ontology.kif 16452-16457 | |
(=> (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 | |
(=> (instance ?X GameRoom) (hasPurpose ?X (exists (?GAME) (and (instance ?GAME Game) (eventLocated ?GAME ?X))))) |
Mid-level-ontology.kif 26132-26138 |
![]() |
![]() |