| 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 18009-18011 | |
| (instance Wet SaturationAttribute) | Merge.kif 18007-18007 | 湿 是 饱和属性 的 instance |
| (subAttribute Wet Damp) | Merge.kif 18008-18008 | 湿 是 潮湿 的 subAttribute |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Wet "湿") | domainEnglishFormat.kif 62925-62925 | |
| (termFormat ChineseTraditionalLanguage Wet "濕") | domainEnglishFormat.kif 62924-62924 | |
| (termFormat EnglishLanguage Wet "wet") | domainEnglishFormat.kif 62923-62923 |
| antecedent |
|
|
| (=> (attribute ?OBJ Wet) (forall (?PART) (=> (part ?PART ?OBJ) (exists (?SUBPART) (and (part ?SUBPART ?PART) (attribute ?SUBPART Liquid)))))) |
Merge.kif 18013-18021 |
|
|
|