MediaSystem
|
|
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 14477-14479 | |
(subclass MediaSystem Collection) | Mid-level-ontology.kif 14476-14476 | MediaSystem ist eine teilkategorie von Collection |
appearance as argument number 2 |
(subclass AppleIPod MediaSystem) | ComputingBrands.kif 817-817 | AppleIPod ist eine teilkategorie von MediaSystem |
(subclass AudioCDSystem MediaSystem) | Media.kif 1204-1204 | AudioCDSystem ist eine teilkategorie von MediaSystem |
(subclass DVDSystem MediaSystem) | Media.kif 1269-1269 | DVDSystem ist eine teilkategorie von MediaSystem |
(subclass MultimediaProjector MediaSystem) | Mid-level-ontology.kif 26257-26257 | MultimediaProjector ist eine teilkategorie von MediaSystem |
(subclass VCRSystem MediaSystem) | Media.kif 1382-1382 | VCRSystem ist eine teilkategorie von MediaSystem |
(subclass VideoGamePlayer MediaSystem) | Mid-level-ontology.kif 25916-25916 | VideoGamePlayer ist eine teilkategorie von MediaSystem |
(termFormat EnglishLanguage MediaSystem "media system") | Mid-level-ontology.kif 14480-14480 |
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 14482-14497 |
|
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 |
|