AudioCDSystem | ![]() |
appearance as argument number 1 |
![]() |
(documentation AudioCDSystem EnglishLanguage "AudioCDSystem is a type of MediaSystem that plays AudioRecording") | Media.kif 1207-1208 | |
(subclass AudioCDSystem MediaSystem) | Media.kif 1206-1206 |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage AudioCDSystem "cd player") | Media.kif 1209-1209 |
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 1211-1225 |
![]() |
![]() |