Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(instance Wet SaturationAttribute) Merge.kif 18347-18347 Wet is an instance of saturation attribute
(subAttribute Wet Damp) Merge.kif 18348-18348 Wet is a subattribute of damp
(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 18349-18351 Wet is a subattribute of damp

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Wet "wet") domainEnglishFormat.kif 62926-62926
(termFormat ChineseTraditionalLanguage Wet "濕") domainEnglishFormat.kif 62927-62927
(termFormat ChineseLanguage Wet "湿") domainEnglishFormat.kif 62928-62928

antecedent
-------------------------


(=>
    (attribute ?OBJ Wet)
    (forall (?PART)
        (=>
            (part ?PART ?OBJ)
            (exists (?SUBPART)
                (and
                    (part ?SUBPART ?PART)
                    (attribute ?SUBPART Liquid))))))		 Merge.kif 18353-18361 If wet is an attribute of X, then For all Object Y: if Y is a part of X, then there exists Z such that Z is a part of Y and liquid is an attribute of Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners