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

Classe

inheritable relation

RelazioneSpaziale
is instance of

Classe

inheritable relation

PredicatoTernario
is instance of

between

Coordinate term(s)

back fn front fn mereological difference fn mereological product fn mereological sum fn principal host fn skin fn where fn altitude capability conditional probability confers obligation confers right connected connects depth distance domain domain subclass has purpose for agent hole larger links occupies position orientation part partially fills partly located prefers related external concept represents for agent represents in language smaller temporally between temporally between or equal traverses

Type restrictions

between(Oggetto, Oggetto, Oggetto)

Related WordNet synsets

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

See more related synsets on a separate page.

Axioms (2)

se
- path1 é cammino mentre process si verifica
- process si originas in source
- process fines in dest
- la lunghezza di path1 é measure1
- non esiste path2,measure2 tale che path2 é cammino mentre process si verifica e process si originas in origin e process fines in dest e la lunghezza di path2 é measure2 e measure2 é meno dimeasure1
,
allora per ogni obj vale: se obj é una parte di path1, allora obj is between source and 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))))

Se direct é un' istanza di AttributoDirezionale e obj1 é direct a obj2 e obj2 é direct a obj3, allora obj2 is between obj1 and obj33.

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