Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

solid (Solid)

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

Ontology

SUMO / QUALITIES

Class(es)

StatoFisico
is instance of
  solid  

Coordinate term(s)

fluid  gas  liquid 

Related WordNet synsets

solidity, solidness
the consistency of a solid
solidity is opposite to...   solidity is kind of (all)...   solidity is kind of...   kinds of solidity...   kinds of solidity (all)...  
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 is kind of (all)...   solid is kind of...  
solid
of definite shape and volume; firm; neither liquid nor gaseous; "ice is water in the solid state"
solid is opposite to...   see also...   solid is similar to...   solid is an attribute of  
See more related synsets on a separate page.

Axioms (5)

Se act é un' istanza di Mangiare e food é un paziente di act, allora solid is an attribute of food. 
(=>
      (and
            (instance ?ACT Eating)
            (patient ?ACT ?FOOD))
      (attribute ?FOOD Solid))
Se melt é un' istanza di Sciogliere e obj é un paziente di melt, allora esiste part tale che part é una parte di obj e "solid is an attribute of part" vales durante "immediatamente prima di "il tempo di esistenza di melt"" e "liquid is an attribute of part" vales durante "immediatamente dopo "il tempo di esistenza di 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)))))
Se freeze é un' istanza di Congelare e obj é un paziente di freeze, allora esiste part tale che part é una parte di obj e "liquid is an attribute of part" vales durante "immediatamente prima di "il tempo di esistenza di freeze"" e "solid is an attribute of part" vales durante "immediatamente dopo "il tempo di esistenza di 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 é opposto a liquid. 
(contraryAttribute Solid Liquid Gas)
exhaustive attribute(StatoFisico,solid,fluid,liquid,gas) vale. 
(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas)