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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Wetting

Sigma KEE - Wetting
Wetting(濡れ)

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 12794-12795
(externalImage Wetting "http://upload.wikimedia.org/wikipedia/en/9/9a/NeumannTriangle.png") pictureList.kif 8268-8268
(subclass Wetting Putting) Merge.kif 12793-12793 濡れ置くsubclass では %n

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


(subclass Soaking Wetting) Mid-level-ontology.kif 26555-26555 Soaking濡れsubclass では %n
(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 12812-12817
(=>
    (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 12797-12810


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