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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Wetting
Wetting(wetting)
absorb, absorption, air-slake, bedew, bedraggle, besprinkle, bilge, dab, dabble, dampen, dampening, deluge, dip, douse, dousing, draggle, draw, drenching, drizzle, drown, duck, ducking, dunk, extend, flow, flush, hose, hose_down, humidify, hydrate, imbibe, immerse, immersion, inundate, lap, lave, mist, mist_over, moil, moisten, moistening, moisturise, moisturize, plash, plunge, puddle, salt, slack, slake, slosh...

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


(documentation Wetting ChineseLanguage "这是把 Liquid 加到一个 ObjectProcess Class。") chinese_format.kif 3211-3212
(documentation Wetting EnglishLanguage "The Class of Processes where a Liquid is added to an Object.") Merge.kif 12159-12160
(externalImage Wetting "http://upload.wikimedia.org/wikipedia/en/9/9a/NeumannTriangle.png") pictureList.kif 8269-8269
(subclass Wetting Putting) Merge.kif 12158-12158 Wetting is a subclass of putting

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


(subclass Soaking Wetting) Mid-level-ontology.kif 25740-25740 Soaking is a subclass of wetting
(termFormat ChineseLanguage Wetting "润湿") chinese_format.kif 1182-1182
(termFormat EnglishLanguage Wetting "wetting") english_format.kif 1581-1581

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


(=>
    (instance ?WET Wetting)
    (exists (?OBJ)
        (and
            (attribute ?OBJ Liquid)
            (patient ?WET ?OBJ))))
Merge.kif 12177-12182
(=>
    (instance ?WET Wetting)
    (exists (?OBJ)
        (and
            (patient ?WET ?OBJ)
            (holdsDuring
                (BeginFn
                    (WhenFn ?WET))
                (not
                    (attribute ?OBJ Damp)))
            (holdsDuring
                (EndFn
                    (WhenFn ?WET))
                (attribute ?OBJ Damp)))))
Merge.kif 12162-12175


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



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