|
|
  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 | 例 流明 and CompositeUnitOfMeasure |
| (instance Lumen SystemeInternationalUnit) | Merge.kif 7020-7020 | 例 流明 and SystemeInternationalUnit |
| 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 |
|
|
|
|
|