dry (Dry)

An Attribute which indicates that the associated Object contains no Liquid.

Ontologie

SUMO / QUALITIES

Class(es)

atribut saturace

dry

Související termín(y)

damp wet

Related WordNet synsets

dryness, waterlessness: the condition of not containing or being covered by a liquid (especially water)
dry: free from liquid or moisture; lacking natural or normal moisture or depleted of water; or no longer wet; "dry land"; "dry clothes"; "a dry climate"; "dry splintery boards"; "a dry river bed"; "the paint is dry"

See more related synsets on a separate page.

Axiomy (3)

Jestliže dry je instancí třídy sušení a obj je účastníkem dry, potom dry je atributem obj právě po doba existence dry.

(=>
      (and
            (instance ?DRY Drying)
            (patient ?DRY ?OBJ))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?DRY))
            (attribute ?OBJ Dry)))

contrary attribute(dry,damp) platí.

(contraryAttribute Dry Damp)

Jestliže dry je atributem obj, potom neexistuje subobj tak, že subobj je částí obj a liquid je atributem subobj.

(=>
      (attribute ?OBJ Dry)
      (not
            (exists
                  (?SUBOBJ)
                  (and
                        (part ?SUBOBJ ?OBJ)
                        (attribute ?SUBOBJ Liquid)))))