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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Illuminated
Illuminated(illuminated)
brightness, cloudiness, dimness, duskiness, glint, illuminated, illumination, light, lighting, moonlit, moony, obscureness, obscurity, overcast, penumbra, semidarkness, shade, shadiness, shadowiness, umbra, 发光的, 發光的

appearance as argument number 1
-------------------------


(documentation Illuminated ChineseLanguage "这是在某程度上被照亮 RegionAttribute,也 就是说视觉可以识别它的某些形状。") chinese_format.kif 3941-3942
(documentation Illuminated EnglishLanguage "The Attribute of Regions that are illuminated to some degree, i.e. in which some shapes are visually discernable.") Merge.kif 16303-16305
(externalImage Illuminated "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ Classical_spectacular_laser_effects.jpg") pictureList.kif 10078-10078 "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Classical_spectacular_laser_effects.jpg" is a URL depicting illuminated
(externalImage Illuminated "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ Gluehlampe_01_KMJ.png") pictureList.kif 11230-11230 "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Gluehlampe_01_KMJ.png" is a URL depicting illuminated
(externalImage Illuminated "http://upload.wikimedia.org/wikipedia/commons/ e/ e7/ BWLight.jpg") pictureList.kif 11231-11231 "http://upload.wikimedia.org/wikipedia/commons/e/e7/ BWLight.jpg" is a URL depicting illuminated
(externalImage Illuminated "http://upload.wikimedia.org/wikipedia/commons/ f/ f2/ Architect_lamps.jpg") pictureList.kif 11232-11232 "http://upload.wikimedia.org/wikipedia/commons/f/f2/ Architect_lamps.jpg" is a URL depicting illuminated
(instance Illuminated VisualAttribute) Merge.kif 16302-16302 Illuminated is an instance of visual attribute

appearance as argument number 2
-------------------------


(contraryAttribute Unilluminated Illuminated) Merge.kif 16308-16308 Unilluminated is the opposite of illuminated
(termFormat ChineseLanguage Illuminated "发光的") domainEnglishFormat.kif 29209-29209 "发光的" is the printable form of illuminated in ChineseLanguage
(termFormat ChineseTraditionalLanguage Illuminated "發光的") domainEnglishFormat.kif 29208-29208 "發光的" is the printable form of illuminated in ChineseTraditionalLanguage
(termFormat EnglishLanguage Illuminated "illuminated") domainEnglishFormat.kif 29207-29207 "illuminated" is the printable form of illuminated in english language

antecedent
-------------------------


(=>
    (and
        (visibilityInMeteorology ?Area ?Time ?Distance)
        (instance ?Time NightTime)
        (instance ?Observe Looking)
        (instance ?B Region)
        (attribute ?B Illuminated)
        (measure ?B
            (MeasureFn 1000 Candela))
        (agent ?Observe ?A)
        (patient ?Observe ?B)
        (orientation ?A ?B Horizontal)
        (eventLocated ?Observe ?Area)
        (during
            (WhenFn ?Observe) ?Time)
        (instance ?B Object))
    (and
        (distance ?A ?B ?D2)
        (greaterThan ?Distance ?D2)))
Weather.kif 1252-1269

consequent
-------------------------


(<=>
    (exists (?EMIT)
        (and
            (instance ?EMIT RadiatingLight)
            (patient ?EMIT ?REGION)
            (instance ?REGION Region)))
    (attribute ?REGION Illuminated))
Merge.kif 12531-12537 There exists a process such that the process is an instance of radiating light and an object is a patient of the process and the object is an instance of region if and only if illuminated is an attribute of the object
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION AntarcticArea))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))
Geography.kif 3469-3478
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION ArcticRegion))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))
Geography.kif 3429-3438
(=>
    (and
        (instance ?SEE Seeing)
        (patient ?SEE ?OBJ))
    (holdsDuring
        (WhenFn ?SEE)
        (attribute ?OBJ Illuminated)))
Merge.kif 12411-12416
(=>
    (attribute ?O Translucent)
    (modalAttribute
        (exists (?EMIT)
            (and
                (instance ?EMIT RadiatingLight)
                (resource ?EMIT ?S)
                (destination ?EMIT ?OBJ)
                (between ?S ?O ?OBJ)
                (holdsDuring
                    (WhenFn ?EMIT)
                    (attribute ?OBJ Illuminated)))) Possibility))
Mid-level-ontology.kif 12841-12853


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners