| 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 e' uma sub-classe de Jogo |
| 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 |
|
|
|
|