BluRayDisc - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint BluRayDisc CompactDisc)	Media.kif 1189-1189
(disjoint BluRayDisc DVD)	Media.kif 1190-1190
(diskTypeForDrive BluRayDisc BluRayDrive)	ComputerInput.kif 785-785
(documentation BluRayDisc EnglishLanguage "A type of CompactDisc that has significantly more storage than a DVD.")	Media.kif 1188-1188
(subclass BluRayDisc OpticalDisc)	Media.kif 1187-1187

appearance as argument number 2

(termFormat EnglishLanguage BluRayDisc "blu ray disc")

domainEnglishFormat.kif 64549-64549

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 1192-1202