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 1375-1377 | |
(subclass VHSCassette VideoCassette) | Media.kif 1382-1382 |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage VHSCassette "VHS cassette") | domainEnglishFormat.kif 65675-65675 |
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 1389-1409 |
![]() |
![]() |