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

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


(subclass Soaking Wetting) Mid-level-ontology.kif 26522-26522 Soaking is a subclass of wetting
(termFormat ChineseLanguage Wetting "润湿") chinese_format.kif 1182-1182
(termFormat EnglishLanguage Wetting "wetting") english_format.kif 1581-1581
(termFormat FrenchLanguage Wetting "mouiller") french_format.kif 860-860
(termFormat Hindi Wetting "kledana") terms-hindi.txt 392-392
(termFormat ItalianLanguage Wetting "Bagnare") terms-it.txt 395-395
(termFormat JapaneseLanguage Wetting "濡れ") japanese_format.kif 2544-2544
(termFormat PortugueseLanguage Wetting "Molhar") portuguese_format.kif 812-812
(termFormat cb Wetting "paghumod") terms-cb.txt 397-397
(termFormat cz Wetting "wetting") terms-cz.txt 431-431
(termFormat ro Wetting "înmuiere") relations-ro.kif 881-881
(termFormat tg Wetting "binabasa") terms-tg.txt 396-396

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


(=>
    (instance ?WET Wetting)
    (exists (?OBJ)
        (and
            (attribute ?OBJ Liquid)
            (patient ?WET ?OBJ))))
Merge.kif 12766-12771
(=>
    (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 12751-12764


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