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	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

If the measure of an object is a real number lumen(s) and the measure of another object is another real number lumen(s) and the object is a part of a third object and the other object is a part of the third object and the object is not equal to the other object and the real number is greater than the other real number and the real number and the other real number is equal to a third real number and the contrast ratio of the third object is the third real number,
then there don't exist a fourth object, a fifth object,, , a fourth real number and a fifth real number such that the measure of the fourth object is the fourth real number lumen(s) and the measure of the fifth object is the fifth real number lumen(s) and the fourth object is a part of the third object and the fifth object is a part of the third object and the fourth object is not equal to the fifth object and the fourth real number is greater than the fifth real number and the fourth real number and the fifth real number is greater than the third real number

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	If the measure of an object is a real number lumen(s) and the measure of another object is another real number lumen(s) and the object is a part of a third object and the other object is a part of the third object and the object is not equal to the other object and the real number is greater than the other real number and the real number and the other real number is equal to a third real number and the contrast ratio of the third object is the third real number, then there don't exist a fourth object, a fifth object,, , a fourth real number and a fifth real number such that the measure of the fourth object is the fourth real number lumen(s) and the measure of the fifth object is the fifth real number lumen(s) and the fourth object is a part of the third object and the fifth object is a part of the third object and the fourth object is not equal to the fifth object and the fourth real number is greater than the fifth real number and the fourth real number and the fifth real number is greater than the third real number
(=> (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	If a physical is an instance of flickering, then there exist a time interval, another time interval,, , an entity and another entity such that the time interval takes place during the time of existence of the physical and the measure of the physical is the entity lumen(s) holds during the time interval and the other time interval takes place during the time of existence of the physical and the measure of the physical is the other entity lumen(s) holds during the other time interval and the time interval is not equal to the other time interval and the entity is not equal to the other entity

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: