dry (Dry)

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

Ontology

SUMO / QUALITIES

Class(es)

saturation attribute

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)

If dry is an instance of drying and obj is a patient of dry, then dry is an attribute of obj immediately after "the time of existence of dry".

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

dry is opposed to damp.

(contraryAttribute Dry Damp)

If dry is an attribute of obj, then there doesn't exist subobj so that subobj is a part of obj and liquid is an attribute of subobj.

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