Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| VideoGame(videogame) |  | computer_game, video_game |
| appearance as argument number 1 |
|
|
| (subclass VideoGame Game) | Mid-level-ontology.kif 28442-28442 | Videogame is a subclass of game |
| (documentation VideoGame EnglishLanguage "VideoGame is a Game in VideoRecording form") | Mid-level-ontology.kif 28443-28444 | Videogame is a subclass of game |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage VideoGame "video game") | Mid-level-ontology.kif 28445-28445 | |
| (termFormat EnglishLanguage VideoGame "videogame") | Mid-level-ontology.kif 28446-28446 |
| antecedent |
|
|
| (=> (instance ?GAME VideoGame) (exists (?VIDEO) (and (instance ?VIDEO VideoRecording) (represents ?VIDEO ?GAME)))) |
Mid-level-ontology.kif 28448-28453 | If X is an instance of videogame, then there exists Y such that Y is an instance of video recording and Y expresses X |
| 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 28460-28475 | If X is an instance of video game player, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is an instance of videogame (3) X is an instrument for Y (4) U is an agent of Y (5) W is an instance of maneuver (6) V is an instrument for W (7) U is an agent of W (8) W is a subprocess of Y (9) V is a part of X (10) Z is an instance of radiating light (11) X is an agent of Z (12) Y is a patient of Z |
| (=> (instance ?DEVICE GameConsole) (exists (?GAME) (and (subclass ?GAME VideoGame) (capability ?GAME instrument ?DEVICE)))) |
HouseholdAppliances.kif 304-309 | If X is an instance of game console, then there exists Y such that Y is a subclass of videogame and X is capable of doing Y as a instrument |
|