qi3 yuan2 (origin)

(origin process source) means that source indicates where the process began. Note that this relation implies that source is present at the beginning of the process, but need not participate throughout the process. For example, the submarine is the origin in the following proposition: the missile was launched from a submarine.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

zhong3 lei4

ke3 ji4 cheng2 guan1 xi4

ge2 wei4 jue2 se4

qi3 yuan2

Coordinate term(s)

shi1 shi4 zhe3 zhong1 dian3 fang1 xiang4 jing1 yan4 zhe3 lu4 jing4 shou4 shi4 zhe3

Type restrictions

origin(li4 cheng2, wu4 ti1)

Related WordNet synsets

origin, origination, genesis, inception: an event that is a beginning; a first part or stage of subsequent events
originate in: come from

See more related synsets on a separate page.

Axioms (11)

If process (bu2) qi3 yuan2s yu1 obj, then "process zai4 ""process cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" de5 ""process cun2 zai4 de5 shi2 jian1" de5 kai1 shi3"wei4 zhi4" wei4 yu1 "obj zai4 ""obj cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" de5 ""obj cun2 zai4 de5 shi2 jian1" de5 kai1 shi3"wei4 zhi4".

(=>
      (origin ?PROCESS ?OBJ)
      (located
            (WhereFn
                  ?PROCESS
                  (BeginFn
                        (WhenFn ?PROCESS)))
            (WhereFn
                  ?OBJ
                  (BeginFn
                        (WhenFn ?OBJ)))))

If motion shi4 yi2 dong4 de5 shi2 li4 and obj shi4 motion de5 shou4 shi4 zhe3 and motion (bu2) qi3 yuan2s yu1 place, then obj wei4 yu1 place ""motion cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "motion cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2.

(=>
      (and
            (instance ?MOTION Motion)
            (patient ?MOTION ?OBJ)
            (origin ?MOTION ?PLACE))
      (holdsDuring
            (ImmediatePastFn
                  (WhenFn ?MOTION))
            (located ?OBJ ?PLACE)))

if
- path1 ban4 sui2 process fa1 sheng1 de5 processlu4 jing4
- process (bu2) qi3 yuan2s yu1 source
- process (bu2) zhong1 jie2not(s) dest
- path1 de5 chang2 du4 shi4 measure1
- 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))))

If remove shi4 yi2 chu2 de5 shi2 li4 and remove (bu2) qi3 yuan2s yu1 place and obj shi4 remove de5 shou4 shi4 zhe3, then obj wei4 yu1 place ""remove cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "remove cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and obj wei4 yu1 place ""remove cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "remove cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.

(=>
      (and
            (instance ?REMOVE Removing)
            (origin ?REMOVE ?PLACE)
            (patient ?REMOVE ?OBJ))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?REMOVE))
                  (located ?OBJ ?PLACE))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?REMOVE))
                  (not
                        (located ?OBJ ?PLACE)))))

If sub shi4 ti4 huan4 de5 shi2 li4, then there exist fang4 zhi4 put,yi2 chu2 remove,obj1,obj2,place so_that_not put shi4 sub de5 ci4 li4 cheng2 and remove shi4 sub de5 ci4 li4 cheng2 and obj1 shi4 remove de5 shou4 shi4 zhe3 and remove (bu2) qi3 yuan2s yu1 place and obj2 shi4 put de5 shou4 shi4 zhe3 and put (bu2) zhong1 jie2not(s) place and obj1 deng3 yu1 obj2.

(=>
      (instance ?SUB Substituting)
      (exists
            (?PUT ?REMOVE ?OBJ1 ?OBJ2 ?PLACE)
            (and
                  (instance ?PUT Putting)
                  (instance ?REMOVE Removing)
                  (subProcess ?PUT ?SUB)
                  (subProcess ?REMOVE ?SUB)
                  (patient ?REMOVE ?OBJ1)
                  (origin ?REMOVE ?PLACE)
                  (patient ?PUT ?OBJ2)
                  (destination ?PUT ?PLACE)
                  (not
                        (equal ?OBJ1 ?OBJ2)))))

If change shi4 yong1 you3 quan2 de5 zhuan3 yi2 de5 shi2 li4 and change (bu2) qi3 yuan2s yu1 agent1 and change (bu2) zhong1 jie2not(s) agent2 and agent2 shi4 shi1 shi4 zhe3 de5 shi2 li4 and obj shi4 change de5 shou4 shi4 zhe3, then agent1 (mei2) yong1 you3not(s) obj ""change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and agent2 (mei2) yong1 you3not(s) obj ""change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "change cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.

(=>
      (and
            (instance ?CHANGE ChangeOfPossession)
            (origin ?CHANGE ?AGENT1)
            (destination ?CHANGE ?AGENT2)
            (instance ?AGENT2 Agent)
            (patient ?CHANGE ?OBJ))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?CHANGE))
                  (possesses ?AGENT1 ?OBJ))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?CHANGE))
                  (possesses ?AGENT2 ?OBJ))))

If give shi4 gei3 yu3 de5 shi2 li4 and give shi4 agent1 de5 shi1 shi4 zhe3 and give (bu2) zhong1 jie2not(s) agent2 and agent2 shi4 shi1 shi4 zhe3 de5 shi2 li4 and obj shi4 give de5 shou4 shi4 zhe3, then there exists huo4 qu3 get so_that_not get shi4 agent2 de5 shi1 shi4 zhe3 and get (bu2) qi3 yuan2s yu1 agent1 and obj shi4 get de5 shou4 shi4 zhe3.

(=>
      (and
            (instance ?GIVE Giving)
            (agent ?GIVE ?AGENT1)
            (destination ?GIVE ?AGENT2)
            (instance ?AGENT2 Agent)
            (patient ?GIVE ?OBJ))
      (exists
            (?GET)
            (and
                  (instance ?GET Getting)
                  (agent ?GET ?AGENT2)
                  (origin ?GET ?AGENT1)
                  (patient ?GET ?OBJ))))

If give shi4 gei3 yu3 de5 shi2 li4 and give shi4 agent de5 shi1 shi4 zhe3, then give (bu2) qi3 yuan2s yu1 agent.

(=>
      (and
            (instance ?GIVE Giving)
            (agent ?GIVE ?AGENT))
      (origin ?GIVE ?AGENT))

There exists jie4 qu3 borrow so_that_not borrow shi4 agent1 de5 shi1 shi4 zhe3 and borrow (bu2) qi3 yuan2s yu1 agent2 and object shi4 borrow de5 shou4 shi4 zhe3 if and only if there exists jie4 yu3 lend so_that_not lend shi4 agent2 de5 shi1 shi4 zhe3 and lend (bu2) zhong1 jie2not(s) agent1 and object shi4 lend de5 shou4 shi4 zhe3.

(<=>
      (exists
            (?BORROW)
            (and
                  (instance ?BORROW Borrowing)
                  (agent ?BORROW ?AGENT1)
                  (origin ?BORROW ?AGENT2)
                  (patient ?BORROW ?OBJECT)))
      (exists
            (?LEND)
            (and
                  (instance ?LEND Lending)
                  (agent ?LEND ?AGENT2)
                  (destination ?LEND ?AGENT1)
                  (patient ?LEND ?OBJECT))))

There exists mai3 buy so_that_not buy shi4 agent1 de5 shi1 shi4 zhe3 and buy (bu2) qi3 yuan2s yu1 agent2 and object shi4 buy de5 shou4 shi4 zhe3 if and only if there exists xiao1 shou4 sell so_that_not sell shi4 agent2 de5 shi1 shi4 zhe3 and sell (bu2) zhong1 jie2not(s) agent1 and object shi4 sell de5 shou4 shi4 zhe3.

(<=>
      (exists
            (?BUY)
            (and
                  (instance ?BUY Buying)
                  (agent ?BUY ?AGENT1)
                  (origin ?BUY ?AGENT2)
                  (patient ?BUY ?OBJECT)))
      (exists
            (?SELL)
            (and
                  (instance ?SELL Selling)
                  (agent ?SELL ?AGENT2)
                  (destination ?SELL ?AGENT1)
                  (patient ?SELL ?OBJECT))))

If sell shi4 xiao1 shou4 de5 shi2 li4 and sell shi4 agent de5 shi1 shi4 zhe3, then sell (bu2) qi3 yuan2s yu1 agent.

(=>
      (and
            (instance ?SELL Selling)
            (agent ?SELL ?AGENT))
      (origin ?SELL ?AGENT))