DVD
|
|
appearance as argument number 1 |
(diskTypeForDrive DVD DVDDrive) | ComputerInput.kif 781-781 | DVDDrive reads 或 writes DVD |
(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 and DigitalDataStorageDevice |
(subclass DVD OpticalDisc) | Media.kif 1255-1255 | 子類 DVD and OpticalDisc |
appearance as argument number 2 |
(disjoint BluRayDisc DVD) | Media.kif 1190-1190 | 不相交的 BluRayDisc and DVD |
(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 |