| 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 16472-16474 | |
| (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 16471-16471 |
| appearance as argument number 2 |
|
|
| (contraryAttribute Unilluminated Illuminated) | Merge.kif 16477-16477 | |
| (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 ?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 2327-2344 |
| consequent |
|
|
| (<=> (exists (?EMIT) (and (instance ?EMIT RadiatingLight) (patient ?EMIT ?REGION) (instance ?REGION Region))) (attribute ?REGION Illuminated)) |
Merge.kif 12681-12687 | |
| (=> (and (instance ?REGION GeographicArea) (located ?REGION AntarcticArea)) (exists (?DAY) (and (instance ?DAY Day) (holdsDuring ?DAY (not (attribute ?REGION Illuminated)))))) |
Geography.kif 3469-3478 | |
| (=> (and (instance ?REGION GeographicArea) (located ?REGION ArcticRegion)) (exists (?DAY) (and (instance ?DAY Day) (holdsDuring ?DAY (not (attribute ?REGION Illuminated)))))) |
Geography.kif 3429-3438 | |
| (=> (and (instance ?SEE Seeing) (patient ?SEE ?OBJ)) (holdsDuring (WhenFn ?SEE) (attribute ?OBJ Illuminated))) |
Merge.kif 12561-12566 | |
| (=> (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 |
|
|
|