AudioCDSystem
|
|
appearance as argument number 1 |
(documentation AudioCDSystem EnglishLanguage "AudioCDSystem is a type of MediaSystem that plays AudioRecording") | Media.kif 1205-1206 | |
(subclass AudioCDSystem MediaSystem) | Media.kif 1204-1204 | 子類 AudioCDSystem and MediaSystem |
appearance as argument number 2 |
(termFormat EnglishLanguage AudioCDSystem "cd player") | Media.kif 1207-1207 |
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 1209-1223 |
|