Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Wetting(wetting)
|  | absorb, absorption, air-slake, bedew, bedraggle, besprinkle, bilge, dab, dabble, dampen, dampening, deluge, dip, douse, dousing, draggle, draw, drenching, drizzle, drown, duck, ducking, dunk, extend, flow, flush, hose, hose_down, humidify, hydrate, imbibe, immerse, immersion, inundate, lap, lave, mist, mist_over, moil, moisten, moistening, moisturise, moisturize, plash, plunge, puddle, salt, slack, slake, slosh... |
| appearance as argument number 1 |
|
|
| (subclass Wetting Putting) | Merge.kif 13037-13037 | Wetting is a subclass of putting |
| (documentation Wetting EnglishLanguage "The Class of Processes where a Liquid is added to an Object.") | Merge.kif 13038-13039 | Wetting is a subclass of putting |
| (externalImage Wetting "http://upload.wikimedia.org/wikipedia/en/9/9a/NeumannTriangle.png") | pictureList.kif 8267-8267 | Wetting is a subclass of putting |
| appearance as argument number 2 |
|
|
| (subclass Soaking Wetting) | Mid-level-ontology.kif 29116-29116 | Soaking is a subclass of wetting |
| (termFormat EnglishLanguage Wetting "wetting") | english_format.kif 1585-1585 | Soaking is a subclass of wetting |
| antecedent |
|
|
| (=> (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 |
| (=> (instance ?WET Wetting) (exists (?OBJ) (and (attribute ?OBJ Liquid) (patient ?WET ?OBJ)))) |
Merge.kif 13056-13061 | If X is an instance of wetting, then there exists Y such that liquid is an attribute of Y and Y is a patient of X |
|