| 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 16662-16663 | |
| (externalImage Damp "http://upload.wikimedia.org/wikipedia/commons/9/96/ Water_drops_on_spider_web.jpg") | pictureList.kif 5946-5946 | |
| (instance Damp SaturationAttribute) | Merge.kif 16661-16661 | instance Damp and SaturationAttribute |
| appearance as argument number 2 |
|
|
| (contraryAttribute Dry Damp) | Merge.kif 16649-16649 | contraryAttribute Dry and Damp |
| (subAttribute Wet Damp) | Merge.kif 16666-16666 | subAttribute Wet and Damp |
| (termFormat ChineseLanguage Damp "潮湿") | domainEnglishFormat.kif 18361-18361 | |
| (termFormat ChineseTraditionalLanguage Damp "潮濕") | domainEnglishFormat.kif 18360-18360 | |
| (termFormat EnglishLanguage Damp "damp") | domainEnglishFormat.kif 18359-18359 |
| 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 5387-5394 |
|
| (=> (instance ?SWAMP Swamp) (attribute ?SWAMP Damp)) |
Geography.kif 5952-5954 | |
| (=> (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 11793-11806 |
|
|
|