path (path)

(path motion path) means that path is a route along which motion occurs. For example, Highway 101 is the path in the following proposition: the car drove up Highway 101.

Ontology

SUMO / PROCESSES

Class(es)

Classe

inheritable relation

RuoloSemantico

path

Coordinate term(s)

agent destination direction experiencer origin patient

Type restrictions

path(Movimento, Regione)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (1)

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