Illuminated - Sigma Knowledge base Browser

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 16396-16398
(externalImage Illuminated "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ Classical_spectacular_laser_effects.jpg")	pictureList.kif 10078-10078
(externalImage Illuminated "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ Gluehlampe_01_KMJ.png")	pictureList.kif 11230-11230
(externalImage Illuminated "http://upload.wikimedia.org/wikipedia/commons/ e/ e7/ BWLight.jpg")	pictureList.kif 11231-11231
(externalImage Illuminated "http://upload.wikimedia.org/wikipedia/commons/ f/ f2/ Architect_lamps.jpg")	pictureList.kif 11232-11232
(instance Illuminated VisualAttribute)	Merge.kif 16395-16395	instance Illuminated and VisualAttribute

appearance as argument number 2

(contraryAttribute Unilluminated Illuminated)	Merge.kif 16401-16401	contraryAttribute Unilluminated and Illuminated
(termFormat ChineseLanguage Illuminated "发光的")	domainEnglishFormat.kif 29203-29203
(termFormat ChineseTraditionalLanguage Illuminated "發光的")	domainEnglishFormat.kif 29202-29202
(termFormat EnglishLanguage Illuminated "illuminated")	domainEnglishFormat.kif 29201-29201

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

visibilityInMeteorology Region, TimeInterval and LengthMeasure instance TimeInterval and NightTime instance Process and Looking instance Object and Region attribute Object and Illuminated measure Object and MeasureFn 1000 and Candela agent Process and Agent patient Process and Object orientation Agent, Object and Horizontal eventLocated Process and Region during WhenFn Process and TimeInterval instance Object and Object
distance Agent, Object and LengthMeasure greaterThan LengthMeasure and LengthMeasure

consequent

(<=> (exists (?EMIT) (and (instance ?EMIT RadiatingLight) (patient ?EMIT ?REGION) (instance ?REGION Region))) (attribute ?REGION Illuminated))	Merge.kif 12622-12628	Process instance Process and RadiatingLight patient Process and Object instance Object and Region attribute Object and Illuminated
(=> (and (instance ?REGION GeographicArea) (located ?REGION AntarcticArea)) (exists (?DAY) (and (instance ?DAY Day) (holdsDuring ?DAY (not (attribute ?REGION Illuminated))))))	Geography.kif 3469-3478	instance Physical and GeographicArea located Physical and AntarcticArea TimePosition instance TimePosition and Day holdsDuring TimePosition and attribute Physical and Illuminated
(=> (and (instance ?REGION GeographicArea) (located ?REGION ArcticRegion)) (exists (?DAY) (and (instance ?DAY Day) (holdsDuring ?DAY (not (attribute ?REGION Illuminated))))))	Geography.kif 3429-3438	instance Physical and GeographicArea located Physical and ArcticRegion TimePosition instance TimePosition and Day holdsDuring TimePosition and attribute Physical and Illuminated
(=> (and (instance ?SEE Seeing) (patient ?SEE ?OBJ)) (holdsDuring (WhenFn ?SEE) (attribute ?OBJ Illuminated)))	Merge.kif 12502-12507	instance Process and Seeing patient Process and Entity holdsDuring WhenFn Process and attribute Entity and Illuminated
(=> (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	attribute Object and Translucent modalAttribute entity instance entity and RadiatingLight resource entity and entity destination entity and ObjectBJ between entity, Object and ObjectBJ holdsDuring WhenFn entity and attribute ObjectBJ and Illuminated and 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: