gas (Gas)

An Object has the Attribute of Gas if it has neither a fixed volume nor a fixed shape.

Ontology

SUMO / QUALITIES

Class(es)

physical state

gas

Superattribute(s)

fluid

gas

Coordinate term(s)

fluid liquid solid

Related WordNet synsets

gaseousness: having the consistency of a gas
gas: the state of matter distinguished from the solid and liquid states by: relatively low density and viscosity; relatively great expansion and contraction with changes in pressure and temperature; the ability to diffuse readily; and the spontaneous tendency to become distributed uniformly throughout any container
gaseous: existing as or having characteristics of a gas; "steam is water is the gaseous state"

See more related synsets on a separate page.

Axioms (4)

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

solid is opposed to liquid.

(contraryAttribute Solid Liquid Gas)

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

(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas)