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

Kategorie

inheritable relation

Fallrolle

pfad

Coordinate term(s)

agent bestimmungsort richtung experiencer origin patient

Type restrictions

path(Bewegung, Gebiet)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (1)

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