Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Damp(damp)
|  | bedewed, besprent, clamminess, damp, dampish, damply, dampness, dankness, dewy, humid, humidity, humidness, hydric, mesic, mesophytic, misty, moist, moistly, moistness, moisture, mugginess, muggy, rawness, reeking, sogginess, steamy, sticky, tacky, undried, washed, watery, wet, wetness |
| appearance as argument number 1 |
|
|
| (instance Damp SaturationAttribute) | Merge.kif 18343-18343 | Damp is an instance of saturation attribute |
| (documentation Damp EnglishLanguage "An Attribute which indicates that the associated Object contains some Liquid.") | Merge.kif 18344-18345 | Damp is an instance of saturation attribute |
| (externalImage Damp "http://upload.wikimedia.org/wikipedia/commons/9/96/ Water_drops_on_spider_web.jpg") | pictureList.kif 5944-5944 | Damp is an instance of saturation attribute |
| appearance as argument number 2 |
|
|
| (contraryAttribute Dry Damp) | Merge.kif 18331-18331 | Dry is the opposite of damp |
| (subAttribute Wet Damp) | Merge.kif 18348-18348 | Wet is a subattribute of damp |
| (termFormat EnglishLanguage Damp "damp") | domainEnglishFormat.kif 18438-18438 | Wet is a subattribute of damp |
| (termFormat ChineseTraditionalLanguage Damp "潮濕") | domainEnglishFormat.kif 18439-18439 | Wet is a subattribute of damp |
| (termFormat ChineseLanguage Damp "潮湿") | domainEnglishFormat.kif 18440-18440 | Wet is a subattribute of damp |
| consequent |
|
|
| (=> (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 13041-13054 | If X is an instance of wetting, then there exists Y such that Y is a patient of X, damp is not an attribute of Y holds during the beginning of the time of existence of X, and damp is an attribute of Y holds during the end of the time of existence of X |
| (=> (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 7311-7318 | If X is an instance of irrigating, Y is a patient of X, and Y is an instance of land area, then dry is an attribute of Y holds during immediately before the time of existence of X and damp is an attribute of Y holds during immediately after the time of existence of X |
| (=> (instance ?SWAMP Swamp) (attribute ?SWAMP Damp)) |
Geography.kif 8241-8243 | If X is an instance of swamp, then damp is an attribute of X |
|