| 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 12136-12138 | |
| (subclass MediaSystem Collection) | Mid-level-ontology.kif 12135-12135 |
| appearance as argument number 2 |
|
|
| (subclass AppleIPod MediaSystem) | ComputingBrands.kif 792-792 | |
| (subclass AudioCDSystem MediaSystem) | Media.kif 1208-1208 | |
| (subclass DVDSystem MediaSystem) | Media.kif 1273-1273 | |
| (subclass MultimediaProjector MediaSystem) | Mid-level-ontology.kif 24328-24328 | |
| (subclass VCRSystem MediaSystem) | Media.kif 1386-1386 | |
| (subclass VideoGamePlayer MediaSystem) | Mid-level-ontology.kif 23917-23917 | |
| (termFormat EnglishLanguage MediaSystem "media system") | Mid-level-ontology.kif 12139-12139 |
| 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 12141-12156 |
| 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 1468-1481 |
|
|
|