| AudioCDSystem | |
| appearance as argument number 1 |
|
|
| (documentation AudioCDSystem EnglishLanguage "AudioCDSystem is a type of MediaSystem that plays AudioRecording") | Media.kif 1209-1210 | |
| (subclass AudioCDSystem MediaSystem) | Media.kif 1208-1208 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AudioCDSystem "cd player") | Media.kif 1211-1211 |
| antecedent |
|
|
| (=> (instance ?PLAYER AudioCDSystem) (hasPurpose ?PLAYER (exists (?DISC ?AUDIO ?RS ?DIGITAL ?PROC) (and (instrument ?PROC ?PLAYER) (patient ?PROC ?DISC) (instance ?DISC CompactDisc) (instance ?AUDIO AudioRecording) (represents ?DIGITAL ?AUDIO) (part ?DIGITAL ?DISC) (instance ?RS RadiatingSound) (subProcess ?RS ?PROC) (instrument ?RS ?PLAYER) (patient ?RS ?DISC))))) |
Media.kif 1213-1227 |
|
|
|