TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage BluRayDisc "blu ray disc")

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)))))

If X is an instance of blu ray disc, Y is an instance of decoding, and X is a patient of Y, then there exists Z such that Z is an instance of radiating light and Z is an instrument for Y and the wavelength of Z is 405 nanometer(s)