solid (Solid)

An Object has the Attribute of Solid if it has a fixed shape and a fixed volume.

Ontologie

SUMO / QUALITIES

Class(es)

skupenství

solid

Související termín(y)

fluid gas liquid

Related WordNet synsets

solidity, solidness: the consistency of a solid
solid, solidness: the state in which a substance has no tendency to flow under moderate stress; resists forces (such as compression) that tend to deform it; and retains an definite size and shape
solid: of definite shape and volume; firm; neither liquid nor gaseous; "ice is water in the solid state"

See more related synsets on a separate page.

Axiomy (5)

Jestliže act je instancí třídy jedení a food je účastníkem act, potom solid je atributem food.

(=>
      (and
            (instance ?ACT Eating)
            (patient ?ACT ?FOOD))
      (attribute ?FOOD Solid))

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

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

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

(contraryAttribute Solid Liquid Gas)

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

(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas)