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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Lumen
Lumen(lumen)flux, lm, lumen

appearance as argument number 1
-------------------------


(documentation Lumen ChineseLanguage "这是国际单位制的光通量单位。符号:lm。这是从一个光源发射1 Candela 强度的光通过1 Steradian 的立体角向外散发的光通量。Lumen = cd*sr = cd * 1。") chinese_format.kif 2563-2564
(documentation Lumen EnglishLanguage "SI luminous flux measure. Symbol: lm. It is the amount streaming outward through one solid angle of 1 Steradian from a uniform point source having an intensity of one Candela. Lumen = cd*sr = cd * 1.") Merge.kif 7022-7025
(documentation Lumen JapaneseLanguage "SI発光フラックスメジャー。シンボル: lm。1 Candela の 強度を有する均一な点源から1 Steradian の1つの固体角度を通って外側に流れる量である。Lumen = cd*sr = cd * 1。") japanese_format.kif 1266-1268
(instance Lumen CompositeUnitOfMeasure) Merge.kif 7019-7019 Lumen is an instance of composite unit of measure
(instance Lumen SystemeInternationalUnit) Merge.kif 7020-7020 Lumen is an instance of systeme international unit

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Lumen "流明") domainEnglishFormat.kif 35309-35309
(termFormat ChineseTraditionalLanguage Lumen "流明") domainEnglishFormat.kif 35308-35308
(termFormat EnglishLanguage Lumen "lumen") domainEnglishFormat.kif 35307-35307

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

consequent
-------------------------


(=>
    (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
(=>
    (instance ?F Flickering)
    (exists (?T1 ?T2 ?N1 ?N2)
        (and
            (during ?T1
                (WhenFn ?F))
            (holdsDuring ?T1
                (measure ?F
                    (MeasureFn ?N1 Lumen)))
            (during ?T2
                (WhenFn ?F))
            (holdsDuring ?T2
                (measure ?F
                    (MeasureFn ?N2 Lumen)))
            (not
                (equal ?T1 ?T2))
            (not
                (equal ?N1 ?N2)))))
ComputingBrands.kif 3519-3530


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