BluRayDisc - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint BluRayDisc CompactDisc)	Media.kif 1189-1189	Blu ray disc is disjoint from compact disc
(disjoint BluRayDisc DVD)	Media.kif 1190-1190	Blu ray disc is disjoint from DVD
(diskTypeForDrive BluRayDisc BluRayDrive)	ComputerInput.kif 785-785	Blu ray drive reads or writes blu ray disc
(documentation BluRayDisc EnglishLanguage "A type of CompactDisc that has significantly more storage than a DVD.")	Media.kif 1188-1188	Blu ray drive reads or writes blu ray disc
(subclass BluRayDisc OpticalDisc)	Media.kif 1187-1187	Blu ray disc is a subclass of optical disc

appearance as argument number 2

(termFormat EnglishLanguage BluRayDisc "blu ray disc")

domainEnglishFormat.kif 64595-64595

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