Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi

Hlavní stránka

prostorová relace (SpatialRelation)

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

Ontologie

SUMO / BASE-ONTOLOGY

Class(es)

is instance of

inheritable relation

is instance of

prostorová relace

Nadtřída(y)

[tree]

is subclass of

is subclass of

relace

is subclass of

prostorová relace

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

Související termín(y)

binární funkce binární predikát binární relace case role funkce intentional relation seznam postoj k objektu neúplná relace predikát pravděpodobnostní relace postoj k tvrzení funkce se čtyřmi argumenty predikát se čtyřmi argumenty relace se čtyřmi argumenty predikát s pěti argumenty relace s pěti argumenty relace rozšířená na veličiny relace s jedinou hodnotou časová relace funkce se třemi argumenty predikát se třemi argumenty terciální relace úplná relace unární funkce relace s proměnným počtem argumentů

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.

Axiomy (1)

Jestliže rel je instancí třídy prostorová relace a rel(obj1,obj2) holds, potom "doba existence obj2" overlaps "doba existence obj1".

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