|
|
  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 18083-18084 | |
| (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 18082-18082 | Damp は 飽和属性 の instance では %n |
| appearance as argument number 2 |
|
|
| (contraryAttribute Dry Damp) | Merge.kif 18070-18070 | Dry は Damp の disjoint では %n |
| (subAttribute Wet Damp) | Merge.kif 18087-18087 | Wet は Damp の subattribute では %n |
| (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 12797-12810 |
|
|
|
