zvlhčování (Wetting)

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

Ontologie

SUMO / PROCESSES

Nadtřída(y)

entita

fyzický objekt

proces

proces nad dvěma objekty

spojení

zvlhčování

Související termín(y)

chemická syntéza

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.

Axiomy (2)

Jestliže wet je instancí třídy zvlhčování a obj je účastníkem wet, potom wet je atributem obj nebo damp je atributem obj právě po doba existence wet.

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

Jestliže wet je instancí třídy zvlhčování, potom existuje obj tak, že liquid je atributem obj a obj je účastníkem wet.

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