TreeView Knowledge Base Browser

appearance as argument number 1

(instance Candela CompositeUnitOfMeasure)	Merge.kif 6878-6878	Candela is an instance of composite unit of measure
(instance Candela SystemeInternationalUnit)	Merge.kif 6879-6879	Candela is an instance of systeme international unit
(documentation Candela EnglishLanguage "SI luminosity intensity measure. Symbol: cd. It is one of the base units in SI, and it is currently defined as follows: the Candela is the luminous intensity, in a given direction, of a source that emits monochromatic radiation of frequency 540*10^12 Hertz and that has a radiant intensity in that direction of 1/ 683 Watt per Steradian.")	Merge.kif 6881-6886	Candela is an instance of systeme international unit
(externalImage Candela "http://upload.wikimedia.org/wikipedia/commons/5/ 5f/ Spectrum4websiteEval.png")	pictureList.kif 5896-5896	Candela is an instance of systeme international unit

appearance as argument number 2

(termFormat EnglishLanguage Candela "candela")	domainEnglishFormat.kif 12943-12943
(termFormat ChineseTraditionalLanguage Candela "坎德拉")	domainEnglishFormat.kif 12944-12944
(termFormat ChineseLanguage Candela "坎德拉")	domainEnglishFormat.kif 12945-12945

antecedent

(=>
    (and
        (visibilityInMeteorology ?Area ?Time
            (MeasureFn ?Distance ?U))
        (instance ?U UnitOfMeasure)
        (instance ?Time NightTime)
        (instance ?Observe Looking)
        (instance ?B Region)
        (attribute ?B Illuminated)
        (measure ?B
            (MeasureFn 1000.0 Candela))
        (agent ?Observe ?A)
        (patient ?Observe ?B)
        (orientation ?A ?B Horizontal)
        (eventLocated ?Observe ?Area)
        (during
            (WhenFn ?Observe) ?Time)
        (instance ?B Object))
    (exists (?D2)
        (and
            (distance ?A ?B
                (MeasureFn ?D2 ?U))
            (greaterThan ?Distance ?D2))))

If All of the following hold: (1) the visibility at X during Y is Z W(s) (2) W is an instance of unit of measure (3) Y is an instance of night time (4) V is an instance of looking (5) U is an instance of region (6) illuminated is an attribute of U (7) the measure of U is 1000.0 candela(s) (8) T is an agent of V (9) U is a patient of V (10) T is horizontal to to U (11) V is located at X (12) the time of existence of V takes place during Y (13) U is an instance of object, then there exists S such that the distance between T and U is S W(s) and Z is greater than S