VideoGame | ![]() |
appearance as argument number 1 |
![]() |
(documentation VideoGame EnglishLanguage "VideoGame is a Game in VideoRecording form") | Mid-level-ontology.kif 27771-27772 | |
(subclass VideoGame Game) | Mid-level-ontology.kif 27770-27770 | VideoGame est une sous-classe de jeu |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage VideoGame "video game") | Mid-level-ontology.kif 27773-27773 | |
(termFormat EnglishLanguage VideoGame "videogame") | Mid-level-ontology.kif 27774-27774 |
antecedent |
![]() |
(=> (instance ?GAME VideoGame) (exists (?VIDEO) (and (instance ?VIDEO VideoRecording) (represents ?VIDEO ?GAME)))) |
Mid-level-ontology.kif 27776-27781 |
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 27788-27803 |
|
![]() |
![]() |