gas (Gas)

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

Ontologie

SUMO / QUALITIES

Class(es)

skupenství

gas

Superattribute(s)

fluid

gas

Související termín(y)

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.

Axiomy (4)

Jestliže boil je instancí třídy var a obj je účastníkem boil, potom existuje part tak, že part je částí obj a liquid je atributem part právě před doba existence boil a gas je atributem part právě po doba existence 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)))))

Jestliže cond je instancí třídy kondenzace a obj je účastníkem cond, potom existuje part tak, že part je částí obj a gas je atributem part právě před doba existence cond a liquid je atributem part právě po doba existence 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)))))

contrary attribute(solid,liquid,gas) platí.

(contraryAttribute Solid Liquid Gas)

exhaustive attribute(skupenství,solid,fluid,liquid,gas) platí.

(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas)