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.

Ontologie

SUMO / PROCESSES

Class(es)

třída

inheritable relation

case role

path

Související termín(y)

agent destination direction experiencer origin patient

Typy argumentů

path(pohyb, oblast)

Related WordNet synsets

See more related synsets on a separate page.

Axiomy (1)

jestliže
- path1 je cesta podél které se vyskytuje process
- process začíná v source
- process končí v dest
- délka path1 je measure1
- neexistují path2,measure2 tak, že path2 je cesta podél které se vyskytuje process a process začíná v origin a process končí v dest a délka path2 je measure2 a measure2 je menší než measure1
,
potom pro všechny obj platí: jestliže obj je částí path1, potom obj je mezi source a 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))))