Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

skupenství (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.

Ontologie

SUMO / QUALITIES

Nadtřída(y)

[tree]
entita
is subclass of
  abstraktum  
is subclass of
  atribut  
is subclass of
  interní attribut  
is subclass of
  skupenství  

Instance(s)

solid  fluid  liquid  gas 

Související termín(y)

biologický attribut  attribut křehkosti  vnímatelný attribut  atribut saturace  tvar 

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.

Axiomy (3)

Jestliže process je instancí třídy změna skupenství a obj je účastníkem process, potom existují part,skupenství state1,skupenství state2 tak, že part je částí obj a state1 se nerovná state2 a state1 je atributem part právě před doba existence process a state2 je atributem part právě po doba existence 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(skupenství,solid,fluid,liquid,gas) platí. 
(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas)
obj je instancí třídy látka tehdy a jen tehdy pokud existuje skupenství attr tak, že attr je atributem obj. 
(<=>
      (instance ?OBJ Substance)
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR PhysicalState)
                  (attribute ?OBJ ?ATTR))))