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 14450-14452 | |
(subclass MediaSystem Collection) | Mid-level-ontology.kif 14449-14449 | MediaSystem est une sous-classe de collection |
appearance as argument number 2 |
(subclass AppleIPod MediaSystem) | ComputingBrands.kif 817-817 | AppleIPod est une sous-classe de MediaSystem |
(subclass AudioCDSystem MediaSystem) | Media.kif 1204-1204 | AudioCDSystem est une sous-classe de MediaSystem |
(subclass DVDSystem MediaSystem) | Media.kif 1269-1269 | DVDSystem est une sous-classe de MediaSystem |
(subclass MultimediaProjector MediaSystem) | Mid-level-ontology.kif 26224-26224 | MultimediaProjector est une sous-classe de MediaSystem |
(subclass VCRSystem MediaSystem) | Media.kif 1382-1382 | VCRSystem est une sous-classe de MediaSystem |
(subclass VideoGamePlayer MediaSystem) | Mid-level-ontology.kif 25883-25883 | VideoGamePlayer est une sous-classe de MediaSystem |
(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 |
|