contrastRatio - Sigma Knowledge base Browser

appearance as argument number 1

(documentation contrastRatio EnglishLanguage "The contrast ratio is a property of a display system, defined as the ratio of the luminance of the brightest color (white) to that of the darkest color (black) that the system is capable of producing. A high contrast ratio is a desired aspect of any display. It has similarities with dynamic range. (from Wikipedia)")	ComputingBrands.kif 3709-3713
(domain contrastRatio 1 Object)	ComputingBrands.kif 3704-3704	domain contrastRatio, 1 and Object
(domain contrastRatio 2 RationalNumber)	ComputingBrands.kif 3705-3705	domain contrastRatio, 2 and RationalNumber
(instance contrastRatio BinaryPredicate)	ComputingBrands.kif 3703-3703	instance contrastRatio and BinaryPredicate

appearance as argument number 2

(format EnglishLanguage contrastRatio "the contrast ratio of %1 is %2")	ComputingBrands.kif 3707-3707
(termFormat EnglishLanguage contrastRatio "contrast ratio")	ComputingBrands.kif 3706-3706

antecedent

(=>
    (and
        (measure ?P1
            (MeasureFn ?N1 Lumen))
        (measure ?P2
            (MeasureFn ?N2 Lumen))
        (part ?P1 ?O)
        (part ?P2 ?O)
        (not
            (equal ?P1 ?P2))
        (greaterThan ?N1 ?N2)
        (equal
            (DivisionFn ?N1 ?N2) ?R)
        (contrastRatio ?O ?R))
    (not
        (exists (?P3 ?P4 ?N3 ?N4)
            (and
                (measure ?P3
                    (MeasureFn ?N3 Lumen))
                (measure ?P4
                    (MeasureFn ?N4 Lumen))
                (part ?P3 ?O)
                (part ?P4 ?O)
                (not
                    (equal ?P3 ?P4))
                (greaterThan ?N3 ?N4)
                (greaterThan
                    (DivisionFn ?N3 ?N4) ?R)))))

ComputingBrands.kif 3715-3734

measure Object and MeasureFn RealNumber and Lumen measure Object and MeasureFn RealNumber and Lumen part Object and Object part Object and Object equal Object and Object greaterThan RealNumber and RealNumber equal DivisionFn RealNumber and RealNumber and RationalNumber contrastRatio Object and RationalNumber
Object Object, RealNumber and RealNumber measure Object and MeasureFn RealNumber and Lumen measure Object and MeasureFn RealNumber and Lumen part Object and Object part Object and Object equal Object and Object greaterThan RealNumber and RealNumber greaterThan DivisionFn RealNumber and RealNumber and RationalNumber

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: