| Game(jeu) | |
| 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 13513-13514 | |
| (subclass Game Contest) | Merge.kif 13511-13511 | Jeu est une sous-classe de affrontement |
| (subclass Game RecreationOrExercise) | Merge.kif 13512-13512 | Jeu est une sous-classe de r�cr�ation ou exercice |
| appearance as argument number 2 |
|
|
| (subclass Blackjack Game) | Sports.kif 487-487 | Blackjack est une sous-classe de jeu |
| (subclass Chess Game) | Sports.kif 477-477 | Chess est une sous-classe de jeu |
| (subclass Darts Game) | Sports.kif 479-479 | Darts est une sous-classe de jeu |
| (subclass GoGame Game) | Sports.kif 481-481 | GoGame est une sous-classe de jeu |
| (subclass Poker Game) | Sports.kif 483-483 | Poker est une sous-classe de jeu |
| (subclass Snooker Game) | Sports.kif 485-485 | Snooker est une sous-classe de jeu |
| (subclass Sport Game) | Merge.kif 13516-13516 | Sport est une sous-classe de jeu |
| (subclass VideoGame Game) | Mid-level-ontology.kif 27770-27770 | VideoGame est une sous-classe de jeu |
| (termFormat ChineseLanguage Game "游戏") | chinese_format.kif 1212-1212 | VideoGame est une sous-classe de jeu |
| (termFormat EnglishLanguage Game "game") | english_format.kif 1641-1641 | VideoGame est une sous-classe de jeu |
| (termFormat FrenchLanguage Game "jeu") | french_format.kif 890-890 | VideoGame est une sous-classe de jeu |
| (termFormat Hindi Game "manoranjaka khela") | terms-hindi.txt 423-423 | VideoGame est une sous-classe de jeu |
| (termFormat ItalianLanguage Game "Gioco") | terms-it.txt 426-426 | VideoGame est une sous-classe de jeu |
| (termFormat JapaneseLanguage Game "ゲーム") | japanese_format.kif 2574-2574 | VideoGame est une sous-classe de jeu |
| (termFormat PortugueseLanguage Game "Jogo") | portuguese_format.kif 842-842 | VideoGame est une sous-classe de jeu |
| (termFormat cb Game "dula") | terms-cb.txt 428-428 | VideoGame est une sous-classe de jeu |
| (termFormat cz Game "game") | terms-cz.txt 462-462 | VideoGame est une sous-classe de jeu |
| (termFormat de Game "Spiel") | terms-de.txt 721-721 | VideoGame est une sous-classe de jeu |
| (termFormat ro Game "joc") | relations-ro.kif 911-911 | VideoGame est une sous-classe de jeu |
| (termFormat tg Game "laro") | terms-tg.txt 427-427 | VideoGame est une sous-classe de jeu |
| appearance as argument number 3 |
|
|
| (domain achievement 1 Game) | ComputingBrands.kif 1659-1659 | Le nombre 1 argument de achievement est une instance de jeu |
| (domain plays 1 Game) | ComputingBrands.kif 1692-1692 | Le nombre 1 argument de plays est une instance de jeu |
| (domain referee 1 Game) | ComputingBrands.kif 1681-1681 | Le nombre 1 argument de referee est une instance de jeu |
| 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 18438-18450 |
|
| 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 21070-21080 |
|
| (=> (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 21086-21096 |
|
| (=> (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 |
|
| (=> (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 553-563 | |
| (=> (instance ?ARTIFACT GameArtifact) (exists (?GAME) (and (subclass ?GAME Game) (capability ?GAME instrument ?ARTIFACT)))) |
Mid-level-ontology.kif 18368-18373 | |
| (=> (instance ?BOARD GameBoard) (hasPurpose ?BOARD (exists (?GAME) (and (instance ?GAME Game) (eventLocated ?GAME ?BOARD))))) |
Mid-level-ontology.kif 18379-18385 | |
| (=> (instance ?CALL GameCall) (exists (?GAME) (and (instance ?GAME Game) (refers ?CALL ?GAME)))) |
Mid-level-ontology.kif 17668-17673 | |
| (=> (instance ?SHOT GameShot) (exists (?GAME) (and (instance ?GAME Game) (subProcess ?SHOT ?GAME)))) |
Mid-level-ontology.kif 18420-18425 | |
| (=> (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 | |
| (=> (instance ?X GameRoom) (hasPurpose ?X (exists (?GAME) (and (instance ?GAME Game) (eventLocated ?GAME ?X))))) |
Mid-level-ontology.kif 28685-28691 |
|
|
|