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

water (Water)

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

Ontology

SUMO / OBJECTS

Superclass(es)

[tree]
entity
is subclass of
  physical  
is subclass of
  object  
is subclass of
  self connected object  
is subclass of
  substance  
is subclass of
  pure substance  
is subclass of
  compound substance  
is subclass of
  water  

Coordinate term(s)

molecule  nutrient 

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.

Axioms (3)

If area is an instance of water area, then there exist bed,hole,water water so that "the host of the hole hole" is equal to bed and water properly fills hole and "the union of the parts of bed and water" is equal to area. 
(=>
      (instance ?AREA WaterArea)
      (exists
            (?BED ?HOLE ?WATER)
            (and
                  (equal
                        (PrincipalHostFn ?HOLE)
                        ?BED)
                  (instance ?WATER Water)
                  (properlyFills ?WATER ?HOLE)
                  (equal
                        (MereologicalSumFn ?BED ?WATER)
                        ?AREA))))
If alga is an instance of alga, then there exists water water so that alga lives in water. 
(=>
      (instance ?ALGA Alga)
      (exists
            (?WATER)
            (and
                  (inhabits ?ALGA ?WATER)
                  (instance ?WATER Water))))
If fish is an instance of fish, then there exists water water so that fish lives in water. 
(=>
      (instance ?FISH Fish)
      (exists
            (?WATER)
            (and
                  (inhabits ?FISH ?WATER)
                  (instance ?WATER Water))))