zwischen (between)

(between obj1 obj2 obj3) means that obj2 is spatially located between obj1 and obj3. Note that this implies that obj2 is directly between obj1 and obj3, i.e. the projections of obj1 and obj3 overlap with obj2.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Kategorie

inheritable relation

räumliche Relation
is instance of

Kategorie

inheritable relation

dreistellige Prädikat
is instance of

zwischen

Coordinate term(s)

RückseiteFn FrontseiteFn MereologischeDifferenzFn MereologischesProduktFn MereologischeSummeFn HauptwirtFn OberflächeFn WoFn altitude fähigkeit Abhänigkeitswahrscheinlichkeit konferiertVerpflichtung konferiertRecht angeschlossen schliesstAn depth abstand definitionsbereich definitionsbereichteilkategorie hatZweckFürAgent loch grösser verbindet besetztPosition lagebestimmung teil fülltTeilweise befindetSichTeils bevorzugt verwandtesÄusserkonzept stelltDarFürAgent inSpracheDargestellt kleiner zeitlichZwischen zeitlichZwischenOderGleichzeitig überqürt

Type restrictions

between(Gegenstand, Gegenstand, Gegenstand)

Related WordNet synsets

between, 'tween: in between; "two houses with a tree between"

See more related synsets on a separate page.

Axioms (2)

wenn
- path1 ist der pfad entlang dem process geschieht
- process beginnet an source
- process endet an dest
- die länge von path1 ist measure1
- es gibt kein path2,measure2 der path2 ist der pfad entlang dem process geschieht und process beginnet an origin und process endet an dest und die länge von path2 ist measure2 und measure2 ist kleinerAls measure1
,
dann für jeden obj gilt: wenn obj ist ein teil von path1 , dann obj ist zwischen source und dest

(=>
      (and
            (path ?PROCESS ?PATH1)
            (origin ?PROCESS ?SOURCE)
            (destination ?PROCESS ?DEST)
            (length ?PATH1 ?MEASURE1)
            (not
                  (exists
                        (?PATH2 ?MEASURE2)
                        (and
                              (path ?PROCESS ?PATH2)
                              (origin ?PROCESS ?ORIGIN)
                              (destination ?PROCESS ?DEST)
                              (length ?PATH2 ?MEASURE2)
                              (lessThan ?MEASURE2 ?MEASURE1)))))
      (forall
            (?OBJ)
            (=>
                  (part ?OBJ ?PATH1)
                  (between ?SOURCE ?OBJ ?DEST))))

Wenn direct ist ein fall von Richtungsattribut und obj1 ist direct hinsichlich obj2 und obj2 ist direct hinsichlich obj3 , dann obj2 ist zwischen obj1 und obj33 .

(=>
      (and
            (instance ?DIRECT DirectionalAttribute)
            (orientation ?OBJ1 ?OBJ2 ?DIRECT)
            (orientation ?OBJ2 ?OBJ3 ?DIRECT))
      (between ?OBJ1 ?OBJ2 ?OBJ33))