| 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 17815-17817 | |
| (externalImage Illuminated "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ Classical_spectacular_laser_effects.jpg") | pictureList.kif 10057-10057 | |
| (externalImage Illuminated "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ Gluehlampe_01_KMJ.png") | pictureList.kif 11196-11196 | |
| (externalImage Illuminated "http://upload.wikimedia.org/wikipedia/commons/ e/ e7/ BWLight.jpg") | pictureList.kif 11197-11197 | |
| (externalImage Illuminated "http://upload.wikimedia.org/wikipedia/commons/ f/ f2/ Architect_lamps.jpg") | pictureList.kif 11198-11198 | |
| (instance Illuminated VisualAttribute) | Merge.kif 17814-17814 |
| appearance as argument number 2 |
|
|
| (contraryAttribute Unilluminated Illuminated) | Merge.kif 17820-17820 | |
| (termFormat ChineseLanguage Illuminated "发光的") | domainEnglishFormat.kif 29312-29312 | |
| (termFormat ChineseTraditionalLanguage Illuminated "發光的") | domainEnglishFormat.kif 29311-29311 | |
| (termFormat EnglishLanguage Illuminated "illuminated") | domainEnglishFormat.kif 29310-29310 |
| 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 3266-3287 | |
| (=> (attribute ?REGION Illuminated) (exists (?EMIT) (and (instance ?EMIT RadiatingLight) (patient ?EMIT ?REGION) (instance ?REGION Region)))) |
Merge.kif 13801-13807 |
| consequent |
|
|
| (=> (and (instance ?EMIT RadiatingLight) (patient ?EMIT ?REGION) (instance ?REGION Region)) (attribute ?REGION Illuminated)) |
Merge.kif 13794-13799 | |
| (=> (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 13674-13679 | |
| (=> (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 16525-16537 |
|
|
|