VideoGame - Sigma Knowledge base Browser

appearance as argument number 1

(documentation VideoGame EnglishLanguage "VideoGame is a Game in VideoRecording form")	Mid-level-ontology.kif 25859-25860
(subclass VideoGame Game)	Mid-level-ontology.kif 25858-25858	VideoGame ist eine teilkategorie von Game

appearance as argument number 2

(termFormat EnglishLanguage VideoGame "video game")	Mid-level-ontology.kif 25861-25861
(termFormat EnglishLanguage VideoGame "videogame")	Mid-level-ontology.kif 25862-25862

antecedent

(=>
    (instance ?GAME VideoGame)
    (exists (?VIDEO)
        (and
            (instance ?VIDEO VideoRecording)
            (represents ?VIDEO ?GAME))))

Mid-level-ontology.kif 25864-25869

Wenn Entity ist ein fall von VideoGame %n{nicht},
dann es gibt ** Entity um ** ** Entity ist ein fall von VideoRecording %n{nicht} und ** ** Entity drueckt ** Entity aus

consequent

(=>
    (instance ?X VideoGamePlayer)
    (hasPurpose ?X
        (exists (?GAME ?RL ?MOVE ?CONTROLLER ?PLAYER)
            (and
                (instance ?GAME VideoGame)
                (instrument ?GAME ?X)
                (agent ?GAME ?PLAYER)
                (instance ?MOVE Maneuver)
                (instrument ?MOVE ?CONTROLLER)
                (agent ?MOVE ?PLAYER)
                (subProcess ?MOVE ?GAME)
                (part ?CONTROLLER ?X)
                (instance ?RL RadiatingLight)
                (agent ?RL ?X)
                (patient ?RL ?GAME)))))

Mid-level-ontology.kif 25876-25891

Wenn Physical ist ein fall von VideoGamePlayer %n{nicht},
dann ** Physical hat Zweck von es gibt entity, ** entity,, , ** entity,, , ** entity, and und ** entity um ** entity ist ein fall von VideoGame %n{nicht} und ** Physical ist ein instrument fuer ** entity %n{nicht} und ** entity ist der agent von ** ** entity %n{nicht} und ** ** entity ist ein fall von Maneuver %n{nicht} und ** ** entity ist ein instrument fuer ** ** entity %n{nicht} und ** ** entity ist der agent von ** ** entity %n{nicht} und ** ** entity ist ein subProzess von ** entity und ** ** entity ist ein teil von ** Physical %n{nicht} und ** ** entity ist ein fall von RadiatingLight %n{nicht} und ** ** entity ist der agent von ** Physical %n{nicht} und ** entity ist ein patient von ** ** entity %n{nicht} %n{nicht}

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

KB Term:			Term intersection

English Word: