DVD
|
|
appearance as argument number 1 |
(diskTypeForDrive DVD DVDDrive) | ComputerInput.kif 781-781 | |
(documentation DVD EnglishLanguage "An instance of DVD (Digital Versatile Disk) is a disc-shaped DigitalDataStorageDevice similar to a CompactDisc, but with a larger storage capacity.") | Media.kif 1250-1253 | |
(subclass DVD DigitalDataStorageDevice) | Media.kif 1254-1254 | |
(subclass DVD OpticalDisc) | Media.kif 1255-1255 |
appearance as argument number 2 |
(disjoint BluRayDisc DVD) | Media.kif 1190-1190 | |
(termFormat EnglishLanguage DVD "DVD") | domainEnglishFormat.kif 64737-64737 |
antecedent |
(=> (and (instance ?X DVD) (instance ?READ Decoding) (patient ?READ ?X)) (exists (?LASER) (and (instance ?LASER RadiatingLight) (instrument ?READ ?LASER) (wavelength ?LASER (MeasureFn 650 Nanometer))))) |
Media.kif 1257-1267 |
consequent |
(=> (instance ?X DVDSystem) (hasPurpose ?X (exists (?DVD ?PROC) (and (instance ?DVD DVD) (instrument ?PROC ?X) (patient ?PROC ?DVD) (or (exists (?VIDEO ?DVIDEO ?RL) (and (instance ?VIDEO VideoRecording) (represents ?DVIDEO ?VIDEO) (part ?DVIDEO ?DVD) (instance ?RL RadiatingLight) (subProcess ?RL ?PROC) (instrument ?RL ?X) (patient ?RL ?VIDEO))) (exists (?AUDIO ?DAUDIO ?RS) (and (instance ?AUDIO AudioRecording) (represents ?DAUDIO ?AUDIO) (part ?DAUDIO ?DVD) (instance ?RS RadiatingSound) (subProcess ?RS ?PROC) (instrument ?RS ?X) (patient ?RS ?AUDIO)))))))) |
Media.kif 1275-1301 |