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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Illuminated
Illuminated(发光的)

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 17385-17387
(externalImage Illuminated "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ Classical_spectacular_laser_effects.jpg") pictureList.kif 10068-10068
(externalImage Illuminated "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ Gluehlampe_01_KMJ.png") pictureList.kif 11219-11219
(externalImage Illuminated "http://upload.wikimedia.org/wikipedia/commons/ e/ e7/ BWLight.jpg") pictureList.kif 11220-11220
(externalImage Illuminated "http://upload.wikimedia.org/wikipedia/commons/ f/ f2/ Architect_lamps.jpg") pictureList.kif 11221-11221
(instance Illuminated VisualAttribute) Merge.kif 17384-17384 发光的视觉属性instance

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


(contraryAttribute Unilluminated Illuminated) Merge.kif 17390-17390 无光的发光的 的相反
(termFormat ChineseLanguage Illuminated "发光的") domainEnglishFormat.kif 29292-29292
(termFormat ChineseTraditionalLanguage Illuminated "發光的") domainEnglishFormat.kif 29291-29291
(termFormat EnglishLanguage Illuminated "illuminated") domainEnglishFormat.kif 29290-29290

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))))
Weather.kif 2749-2770
(=>
    (attribute ?REGION Illuminated)
    (exists (?EMIT)
        (and
            (instance ?EMIT RadiatingLight)
            (patient ?EMIT ?REGION)
            (instance ?REGION Region))))
Merge.kif 13416-13422

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


(=>
    (and
        (instance ?EMIT RadiatingLight)
        (patient ?EMIT ?REGION)
        (instance ?REGION Region))
    (attribute ?REGION Illuminated))
Merge.kif 13409-13414
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION AntarcticArea))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))
Geography.kif 3553-3562
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION ArcticRegion))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))
Geography.kif 3492-3501
(=>
    (and
        (instance ?SEE Seeing)
        (patient ?SEE ?OBJ))
    (holdsDuring
        (WhenFn ?SEE)
        (attribute ?OBJ Illuminated)))
Merge.kif 13289-13294
(=>
    (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 14616-14628


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