shi1 run4 (Wetting)

The Class of Processes where a Liquid is added to an Object.

Ontology

SUMO / PROCESSES

Superclass(es)

shi2 ti3

wu4 zhi4 de5

li4 cheng2

shuang1 shou4 shi4 li4 cheng2

jie2 he2

shi1 run4

Coordinate term(s)

hua4 xue2 he2 cheng2

Related WordNet synsets

wetting: the act of making something wet
watering: wetting with water; "the lawn needs a great deal of watering"
wet: cause to become wet; "Wet your face"

See more related synsets on a separate page.

Axioms (2)

If wet shi4 shi1 run4 de5 shi2 li4 and obj shi4 wet de5 shou4 shi4 zhe3, then shi1 de5 shi4 obj de5 shu3 xing4 or chao2 shi1 shi4 obj de5 shu3 xing4 ""wet cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "wet cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.

(=>
      (and
            (instance ?WET Wetting)
            (patient ?WET ?OBJ))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?WET))
            (or
                  (attribute ?OBJ Wet)
                  (attribute ?OBJ Damp))))

If wet shi4 shi1 run4 de5 shi2 li4, then there exists obj so_that_not ye4 ti1 de5 shi4 obj de5 shu3 xing4 and obj shi4 wet de5 shou4 shi4 zhe3.

(=>
      (instance ?WET Wetting)
      (exists
            (?OBJ)
            (and
                  (attribute ?OBJ Liquid)
                  (patient ?WET ?OBJ))))