| 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 3724-3728 | |
| (domain contrastRatio 1 Object) | ComputingBrands.kif 3719-3719 | contrastRatio の数値 1 引数は オブジェクト の instance では |
| (domain contrastRatio 2 RealNumber) | ComputingBrands.kif 3720-3720 | contrastRatio の数値 2 引数は 実数 の instance では |
| (instance contrastRatio BinaryPredicate) | ComputingBrands.kif 3718-3718 | contrastRatio は 2進述語 の instance では |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage contrastRatio "the contrast ratio of %1 is %2") | ComputingBrands.kif 3722-3722 | |
| (termFormat EnglishLanguage contrastRatio "contrast ratio") | ComputingBrands.kif 3721-3721 |
| 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 3730-3751 |
|
|
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 3.0 is open source software produced by Articulate Software and its partners