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

StatoFisico (PhysicalState)

The physical state of an Object. There are three reified instances of this Class: Solid, Liquid, and Gas. Physical changes are not characterized by the transformation of one substance into another, but rather by the change of the form (physical states) of a given substance. For example, melting an iron nail yields a substance still called iron.

Ontology

SUMO / QUALITIES

Superclass(es)

[tree]
Entitá
is subclass of
  Astratto  
is subclass of
  Attributo  
is subclass of
  AttributoInterno  
is subclass of
  StatoFisico  

Instance(s)

solid  fluid  liquid  gas 

Coordinate term(s)

AttributoBiologico  AttributoDiDistruttibilitá  AttributoPercettivo  AttributoDiSaturazione  AttributoDiForma 

Related WordNet synsets

state of matter, state
(chemistry) the three traditional states of matter are solids (fixed shape and volume) and liquids (fixed volume and shaped by the container) and gases (filling the container); "the solid state of water is called ice"
state of matter is kind of (all)...   state of matter is kind of...   kinds of state of matter...   kinds of state of matter (all)...   state of matter is an attribute of  
See more related synsets on a separate page.

Axioms (3)

Se process é un' istanza di CambiamentoDiStato e obj é un paziente di process, allora esiste part,StatoFisico state1,StatoFisico state2 tale che part é una parte di obj e state1 is not uguale a state2 e "state1 is an attribute of part" vales durante "immediatamente prima di "il tempo di esistenza di process"" e "state2 is an attribute of part" vales durante "immediatamente dopo "il tempo di esistenza di freeze"". 
(=>
      (and
            (instance ?PROCESS StateChange)
            (patient ?PROCESS ?OBJ))
      (exists
            (?PART ?STATE1 ?STATE2)
            (and
                  (part ?PART ?OBJ)
                  (instance ?STATE1 PhysicalState)
                  (instance ?STATE2 PhysicalState)
                  (not
                        (equal ?STATE1 ?STATE2))
                  (holdsDuring
                        (ImmediatePastFn
                              (WhenFn ?PROCESS))
                        (attribute ?PART ?STATE1))
                  (holdsDuring
                        (ImmediateFutureFn
                              (WhenFn ?FREEZE))
                        (attribute ?PART ?STATE2)))))
exhaustive attribute(StatoFisico,solid,fluid,liquid,gas) vale. 
(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas)
obj é un' istanza di Sostanza se e solo se esiste StatoFisico attr tale che attr is an attribute of obj. 
(<=>
      (instance ?OBJ Substance)
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR PhysicalState)
                  (attribute ?OBJ ?ATTR))))