BluRayDisc - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint BluRayDisc CompactDisc)	Media.kif 1191-1191	BluRayDisc est disjoint de CompactDisc
(disjoint BluRayDisc DVD)	Media.kif 1192-1192	BluRayDisc est disjoint de DVD
(diskTypeForDrive BluRayDisc BluRayDrive)	ComputerInput.kif 785-785	diskTypeForDrive BluRayDisc and BluRayDrive
(documentation BluRayDisc EnglishLanguage "A type of CompactDisc that has significantly more storage than a DVD.")	Media.kif 1190-1190	diskTypeForDrive BluRayDisc and BluRayDrive
(subclass BluRayDisc OpticalDisc)	Media.kif 1189-1189	BluRayDisc est une sous-classe de OpticalDisc

appearance as argument number 2

(termFormat EnglishLanguage BluRayDisc "blu ray disc")

domainEnglishFormat.kif 64541-64541

antecedent

(=>
    (and
        (instance ?X BluRayDisc)
        (instance ?READ Decoding)
        (patient ?READ ?X))
    (exists (?LASER)
        (and
            (instance ?LASER RadiatingLight)
            (instrument ?READ ?LASER)
            (wavelength ?LASER
                (MeasureFn 405 Nanometer)))))

Media.kif 1194-1204