DVD
|
|
appearance as argument number 1 |
(diskTypeForDrive DVD DVDDrive) | ComputerInput.kif 781-781 | diskTypeForDrive DVD and DVDDrive |
(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 | DVD ist eine teilkategorie von DigitalDataStorageDevice |
(subclass DVD OpticalDisc) | Media.kif 1255-1255 | DVD ist eine teilkategorie von OpticalDisc |
appearance as argument number 2 |
(disjoint BluRayDisc DVD) | Media.kif 1190-1190 | BluRayDisc ist dijunkt von DVD %n{nicht} |
(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 |
|