Game
|
|
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 13420-13421 | |
(subclass Game Contest) | Merge.kif 13418-13418 | Jogo e' uma sub-classe de Contest |
(subclass Game RecreationOrExercise) | Merge.kif 13419-13419 | Jogo e' uma sub-classe de Recreacao ou Exercicio |
appearance as argument number 2 |
(subclass Blackjack Game) | Sports.kif 475-475 | Blackjack e' uma sub-classe de Jogo |
(subclass Chess Game) | Sports.kif 465-465 | Chess e' uma sub-classe de Jogo |
(subclass Darts Game) | Sports.kif 467-467 | Darts e' uma sub-classe de Jogo |
(subclass GoGame Game) | Sports.kif 469-469 | GoGame e' uma sub-classe de Jogo |
(subclass Poker Game) | Sports.kif 471-471 | Poker e' uma sub-classe de Jogo |
(subclass Snooker Game) | Sports.kif 473-473 | Snooker e' uma sub-classe de Jogo |
(subclass Sport Game) | Merge.kif 13423-13423 | Esporte e' uma sub-classe de Jogo |
(subclass VideoGame Game) | Mid-level-ontology.kif 25903-25903 | VideoGame e' uma sub-classe de Jogo |
(termFormat ChineseLanguage Game "游戏") | chinese_format.kif 1212-1212 | |
(termFormat EnglishLanguage Game "game") | english_format.kif 1641-1641 | |
(termFormat FrenchLanguage Game "jeu") | french_format.kif 890-890 | |
(termFormat Hindi Game "manoranjaka khela") | terms-hindi.txt 423-423 | |
(termFormat ItalianLanguage Game "Gioco") | terms-it.txt 426-426 | |
(termFormat JapaneseLanguage Game "ゲーム") | japanese_format.kif 2574-2574 | |
(termFormat PortugueseLanguage Game "Jogo") | portuguese_format.kif 842-842 | |
(termFormat cb Game "dula") | terms-cb.txt 428-428 | |
(termFormat cz Game "game") | terms-cz.txt 462-462 | |
(termFormat ro Game "joc") | relations-ro.kif 911-911 | |
(termFormat tg Game "laro") | terms-tg.txt 427-427 |
appearance as argument number 3 |
(domain achievement 1 Game) | ComputingBrands.kif 1659-1659 | O argumento numero 1 de achievement e' uma instancia de Jogo |
(domain plays 1 Game) | ComputingBrands.kif 1692-1692 | O argumento numero 1 de plays e' uma instancia de Jogo |
(domain referee 1 Game) | ComputingBrands.kif 1681-1681 | O argumento numero 1 de referee e' uma instancia de Jogo |
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 17078-17090 |
|
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 19526-19536 |
|
(=> (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 19542-19552 |
|
(=> (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 524-533 |
|
(=> (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 541-551 | |
(=> (instance ?ARTIFACT GameArtifact) (exists (?GAME) (and (subclass ?GAME Game) (capability ?GAME instrument ?ARTIFACT)))) |
Mid-level-ontology.kif 17008-17013 | |
(=> (instance ?BOARD GameBoard) (hasPurpose ?BOARD (exists (?GAME) (and (instance ?GAME Game) (eventLocated ?GAME ?BOARD))))) |
Mid-level-ontology.kif 17019-17025 | |
(=> (instance ?CALL GameCall) (exists (?GAME) (and (instance ?GAME Game) (refers ?CALL ?GAME)))) |
Mid-level-ontology.kif 16308-16313 | |
(=> (instance ?SHOT GameShot) (exists (?GAME) (and (instance ?GAME Game) (subProcess ?SHOT ?GAME)))) |
Mid-level-ontology.kif 17060-17065 | |
(=> (instance ?X Casino) (hasPurpose ?X (exists (?GAME ?BET) (and (instance ?GAME Game) (located ?GAME ?X) (instance ?BET Betting) (subProcess ?BET ?GAME))))) |
Hotel.kif 1440-1448 | |
(=> (instance ?X GameRoom) (hasPurpose ?X (exists (?GAME) (and (instance ?GAME Game) (eventLocated ?GAME ?X))))) |
Mid-level-ontology.kif 26817-26823 |