Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - contrastRatio
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 The number 1 argument of contrast ratio is an instance of object
(domain contrastRatio 2 RealNumber) ComputingBrands.kif 3725-3725 The number 2 argument of contrast ratio is an instance of real number
(instance contrastRatio BinaryPredicate) ComputingBrands.kif 3723-3723 contrast ratio is an instance of binary predicate

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


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