|
|
   VHSCassette
|
|
|
| appearance as argument number 1 |
|
|
| (documentation VHSCassette EnglishLanguage "An instance of VHSCassette is a VideoCassette in which data is encoded in the VHS format.") | Media.kif 1373-1375 | |
| (subclass VHSCassette VideoCassette) | Media.kif 1380-1380 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage VHSCassette "VHS cassette") | domainEnglishFormat.kif 65683-65683 |
| consequent |
|
|
| (=> (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 |
|
|
|