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...

VerbNet: risk-94|punt, risk-94|punt, force-59|bluff, force-59|bluff, run-51.3.2|carom, meet-36.3|play, risk-94|punt, meet-36.3|play, risk-94|punt, risk-94|punt, meet-36.3|play,


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 12306-12307
(subclass Game Contest) Merge.kif 12304-12304 Game is a subclass of contest
(subclass Game RecreationOrExercise) Merge.kif 12305-12305 Game is a subclass of recreation or exercise

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


(subclass Blackjack Game) Sports.kif 361-361 Blackjack is a subclass of game
(subclass Chess Game) Sports.kif 351-351 Chess is a subclass of game
(subclass Darts Game) Sports.kif 353-353 Darts is a subclass of game
(subclass GoGame Game) Sports.kif 355-355 GoGame is a subclass of game
(subclass Poker Game) Sports.kif 357-357 Poker is a subclass of game
(subclass Snooker Game) Sports.kif 359-359 Snooker is a subclass of game
(subclass Sport Game) Merge.kif 12309-12309 Sport is a subclass of game
(subclass VideoGame Game) Mid-level-ontology.kif 23789-23789 Video game is a subclass of game
(termFormat ChineseLanguage Game "游戏") chinese_format.kif 1212-1212 "游戏" is the printable form of game in ChineseLanguage
(termFormat EnglishLanguage Game "game") english_format.kif 1646-1646 "game" is the printable form of game in english language

appearance as argument number 3
-------------------------


(domain achievement 1 Game) ComputingBrands.kif 1636-1636 The number 1 argument of achievement is an instance of game
(domain plays 1 Game) ComputingBrands.kif 1669-1669 The number 1 argument of plays is an instance of game
(domain referee 1 Game) ComputingBrands.kif 1658-1658 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 14604-14616

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 17279-17289
(=>
    (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 17295-17305
(=>
    (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 410-419
(=>
    (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 11401-11410
(=>
    (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 427-437
(=>
    (instance ?ARTIFACT GameArtifact)
    (exists (?GAME)
        (and
            (subclass ?GAME Game)
            (capability ?GAME instrument ?ARTIFACT))))
Mid-level-ontology.kif 14536-14541
(=>
    (instance ?BOARD GameBoard)
    (hasPurpose ?BOARD
        (exists (?GAME)
            (and
                (instance ?GAME Game)
                (eventLocated ?GAME ?BOARD)))))
Mid-level-ontology.kif 14547-14552
(=>
    (instance ?CALL GameCall)
    (exists (?GAME)
        (and
            (instance ?GAME Game)
            (refers ?CALL ?GAME))))
Mid-level-ontology.kif 13927-13932
(=>
    (instance ?SHOT GameShot)
    (exists (?GAME)
        (and
            (instance ?GAME Game)
            (subProcess ?SHOT ?GAME))))
Mid-level-ontology.kif 14586-14591
(=>
    (instance ?X Casino)
    (hasPurpose ?X
        (exists (?GAME ?BET)
            (and
                (instance ?GAME Game)
                (located ?GAME ?X)
                (instance ?BET Betting)
                (subProcess ?BET ?GAME)))))
Hotel.kif 1391-1399
(=>
    (instance ?X GameRoom)
    (hasPurpose ?X
        (exists (?GAME)
            (and
                (instance ?GAME Game)
                (eventLocated ?GAME ?X)))))
Mid-level-ontology.kif 24916-24922


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners