Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Wet

Sigma KEE - Wet
Wet(wet)douse, dowse, dripping, soaking, sodden, sopping, soppy, wet

appearance as argument number 1
-------------------------


(documentation Wet ChineseLanguage "这是用来表示相关 Object 含有完全饱和 LiquidAttribute,即是 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 Wet is an instance of saturation attribute
(subAttribute Wet Damp) Merge.kif 18008-18008 Wet is a subattribute of damp

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners