Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Game
Game(game)Black_Maria, Chicago, Chinese_checkers, Chinese_chequers, Go_Fish, Isthmian_Games, Mah-Jongg, Michigan, Monopoly, Napoleon, Nemean_Games, Newmarket, Parcheesi, Russian_bank, Scrabble, all_fours, anagrams, ante, auction, auction_bridge, auction_pitch, baccarat, back, backgammon, bagatelle, banking_game, bar_billiards, basket_rummy, beano, beggar-my-neighbor, beggar-my-neighbour, bet_on, bezique, billiards, bingo, blindman's_bluff, blindman's_buff, bluff, bluff_out, board_game, bolivia, boodle, break, bridge, bridge_whist, bully_off, canasta, canfield, card_game, cards...

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 Game is a subclass of contest
(subclass Game RecreationOrExercise) Merge.kif 13127-13127 Game is a subclass of recreation or exercise

appearance as argument number 2
-------------------------


(subclass Blackjack Game) Sports.kif 406-406 Blackjack is a subclass of game
(subclass Chess Game) Sports.kif 396-396 Chess is a subclass of game
(subclass Darts Game) Sports.kif 398-398 Darts is a subclass of game
(subclass GoGame Game) Sports.kif 400-400 GoGame is a subclass of game
(subclass Poker Game) Sports.kif 402-402 Poker is a subclass of game
(subclass Snooker Game) Sports.kif 404-404 Snooker is a subclass of game
(subclass Sport Game) Merge.kif 13131-13131 Sport is a subclass of game
(subclass VideoGame Game) Mid-level-ontology.kif 25237-25237 Videogame is a subclass of game
(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 The number 1 argument of achievement is an instance of game
(domain plays 1 Game) ComputingBrands.kif 1660-1660 The number 1 argument of plays is an instance of game
(domain referee 1 Game) ComputingBrands.kif 1649-1649 The number 1 argument of referee 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 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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners