| Damp(潮湿)
| |
| appearance as argument number 1 |
|
|
| (documentation Damp ChineseLanguage "这是用来表示相关 Object 含有一些 Liquid 的 Attribute。") | chinese_format.kif 4000-4001 | |
| (documentation Damp EnglishLanguage "An Attribute which indicates that the associated Object contains some Liquid.") | Merge.kif 18026-18027 | |
| (externalImage Damp "http://upload.wikimedia.org/wikipedia/commons/9/96/ Water_drops_on_spider_web.jpg") | pictureList.kif 5945-5945 | |
| (instance Damp SaturationAttribute) | Merge.kif 18025-18025 | 潮湿 是 饱和属性 的 instance |
| appearance as argument number 2 |
|
|
| (contraryAttribute Dry Damp) | Merge.kif 18013-18013 | 干 是 潮湿 的相反 |
| (subAttribute Wet Damp) | Merge.kif 18030-18030 | 湿 是 潮湿 的 subAttribute |
| (termFormat ChineseLanguage Damp "潮湿") | domainEnglishFormat.kif 18438-18438 | |
| (termFormat ChineseTraditionalLanguage Damp "潮濕") | domainEnglishFormat.kif 18437-18437 | |
| (termFormat EnglishLanguage Damp "damp") | domainEnglishFormat.kif 18436-18436 |
| consequent |
|
|
| (=> (and (instance ?IRRIGATION Irrigating) (patient ?IRRIGATION ?AREA) (instance ?AREA LandArea)) (and (holdsDuring (ImmediatePastFn (WhenFn ?IRRIGATION)) (attribute ?AREA Dry)) (holdsDuring (ImmediateFutureFn (WhenFn ?IRRIGATION)) (attribute ?AREA Damp)))) |
Geography.kif 5711-5718 | |
| (=> (instance ?SWAMP Swamp) (attribute ?SWAMP Damp)) |
Geography.kif 6611-6613 | |
| (=> (instance ?WET Wetting) (exists (?OBJ) (and (patient ?WET ?OBJ) (holdsDuring (BeginFn (WhenFn ?WET)) (not (attribute ?OBJ Damp))) (holdsDuring (EndFn (WhenFn ?WET)) (attribute ?OBJ Damp))))) |
Merge.kif 12773-12786 |
|
|
|