dry (Dry)

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

Ontology

SUMO / QUALITIES

Class(es)

Stättigungsattribut

dry

Coordinate term(s)

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.

Axioms (3)

Wenn dry ist ein fall von Trocknen und obj ist ein patient von dry , dann "dry ist ein attribut von obj " hält während "sofort nach "die zeit des Bestehens von dry"" .

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

dry wird damp entgegengesetzet .

(contraryAttribute Dry Damp)

Wenn dry ist ein attribut von obj , dann es gibt kein subobj der subobj ist ein teil von obj und liquid ist ein attribut von subobj .

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