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 is a subclass of game |
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 |