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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Lumen

Sigma KEE - Lumen
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 7021-7024
(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 7018-7018 Lumen est une instance de CompositeUnitOfMeasure
(instance Lumen SystemeInternationalUnit) Merge.kif 7019-7019 Lumen est une instance de syst�me d'unit� international

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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