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 1252-1255 | diskTypeForDrive DVD and DVDDrive |
(subclass DVD DigitalDataStorageDevice) | Media.kif 1256-1256 | DVD est une sous-classe de DigitalDataStorageDevice |
(subclass DVD OpticalDisc) | Media.kif 1257-1257 | DVD est une sous-classe de OpticalDisc |
appearance as argument number 2 |
![]() |
(disjoint BluRayDisc DVD) | Media.kif 1192-1192 | BluRayDisc est disjoint de DVD |
(termFormat EnglishLanguage DVD "DVD") | domainEnglishFormat.kif 64729-64729 | BluRayDisc est disjoint de DVD |
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 1259-1269 |
consequent |
![]() |
![]() |
![]() |