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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Illuminated

 Sigma KEE - Illuminated
Illuminated

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


(documentation Illuminated ChineseLanguage "这是在某程度上被照亮 Region 的 Attribute，也 就是说视觉可以识别它的某些形状。") 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 17736-17738
(externalImage Illuminated "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ Classical_spectacular_laser_effects.jpg") pictureList.kif 10058-10058
(externalImage Illuminated "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ Gluehlampe_01_KMJ.png") pictureList.kif 11202-11202
(externalImage Illuminated "http://upload.wikimedia.org/wikipedia/commons/ e/ e7/ BWLight.jpg") pictureList.kif 11203-11203
(externalImage Illuminated "http://upload.wikimedia.org/wikipedia/commons/ f/ f2/ Architect_lamps.jpg") pictureList.kif 11204-11204
(instance Illuminated VisualAttribute) Merge.kif 17735-17735 Illuminated est une instance de attribut visuel

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


(contraryAttribute Unilluminated Illuminated) Merge.kif 17741-17741 Unilluminated est l'oppos� de Illuminated
(termFormat ChineseLanguage Illuminated "发光的") domainEnglishFormat.kif 29330-29330 Unilluminated est l'oppos� de Illuminated
(termFormat ChineseTraditionalLanguage Illuminated "發光的") domainEnglishFormat.kif 29329-29329 Unilluminated est l'oppos� de Illuminated
(termFormat EnglishLanguage Illuminated "illuminated") domainEnglishFormat.kif 29328-29328 Unilluminated est l'oppos� de Illuminated

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 2733-2754
(=>
    (attribute ?REGION Illuminated)
    (exists (?EMIT)
        (and
            (instance ?EMIT RadiatingLight)
            (patient ?EMIT ?REGION)
            (instance ?REGION Region))))		 Merge.kif 13722-13728

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


(=>
    (and
        (instance ?EMIT RadiatingLight)
        (patient ?EMIT ?REGION)
        (instance ?REGION Region))
    (attribute ?REGION Illuminated))		 Merge.kif 13715-13720
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION AntarcticArea))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))		 Geography.kif 3619-3628
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION ArcticRegion))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))		 Geography.kif 3558-3567
(=>
    (and
        (instance ?SEE Seeing)
        (patient ?SEE ?OBJ))
    (holdsDuring
        (WhenFn ?SEE)
        (attribute ?OBJ Illuminated)))		 Merge.kif 13595-13600
(=>
    (attribute ?O Translucent)
    (modalAttribute
        (exists (?EMIT ?S ?OBJ)
            (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 15402-15414


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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