| 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 18180-18182 | |
| (instance Wet SaturationAttribute) | Merge.kif 18178-18178 | |
| (subAttribute Wet Damp) | Merge.kif 18179-18179 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Wet "湿") | domainEnglishFormat.kif 62919-62919 | |
| (termFormat ChineseTraditionalLanguage Wet "濕") | domainEnglishFormat.kif 62918-62918 | |
| (termFormat EnglishLanguage Wet "wet") | domainEnglishFormat.kif 62917-62917 |
| antecedent |
|
|
| (=> (attribute ?OBJ Wet) (forall (?PART) (=> (part ?PART ?OBJ) (exists (?SUBPART) (and (part ?SUBPART ?PART) (attribute ?SUBPART Liquid)))))) |
Merge.kif 18184-18192 |
|
|
|