| 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 18088-18090 | |
| (instance Wet SaturationAttribute) | Merge.kif 18086-18086 | Wet is an instance of saturation attribute |
| (subAttribute Wet Damp) | Merge.kif 18087-18087 | Wet is a subattribute of damp |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Wet "湿") | domainEnglishFormat.kif 62973-62973 | |
| (termFormat ChineseTraditionalLanguage Wet "濕") | domainEnglishFormat.kif 62972-62972 | |
| (termFormat EnglishLanguage Wet "wet") | domainEnglishFormat.kif 62971-62971 |
| antecedent |
|
|
| (=> (attribute ?OBJ Wet) (forall (?PART) (=> (part ?PART ?OBJ) (exists (?SUBPART) (and (part ?SUBPART ?PART) (attribute ?SUBPART Liquid)))))) |
Merge.kif 18092-18100 |
|
|
|
|