räumliche 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)

Kategorie

inheritable relation

räumliche Relation

Superclass(es)

Wesen

abstrakter Gegenstand

Relation

räumliche Relation

Instance(s)

FrontseiteFn RückseiteFn teil befindetSichTeils zwischen überqürt WoFn abstand grösser kleiner angeschlossen schliesstAn MereologischeSummeFn MereologischesProduktFn MereologischeDifferenzFn loch HauptwirtFn fülltTeilweise OberflächeFn lagebestimmung

Coordinate term(s)

zweistellige Funktion zweistellige Prädikat zweiwertige Relation Fallrolle Funktion intentional relation Liste Gegenstandeinstellung teilwertige Relation Prädikat Wahrscheinlichkeitsrelation propositionale Einstellung vierstellige funktion vierstellige Prädikat viewwertige Relation fünfstellige Prädikat fünfwertige Relation Relation erweitert auf Quantitäten einwertige Relation zeitliche Relation dreistellige Funktion dreistellige Prädikat dreiwertige Relation totalwertige Relation einstellige Funktion Relation mit veränderlicher Anzahl Argumente

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)

Wenn rel ist ein fall von räumliche Relation und rel(obj1,obj2) gilt , dann "die zeit des Bestehens von obj2" deckt sich mit "die zeit des Bestehens von obj1" .

(=>
      (and
            (instance ?REL SpatialRelation)
            (holds ?REL ?OBJ1 ?OBJ2))
      (overlapsTemporally
            (WhenFn ?OBJ1)
            (WhenFn ?OBJ2)))