| 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 15821-15823 | |
| (subclass MediaSystem Collection) | Mid-level-ontology.kif 15820-15820 |
| appearance as argument number 2 |
|
|
| (subclass AppleIPod MediaSystem) | ComputingBrands.kif 817-817 | |
| (subclass AudioCDSystem MediaSystem) | Media.kif 1206-1206 | |
| (subclass DVDSystem MediaSystem) | Media.kif 1271-1271 | |
| (subclass MultimediaProjector MediaSystem) | Mid-level-ontology.kif 28125-28125 | |
| (subclass VCRSystem MediaSystem) | Media.kif 1384-1384 | |
| (subclass VideoGamePlayer MediaSystem) | Mid-level-ontology.kif 27783-27783 | |
| (termFormat EnglishLanguage MediaSystem "media system") | Mid-level-ontology.kif 15824-15824 |
| 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 15826-15841 |
| 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 1517-1530 |
|
|
|