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。") Merge.kif 12539-12540
(documentation Wetting EnglishLanguage "The Class of Processes where a Liquid is added to an Object.") Merge.kif 12537-12538
(externalImage Wetting "http://upload.wikimedia.org/wikipedia/en/9/9a/NeumannTriangle.png") pictureList.kif 8270-8270
(subclass Wetting Putting) Merge.kif 12536-12536

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


(subclass Soaking Wetting) Mid-level-ontology.kif 24187-24187
(termFormat ChineseLanguage Wetting "润湿") chinese_format.kif 1182-1182
(termFormat EnglishLanguage Wetting "wetting") english_format.kif 869-869
(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 393-393
(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 tg Wetting "binabasa") terms-tg.txt 396-396

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


(=>
    (instance ?WET Wetting)
    (exists (?OBJ)
        (and
            (attribute ?OBJ Liquid)
            (patient ?WET ?OBJ))))
Merge.kif 12557-12562
(=>
    (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 12542-12555


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners