| 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 16475-16477 | |
| (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 16474-16474 |
| appearance as argument number 2 |
|
|
| (contraryAttribute Unilluminated Illuminated) | Merge.kif 16480-16480 | |
| (termFormat ChineseLanguage Illuminated "发光的") | domainEnglishFormat.kif 29299-29299 | |
| (termFormat ChineseTraditionalLanguage Illuminated "發光的") | domainEnglishFormat.kif 29298-29298 | |
| (termFormat EnglishLanguage Illuminated "illuminated") | domainEnglishFormat.kif 29297-29297 |
| 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 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 2743-2764 |
| consequent |
|
|
| (<=> (exists (?EMIT) (and (instance ?EMIT RadiatingLight) (patient ?EMIT ?REGION) (instance ?REGION Region))) (attribute ?REGION Illuminated)) |
Merge.kif 12684-12690 | |
| (=> (and (instance ?REGION GeographicArea) (located ?REGION AntarcticArea)) (exists (?DAY) (and (instance ?DAY Day) (holdsDuring ?DAY (not (attribute ?REGION Illuminated)))))) |
Geography.kif 3512-3521 | |
| (=> (and (instance ?REGION GeographicArea) (located ?REGION ArcticRegion)) (exists (?DAY) (and (instance ?DAY Day) (holdsDuring ?DAY (not (attribute ?REGION Illuminated)))))) |
Geography.kif 3451-3460 | |
| (=> (and (instance ?SEE Seeing) (patient ?SEE ?OBJ)) (holdsDuring (WhenFn ?SEE) (attribute ?OBJ Illuminated))) |
Merge.kif 12564-12569 | |
| (=> (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 12869-12881 |
|
|
|