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 12114-12115
(externalImage Wetting "http://upload.wikimedia.org/wikipedia/en/9/9a/NeumannTriangle.png") pictureList.kif 8269-8269
(subclass Wetting Putting) Merge.kif 12113-12113 Wetting is a subclass of putting

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


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

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


(=>
    (instance ?WET Wetting)
    (exists (?OBJ)
        (and
            (attribute ?OBJ Liquid)
            (patient ?WET ?OBJ))))
Merge.kif 12132-12137
(=>
    (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 12117-12130


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