| 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 14668-14670 | |
| (subclass MediaSystem Collection) | Mid-level-ontology.kif 14667-14667 |
| appearance as argument number 2 |
|
|
| (subclass AppleIPod MediaSystem) | ComputingBrands.kif 817-817 | |
| (subclass AudioCDSystem MediaSystem) | Media.kif 1204-1204 | |
| (subclass DVDSystem MediaSystem) | Media.kif 1269-1269 | |
| (subclass MultimediaProjector MediaSystem) | Mid-level-ontology.kif 26488-26488 | |
| (subclass VCRSystem MediaSystem) | Media.kif 1382-1382 | |
| (subclass VideoGamePlayer MediaSystem) | Mid-level-ontology.kif 26147-26147 | |
| (termFormat EnglishLanguage MediaSystem "media system") | Mid-level-ontology.kif 14671-14671 |
| 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 14673-14688 |
| 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 |
|
|
|