| Wet(wet) | | douse, dowse, dripping, soaking, sodden, sopping, soppy, wet |
| appearance as argument number 1 |
|
|
| (documentation Wet ChineseLanguage "这是用来表示相关 Object 含有完全饱和 Liquid 的 Attribute，即是 Objec 的每一个部分都有 Liquid 作为它的子部分。") | chinese_format.kif 4002-4003 | |
| (documentation Wet EnglishLanguage "An Attribute which indicates that the associated Object is fully saturated with a Liquid, i.e. every part of the Object has a subpart which is a Liquid.") | Merge.kif 18113-18115 | |
| (instance Wet SaturationAttribute) | Merge.kif 18111-18111 | Wet is an instance of saturation attribute |
| (subAttribute Wet Damp) | Merge.kif 18112-18112 | Wet is a subattribute of damp |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Wet "湿") | domainEnglishFormat.kif 62948-62948 | |
| (termFormat ChineseTraditionalLanguage Wet "濕") | domainEnglishFormat.kif 62947-62947 | |
| (termFormat EnglishLanguage Wet "wet") | domainEnglishFormat.kif 62946-62946 |
| antecedent |
|
|
| (=> (attribute ?OBJ Wet) (forall (?PART) (=> (part ?PART ?OBJ) (exists (?SUBPART) (and (part ?SUBPART ?PART) (attribute ?SUBPART Liquid)))))) |
Merge.kif 18117-18125 |
|
|
|
|