Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi

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)

is instance of

inheritable relation

is instance of

spatial relation

Superclass(es)

[tree]

is subclass of

abstract

is subclass of

relation

is subclass of

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