contrastRatio |
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 3729-3733 | |
(domain contrastRatio 1 Object) | ComputingBrands.kif 3724-3724 | contrastRatio 的 1 数量 是 客体 的 instance |
(domain contrastRatio 2 RealNumber) | ComputingBrands.kif 3725-3725 | contrastRatio 的 2 数量 是 实数 的 instance |
(instance contrastRatio BinaryPredicate) | ComputingBrands.kif 3723-3723 | contrastRatio 是 二元谓语 的 instance |
appearance as argument number 2 |
(format EnglishLanguage contrastRatio "the contrast ratio of %1 is %2") | ComputingBrands.kif 3727-3727 | |
(termFormat EnglishLanguage contrastRatio "contrast ratio") | ComputingBrands.kif 3726-3726 |
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 3735-3756 |
|