water area (WaterArea)

A body which is made up predominantly of water, e.g. rivers, lakes, oceans, etc.

Ontology

SUMO / OBJECTS

Superclass(es)

entity

physical

object

region

geographic area

water area

Subclass(es)

salt water area fresh water area stream water area static water area

Coordinate term(s)

geopolitical area land area

Related WordNet synsets

body of water, water: the part of the earth's surface covered with water; "they invaded our territorial waters"

See more related synsets on a separate page.

Axioms (3)

If swim is an instance of swimming and swim is an agent of agent, then there exists water area area so that agent is located at area.

(=>
      (and
            (instance ?SWIM Swimming)
            (agent ?SWIM ?AGENT))
      (exists
            (?AREA)
            (and
                  (instance ?AREA WaterArea)
                  (located ?AGENT ?AREA))))

geographic area is exhaustively partitioned into water area,land area.

(partition GeographicArea WaterArea LandArea)

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))))