Lumen - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Lumen ChineseLanguage "这是国际单位制的光通量单位。符号：lm。这是从一个光源发射1 Candela 强度的光通过1 Steradian 的立体角向外散发的光通量。Lumen = cdsr = 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 = cdsr = cd 1.")	Merge.kif 7022-7025
(documentation Lumen JapaneseLanguage "SI発光フラックスメジャー。シンボル: lm。1 Candela の強度を有する均一な点源から1 Steradian の1つの固体角度を通って外側に流れる量である。Lumen = cdsr = cd 1。")	japanese_format.kif 1266-1268
(instance Lumen CompositeUnitOfMeasure)	Merge.kif 7019-7019
(instance Lumen SystemeInternationalUnit)	Merge.kif 7020-7020

appearance as argument number 2

(termFormat ChineseLanguage Lumen "流明")	domainEnglishFormat.kif 35338-35338
(termFormat ChineseTraditionalLanguage Lumen "流明")	domainEnglishFormat.kif 35337-35337
(termFormat EnglishLanguage Lumen "lumen")	domainEnglishFormat.kif 35336-35336

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

KB Term:			Term intersection

English Word: