|
|
   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 14449-14451 | |
| (subclass MediaSystem Collection) | Mid-level-ontology.kif 14448-14448 | MediaSystem は コレクション の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass AppleIPod MediaSystem) | ComputingBrands.kif 817-817 | IPod は MediaSystem の subclass では %n |
| (subclass AudioCDSystem MediaSystem) | Media.kif 1204-1204 | AudioCDSystem は MediaSystem の subclass では %n |
| (subclass DVDSystem MediaSystem) | Media.kif 1269-1269 | DVDSystem は MediaSystem の subclass では %n |
| (subclass MultimediaProjector MediaSystem) | Mid-level-ontology.kif 26212-26212 | MultimediaProjector は MediaSystem の subclass では %n |
| (subclass VCRSystem MediaSystem) | Media.kif 1382-1382 | VCRSystem は MediaSystem の subclass では %n |
| (subclass VideoGamePlayer MediaSystem) | Mid-level-ontology.kif 25871-25871 | VideoGamePlayer は MediaSystem の subclass では %n |
| (termFormat EnglishLanguage MediaSystem "media system") | Mid-level-ontology.kif 14452-14452 |
| 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 14454-14469 |
|
| 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 |
|
|
|
|