Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi Concept: English word: Home

# lu4 jing4 (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.

SUMO / PROCESSES

## Class(es)

 zhong3 lei4

ke3 ji4 cheng2 guan1 xi4

ge2 wei4 jue2 se4

lu4 jing4

## Coordinate term(s)

shi1 shi4 zhe3  zhong1 dian3  fang1 xiang4  jing1 yan4 zhe3  qi3 yuan2  shou4 shi4 zhe3

## Type restrictions

path(yi2 dong4, qu1 yu4)

## Related WordNet synsets

See more related synsets on a separate page.

## Axioms (1)

• if
• path1 ban4 sui2 process fa1 sheng1 de5 processlu4 jing4
• and
• process (bu2) qi3 yuan2s yu1 source
• and
• process (bu2) zhong1 jie2not(s) dest
• and
• path1 de5 chang2 du4 shi4 measure1
• and
• there don't exist path2,measure2 so_that_not path2 ban4 sui2 process fa1 sheng1 de5 processlu4 jing4 and process (bu2) qi3 yuan2s yu1 origin and process (bu2) zhong1 jie2not(s) dest and path2 de5 chang2 du4 shi4 measure2 and measure2 xiao3 yu1 measure1
,
• then for all obj holds: if obj shi4 path1 de5 bu4 fen5), then obj jie4 yu1 source he2 dest zhong1 jian1
• .
(=>
(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))))