Illuminated - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Illuminated ChineseLanguage "这是在某程度上被照亮 Region 的 Attribute，也就是说视觉可以识别它的某些形状。")	Merge.kif 18076-18077
(documentation Illuminated EnglishLanguage "The Attribute of Regions that are illuminated to some degree, i.e. in which some shapes are visually discernable.")	Merge.kif 18073-18075
(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 18072-18072	Illuminated is an instance of visual attribute

appearance as argument number 2

(contraryAttribute Unilluminated Illuminated)	Merge.kif 18080-18080	Unilluminated is the opposite of illuminated
(termFormat EnglishLanguage Illuminated "illuminated")	domainEnglishFormat.kif 5301-5301	"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 1155-1172

If the visibility at a region during a time interval is a length measure and the time interval is an instance of night time and a process is an instance of looking and an object is an instance of region and illuminated is an attribute of the object and the measure of the object is 1000 candela(s) and an agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the process is located at 2 and the time of existence of the process takes place during the time interval and the object is an instance of object,
then the distance between the agent and the object is another length measure and the length measure is greater than the other length measure

consequent

(<=> (exists (?EMIT) (and (instance ?EMIT RadiatingLight) (patient ?EMIT ?REGION) (instance ?REGION Region))) (attribute ?REGION Illuminated))	Merge.kif 13627-13633	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 3456-3465	If a physical is an instance of geographic area and the physical is located at antarctic area, then there exists a time position such that the time position is an instance of day and illuminated is not an attribute of the physical holds during the time position
(=> (and (instance ?REGION GeographicArea) (located ?REGION ArcticRegion)) (exists (?DAY) (and (instance ?DAY Day) (holdsDuring ?DAY (not (attribute ?REGION Illuminated))))))	Geography.kif 3416-3425	If a physical is an instance of geographic area and the physical is located at arctic region, then there exists a time position such that the time position is an instance of day and illuminated is not an attribute of the physical holds during the time position
(=> (and (instance ?SEE Seeing) (patient ?SEE ?OBJ)) (holdsDuring (WhenFn ?SEE) (attribute ?OBJ Illuminated)))	Merge.kif 13488-13493	If a process is an instance of seeing and an entity is a patient of the process, then illuminated is an attribute of the entity holds during the time of existence of the process
(=> (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 12842-12854	If translucent is an attribute of an object, then the statement there exists an entity such that the entity is an instance of radiating light and another entity is a resource for the entity and the entity ends up at the objectBJ and the object is between the other entity and the objectBJ and illuminated is an attribute of the objectBJ holds during the time of existence of the entity has the modal force of possibility

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

KB Term:			Term intersection

English Word: