MediaSystem(media system) | audio_system, audiovisual, audiovisual_aid, iPod, sound_system, video_iPod |
appearance as argument number 1 |
(documentation MediaSystem EnglishLanguage "MediaSystem is a Collection of components that enable the RadiatingSound of AudioRecording and RadiatingLight of VideoRecording") | Mid-level-ontology.kif 14450-14452 | |
(subclass MediaSystem Collection) | Mid-level-ontology.kif 14449-14449 | Media system is a subclass of collection |
appearance as argument number 2 |
(subclass AppleIPod MediaSystem) | ComputingBrands.kif 817-817 | IPod is a subclass of media system |
(subclass AudioCDSystem MediaSystem) | Media.kif 1204-1204 | Cd player is a subclass of media system |
(subclass DVDSystem MediaSystem) | Media.kif 1269-1269 | Dvd player is a subclass of media system |
(subclass MultimediaProjector MediaSystem) | Mid-level-ontology.kif 26224-26224 | Multimedia projector is a subclass of media system |
(subclass VCRSystem MediaSystem) | Media.kif 1382-1382 | Vcr system is a subclass of media system |
(subclass VideoGamePlayer MediaSystem) | Mid-level-ontology.kif 25883-25883 | Video game player is a subclass of media system |
(termFormat EnglishLanguage MediaSystem "media system") | Mid-level-ontology.kif 14453-14453 |
antecedent |
(=> (instance ?PLAYER MediaSystem) (hasPurpose ?PLAYER (or (exists (?VIDEO ?RL) (and (instance ?VIDEO VideoRecording) (instance ?RL RadiatingLight) (patient ?RL ?VIDEO) (instrument ?RL ?PLAYER))) (exists (?AUDIO ?RS) (and (instance ?AUDIO AudioRecording) (instance ?RS RadiatingSound) (patient ?RS ?AUDIO) (instrument ?RS ?PLAYER)))))) |
Mid-level-ontology.kif 14455-14470 |
|
consequent |
(=> (roomAmenity ?ROOM MotionPicture) (exists (?R ?MS ?MP) (and (instance ?R ?ROOM) (instance ?MS MediaSystem) (located ?MS ?R) (instance ?MP MotionPicture) (modalAttribute (exists (?RL) (and (instance ?RL RadiatingLight) (instrument ?RL ?MS) (patient ?RL ?MP))) Possibility)))) |
Hotel.kif 1506-1519 |
|