VideoGame
|
|
appearance as argument number 1 |
(documentation VideoGame EnglishLanguage "VideoGame is a Game in VideoRecording form") | Mid-level-ontology.kif 25871-25872 | |
(subclass VideoGame Game) | Mid-level-ontology.kif 25870-25870 | VideoGame 是 游戏 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage VideoGame "video game") | Mid-level-ontology.kif 25873-25873 | |
(termFormat EnglishLanguage VideoGame "videogame") | Mid-level-ontology.kif 25874-25874 |
antecedent |
(=> (instance ?GAME VideoGame) (exists (?VIDEO) (and (instance ?VIDEO VideoRecording) (represents ?VIDEO ?GAME)))) |
Mid-level-ontology.kif 25876-25881 |
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 25888-25903 |
|