BluRayDisc - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint BluRayDisc CompactDisc)	Media.kif 1193-1193
(disjoint BluRayDisc DVD)	Media.kif 1194-1194
(diskTypeForDrive BluRayDisc BluRayDrive)	ComputerInput.kif 814-814
(documentation BluRayDisc EnglishLanguage "A type of CompactDisc that has significantly more storage than a DVD.")	Media.kif 1192-1192
(subclass BluRayDisc OpticalDisc)	Media.kif 1191-1191

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 1196-1206