Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| contrastRatio |
| appearance as argument number 1 |
|
| (instance contrastRatio BinaryPredicate) | ComputingBrands.kif 3629-3629 | contrast ratio is an instance of binary predicate |
| (domain contrastRatio 1 Object) | ComputingBrands.kif 3630-3630 | The number 1 argument of contrast ratio is an instance of object |
| (domain contrastRatio 2 RealNumber) | ComputingBrands.kif 3631-3631 | The number 2 argument of contrast ratio is an instance of real number |
| (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 3635-3639 | The number 2 argument of contrast ratio is an instance of real number |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage contrastRatio "contrast ratio") | ComputingBrands.kif 3632-3632 | |
| (format EnglishLanguage contrastRatio "the contrast ratio of %1 is %2") | ComputingBrands.kif 3633-3633 |
| 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 3641-3662 | If All of the following hold: (1) the measure of X is Y lumen(s) (2) the measure of Z is W lumen(s) (3) X is a part of V (4) Z is a part of V (5) equal X and Z (6) Y is greater than W (7) equal Y, W, and U (8) the contrast ratio of V is U, then there don't exist T, S,, , R and Q such that the measure of T is R lumen(s) and the measure of S is Q lumen(s) and T is a part of V and S is a part of V and equal T and S and R is greater than Q and R and Q is greater than U |
|