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

voda (Water)

The Class of samples of the compound H20. Note that this Class covers both pure and impure Water.

Ontologie

SUMO / OBJECTS

Nadtřída(y)

[tree]
entita
is subclass of
  fyzický objekt  
is subclass of
  objekt  
is subclass of
  spojitý objekt  
is subclass of
  látka  
is subclass of
  čistá látka  
is subclass of
  sloučenina  
is subclass of
  voda  

Související termín(y)

molekula  živina 

Related WordNet synsets

water, H2O
a clear colorless odorless tasteless liquid; "he asked for a drink of water"
water is kind of (all)...   water is kind of...   kinds of water...   kinds of water (all)...   water is substance of...   substances of water...  
See more related synsets on a separate page.

Axiomy (3)

Jestliže area je instancí třídy vodní plocha, potom existují bed,hole,voda water tak, že "principal host fn(hole)" se rovná bed a water přesně zaplňuje hole a "mereological sum fn(bed,water)" se rovná area. 
(=>
      (instance ?AREA WaterArea)
      (exists
            (?BED ?HOLE ?WATER)
            (and
                  (equal
                        (PrincipalHostFn ?HOLE)
                        ?BED)
                  (instance ?WATER Water)
                  (properlyFills ?WATER ?HOLE)
                  (equal
                        (MereologicalSumFn ?BED ?WATER)
                        ?AREA))))
Jestliže alga je instancí třídy řasa, potom existuje voda water tak, že alga lives in water. 
(=>
      (instance ?ALGA Alga)
      (exists
            (?WATER)
            (and
                  (inhabits ?ALGA ?WATER)
                  (instance ?WATER Water))))
Jestliže fish je instancí třídy ryba, potom existuje voda water tak, že fish lives in water. 
(=>
      (instance ?FISH Fish)
      (exists
            (?WATER)
            (and
                  (inhabits ?FISH ?WATER)
                  (instance ?WATER Water))))