|
|
   VideoGame
|
|
|
| appearance as argument number 1 |
|
|
| (documentation VideoGame EnglishLanguage "VideoGame is a Game in VideoRecording form") | Mid-level-ontology.kif 25904-25905 | |
| (subclass VideoGame Game) | Mid-level-ontology.kif 25903-25903 | VideoGame est une sous-classe de jeu |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage VideoGame "video game") | Mid-level-ontology.kif 25906-25906 | |
| (termFormat EnglishLanguage VideoGame "videogame") | Mid-level-ontology.kif 25907-25907 |
| antecedent |
|
|
| (=> (instance ?GAME VideoGame) (exists (?VIDEO) (and (instance ?VIDEO VideoRecording) (represents ?VIDEO ?GAME)))) |
Mid-level-ontology.kif 25909-25914 |
| 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 25921-25936 |
|
|
|
|