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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Game
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 13374-13375
(subclass Game Contest) Merge.kif 13372-13372 Jeu est une sous-classe de affrontement
(subclass Game RecreationOrExercise) Merge.kif 13373-13373 Jeu est une sous-classe de r�cr�ation ou exercice

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


(subclass Blackjack Game) Sports.kif 475-475 Blackjack est une sous-classe de jeu
(subclass Chess Game) Sports.kif 465-465 Chess est une sous-classe de jeu
(subclass Darts Game) Sports.kif 467-467 Darts est une sous-classe de jeu
(subclass GoGame Game) Sports.kif 469-469 GoGame est une sous-classe de jeu
(subclass Poker Game) Sports.kif 471-471 Poker est une sous-classe de jeu
(subclass Snooker Game) Sports.kif 473-473 Snooker est une sous-classe de jeu
(subclass Sport Game) Merge.kif 13377-13377 Sport est une sous-classe de jeu
(subclass VideoGame Game) Mid-level-ontology.kif 25870-25870 VideoGame est une sous-classe de jeu
(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 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 17051-17063

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 19499-19509
(=>
    (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 19515-19525
(=>
    (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 16981-16986
(=>
    (instance ?BOARD GameBoard)
    (hasPurpose ?BOARD
        (exists (?GAME)
            (and
                (instance ?GAME Game)
                (eventLocated ?GAME ?BOARD)))))
Mid-level-ontology.kif 16992-16998
(=>
    (instance ?CALL GameCall)
    (exists (?GAME)
        (and
            (instance ?GAME Game)
            (refers ?CALL ?GAME))))
Mid-level-ontology.kif 16281-16286
(=>
    (instance ?SHOT GameShot)
    (exists (?GAME)
        (and
            (instance ?GAME Game)
            (subProcess ?SHOT ?GAME))))
Mid-level-ontology.kif 17033-17038
(=>
    (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 26784-26790


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