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

# spatial relation (SpatialRelation)

The Class of Relations that are spatial in a wide sense. This Class includes mereological relations and topological relations.

## Ontology

SUMO / BASE-ONTOLOGY

## Class(es)

 class

inheritable relation

spatial relation

## Superclass(es)

 entity

abstract

relation

spatial relation

## Instance(s)

front fn  back fn  part  partly located  between  traverses  where fn  distance  larger  smaller  connected  connects  mereological sum fn  mereological product fn  mereological difference fn  hole  principal host fn  partially fills  skin fn  orientation

## Coordinate term(s)

binary function  binary predicate  binary relation  case role  function  intentional relation  list  object attitude  partial valued relation  predicate  probability relation  propositional attitude  quaternary function  quaternary predicate  quaternary relation  quintary predicate  quintary relation  relation extended to quantities  single valued relation  temporal relation  ternary function  ternary predicate  ternary relation  total valued relation  unary function  variable arity relation

## Related WordNet synsets

spatial property, spatiality
any property relating to or occupying space

spatial, spacial
pertaining to or involving or having the nature of space; "the first dimension to concentrate on is the spatial one"; "spatial ability"; "spatial awareness"; "the spatial distribution of the population"

spatially
with regard to space; "spatially limited"

See more related synsets on a separate page.

## Axioms (1)

If rel is an instance of spatial relation and rel(obj1,obj2) holds, then "the time of existence of obj2" overlaps "the time of existence of obj1".
```(=>
(and
(instance ?REL SpatialRelation)
(holds ?REL ?OBJ1 ?OBJ2))
(overlapsTemporally
(WhenFn ?OBJ1)
(WhenFn ?OBJ2)))```