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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Game
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 12459-12460
(subclass Game Contest) Merge.kif 12457-12457
(subclass Game RecreationOrExercise) Merge.kif 12458-12458

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


(subclass Blackjack Game) Sports.kif 361-361
(subclass Chess Game) Sports.kif 351-351
(subclass Darts Game) Sports.kif 353-353
(subclass GoGame Game) Sports.kif 355-355
(subclass Poker Game) Sports.kif 357-357
(subclass Snooker Game) Sports.kif 359-359
(subclass Sport Game) Merge.kif 12462-12462
(subclass VideoGame Game) Mid-level-ontology.kif 22084-22084
(termFormat ChineseLanguage Game "游戏") chinese_format.kif 1212-1212
(termFormat EnglishLanguage Game "game") english_format.kif 1646-1646

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


(domain achievement 1 Game) ComputingBrands.kif 1628-1628
(domain plays 1 Game) ComputingBrands.kif 1661-1661
(domain referee 1 Game) ComputingBrands.kif 1650-1650

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 13658-13670

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 16038-16048
(=>
    (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 16054-16064
(=>
    (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 11485-11494
(=>
    (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 13588-13593
(=>
    (instance ?BOARD GameBoard)
    (hasPurpose ?BOARD
        (exists (?GAME)
            (and
                (instance ?GAME Game)
                (eventLocated ?GAME ?BOARD)))))
Mid-level-ontology.kif 13599-13605
(=>
    (instance ?CALL GameCall)
    (exists (?GAME)
        (and
            (instance ?GAME Game)
            (refers ?CALL ?GAME))))
Mid-level-ontology.kif 12983-12988
(=>
    (instance ?SHOT GameShot)
    (exists (?GAME)
        (and
            (instance ?GAME Game)
            (subProcess ?SHOT ?GAME))))
Mid-level-ontology.kif 13640-13645
(=>
    (instance ?X Casino)
    (hasPurpose ?X
        (exists (?GAME ?BET)
            (and
                (instance ?GAME Game)
                (located ?GAME ?X)
                (instance ?BET Betting)
                (subProcess ?BET ?GAME)))))
Hotel.kif 1405-1413
(=>
    (instance ?X GameRoom)
    (hasPurpose ?X
        (exists (?GAME)
            (and
                (instance ?GAME Game)
                (eventLocated ?GAME ?X)))))
Mid-level-ontology.kif 22978-22984


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