liquid (Liquid)

An Object has the Attribute of Liquid if it has a fixed volume but not a fixed shape.

Ontology

SUMO / QUALITIES

Class(es)

physical state

liquid

Superattribute(s)

fluid

liquid

Coordinate term(s)

fluid gas solid

Related WordNet synsets

fluidity, fluidness, liquidity, liquidness, runniness: the property of flowing easily
liquid, liquidness, liquidity: the state in which a substance exhibits a characteristic readiness to flow with little or no tendency to disperse and relatively high incompressibility
liquid: a substance in the fluid state of matter having no fixed shape but a fixed volume
liquid: a substance that is liquid at room temperature and pressure
liquid: existing as or have characteristics of a liquid; especially tending to flow; "water and milk and blood are liquid substances"

See more related synsets on a separate page.

Axioms (11)

If wet is an instance of wetting, then there exists obj so that liquid is an attribute of obj and obj is a patient of wet.

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

If melt is an instance of melting and obj is a patient of melt, then there exists part so that part is a part of obj and solid is an attribute of part immediately before "the time of existence of melt" and liquid is an attribute of part immediately after "the time of existence of melt".

(=>
      (and
            (instance ?MELT Melting)
            (patient ?MELT ?OBJ))
      (exists
            (?PART)
            (and
                  (part ?PART ?OBJ)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?MELT))
                        (attribute ?PART Solid))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?MELT))
                        (attribute ?PART Liquid)))))

If boil is an instance of boiling and obj is a patient of boil, then there exists part so that part is a part of obj and liquid is an attribute of part immediately before "the time of existence of boil" and gas is an attribute of part immediately after "the time of existence of boil".

(=>
      (and
            (instance ?BOIL Boiling)
            (patient ?BOIL ?OBJ))
      (exists
            (?PART)
            (and
                  (part ?PART ?OBJ)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?BOIL))
                        (attribute ?PART Liquid))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?BOIL))
                        (attribute ?PART Gas)))))

If cond is an instance of condensing and obj is a patient of cond, then there exists part so that part is a part of obj and gas is an attribute of part immediately before "the time of existence of cond" and liquid is an attribute of part immediately after "the time of existence of cond".

(=>
      (and
            (instance ?COND Condensing)
            (patient ?COND ?OBJ))
      (exists
            (?PART)
            (and
                  (part ?PART ?OBJ)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?COND))
                        (attribute ?PART Gas))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?COND))
                        (attribute ?PART Liquid)))))

If freeze is an instance of freezing and obj is a patient of freeze, then there exists part so that part is a part of obj and liquid is an attribute of part immediately before "the time of existence of freeze" and solid is an attribute of part immediately after "the time of existence of freeze".

(=>
      (and
            (instance ?FREEZE Freezing)
            (patient ?FREEZE ?OBJ))
      (exists
            (?PART)
            (and
                  (part ?PART ?OBJ)
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?FREEZE))
                        (attribute ?PART Liquid))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?FREEZE))
                        (attribute ?PART Solid)))))

If bev is an instance of beverage, then liquid is an attribute of bev.

(=>
      (instance ?BEV Beverage)
      (attribute ?BEV Liquid))

solid is opposed to liquid.

(contraryAttribute Solid Liquid Gas)

exhaustive attribute(physical state,solid,fluid,liquid,gas) holds.

(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas)

If obj is an instance of solution, then liquid is an attribute of obj.

(=>
      (instance ?OBJ Solution)
      (attribute ?OBJ Liquid))

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)))))

if wet is an attribute of obj,
then for all part holds: if part is a part of obj, then there exists subpart so that subpart is a part of part and liquid is an attribute of subpart

(=>
      (attribute ?OBJ Wet)
      (forall
            (?PART)
            (=>
                  (part ?PART ?OBJ)
                  (exists
                        (?SUBPART)
                        (and
                              (part ?SUBPART ?PART)
                              (attribute ?SUBPART Liquid))))))