|
|
   VCRSystem
|
|
|
| appearance as argument number 1 |
|
|
| (documentation VCRSystem EnglishLanguage "VCRSystem is a type of MediaSystem that can play AudioRecording and VideoRecording that is stored in a VHS") | Media.kif 1383-1384 | |
| (subclass VCRSystem MediaSystem) | Media.kif 1382-1382 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage VCRSystem "vcr system") | Media.kif 1385-1385 |
| antecedent |
|
|
| (=> (instance ?VCR VCRSystem) (hasPurpose ?VCR (exists (?VHS ?PROC ?VIDEO ?AVIDEO ?RL ?AUDIO ?AAUDIO ?RS) (and (instance ?VHS VHSCassette) (instrument ?PROC ?VCR) (patient ?PROC ?VHS) (instance ?VIDEO VideoRecording) (represents ?AVIDEO ?VIDEO) (part ?VIDEO ?VHS) (instance ?AUDIO AudioRecording) (represents ?AAUDIO ?AUDIO) (part ?AAUDIO ?AVIDEO) (part ?AUDIO ?VHS) (instance ?RL RadiatingLight) (patient ?RL ?VIDEO) (subProcess ?RL ?PROC) (instance ?RS RadiatingSound) (patient ?RS ?AUDIO) (subProcess ?RS ?PROC))))) |
Media.kif 1387-1407 |
|
|
|