solid (Solid)

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

Ontology

SUMO / QUALITIES

Class(es)

körperliche Zustand

solid

Coordinate term(s)

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.

Axioms (5)

Wenn act ist ein fall von Essen und food ist ein patient von act , dann solid ist ein attribut von food .

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

Wenn melt ist ein fall von schmelzend und obj ist ein patient von melt , dann es gibt ein part der part ist ein teil von obj und "solid ist ein attribut von part " hält während "direkt vor "die zeit des Bestehens von melt"" und "liquid ist ein attribut von part " hält während "sofort nach "die zeit des Bestehens von 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)))))

Wenn freeze ist ein fall von einfrierend und obj ist ein patient von freeze , dann es gibt ein part der part ist ein teil von obj und "liquid ist ein attribut von part " hält während "direkt vor "die zeit des Bestehens von freeze"" und "solid ist ein attribut von part " hält während "sofort nach "die zeit des Bestehens von 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)))))

solid wird liquid entgegengesetzet .

(contraryAttribute Solid Liquid Gas)

exhaustive attribute(körperliche Zustand,solid,fluid,liquid,gas) gilt.

(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas)