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


KB Term:  Term intersection
English Word: 

  Illuminated

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

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


(instance Illuminated VisualAttribute) Merge.kif 18003-18003 Illuminated is an instance of visual attribute
(documentation Illuminated EnglishLanguage "The Attribute of Regions that are illuminated to some degree, i.e. in which some shapes are visually discernable.") Merge.kif 18004-18006 Illuminated is an instance of visual attribute
(externalImage Illuminated "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ Classical_spectacular_laser_effects.jpg") pictureList.kif 10057-10057 Illuminated is an instance of visual attribute
(externalImage Illuminated "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ Gluehlampe_01_KMJ.png") pictureList.kif 11196-11196 Illuminated is an instance of visual attribute
(externalImage Illuminated "http://upload.wikimedia.org/wikipedia/commons/ e/ e7/ BWLight.jpg") pictureList.kif 11197-11197 Illuminated is an instance of visual attribute
(externalImage Illuminated "http://upload.wikimedia.org/wikipedia/commons/ f/ f2/ Architect_lamps.jpg") pictureList.kif 11198-11198 Illuminated is an instance of visual attribute

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


(contraryAttribute Unilluminated Illuminated) Merge.kif 18009-18009 Unilluminated is the opposite of illuminated
(termFormat EnglishLanguage Illuminated "illuminated") domainEnglishFormat.kif 29303-29303 Unilluminated is the opposite of illuminated
(termFormat ChineseTraditionalLanguage Illuminated "發光的") domainEnglishFormat.kif 29304-29304 Unilluminated is the opposite of illuminated
(termFormat ChineseLanguage Illuminated "发光的") domainEnglishFormat.kif 29305-29305 Unilluminated is the opposite of illuminated

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


(=>
    (attribute ?REGION Illuminated)
    (exists (?EMIT)
        (and
            (instance ?EMIT RadiatingLight)
            (patient ?EMIT ?REGION)
            (instance ?REGION Region))))		 Merge.kif 13972-13978 If illuminated is an attribute of X, then there exists Y such that Y is an instance of radiating light, X is a patient of Y, and X is an instance of region
(=>
    (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 4017-4038 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

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


(=>
    (and
        (instance ?SEE Seeing)
        (patient ?SEE ?OBJ))
    (holdsDuring
        (WhenFn ?SEE)
        (attribute ?OBJ Illuminated)))		 Merge.kif 13845-13850 If X is an instance of seeing and Y is a patient of X, then illuminated is an attribute of Y holds during the time of existence of X
(=>
    (and
        (instance ?EMIT RadiatingLight)
        (patient ?EMIT ?REGION)
        (instance ?REGION Region))
    (attribute ?REGION Illuminated))		 Merge.kif 13965-13970 If X is an instance of radiating light, Y is a patient of X, and Y is an instance of region, then illuminated is an attribute of Y
(=>
    (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 16727-16739 If translucent is an attribute of X, then All of the following hold: (1) the statement there exist Y, Z (2) W such that Y is an instance of radiating light (3) Z is a resource for Y (4) Y ends up at W (5) X is between Z (6) W (7) illuminated is an attribute of W holds during the time of existence of Y has the modal force of possibility
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION ArcticRegion))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))		 Geography.kif 4996-5005 If X is an instance of geographic area and X is located at arctic region, then there exists Y such that Y is an instance of day and illuminated is not an attribute of X holds during Y
(=>
    (and
        (instance ?REGION GeographicArea)
        (located ?REGION AntarcticArea))
    (exists (?DAY)
        (and
            (instance ?DAY Day)
            (holdsDuring ?DAY
                (not
                    (attribute ?REGION Illuminated))))))		 Geography.kif 5059-5068 If X is an instance of geographic area and X is located at antarctic area, then there exists Y such that Y is an instance of day and illuminated is not an attribute of X holds during Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners