ci4 li4 cheng2 (subProcess)

(subProcess subproc proc) means that subproc is a subprocess of proc. A subprocess is here understood as a temporally distinguished part (proper or not) of a Process.

Ontology

SUMO / PROCESSES

Class(es)

zhong3 lei4

ke3 ji4 cheng2 guan1 xi4

er4 yuan2 shu4 ci2
is instance of

pian1 xu4 guan1 xi4
is instance of

ci4 li4 cheng2

Coordinate term(s)

hu2 xian4 zhong4 liang4 zuo4 zhe3 xian1 yu1 huo4 tong5 shi2 zhao4 yin1 ci4 lei4 zhao4 yin1 gong1 min2 feng1 bi4 yu1 xiang1 lian2 de5 bao1 han2 xun4 xi1 gong4 sheng1 fu4 zhi4 ri4 qi1 jiang4 di1 ke3 neng2 xing4 fa1 zhan3 qi1 xing2 shi4 wu2 jiao1 ji2 fen1 pei4 wen2 zi4 shuo1 ming2 chi2 xu4 shi2 jian1 jiao4 zao3 bian1 zhe3 yuan2 su4 gu4 yong4 xiang1 deng3 deng3 tong2 guan1 xi4 yu1 li4 yong4 yi3...yu3 yan2 biao3 da2 mian4 dui4 jia1 zu2 guan1 xi4 wan2 cheng2 ci4 shu4 tu2 bu4 fen5 da4 yu1 da4 yu1 huo4 deng3 yu1 you3 yi4 tu2 you3 ji4 qiao3 zai4...qi1 jian1 wei2 zhen1 xu1 shi3...wei2 zhen1 you3 quan2 shi3...wei2 zhen1 dong4 tong2 yi1 yuan2 su4 chuan4 lie4 zhong1 zai4 zhu4 yi4 fan4 wei2 zhong1 zeng1 jia1 ke3 neng2 xing4 du2 li4 huo4 ran2 lv4 ju1 zhu4 yi4 zhi4 chu1 shi3 hua4 xu4 lie4 shi2 li4 dao4 xu4 fei1 fan3 she4 yu1... da4 yu1 xiao3 yu1 xiao3 yu1 huo4 deng3 yu1 wei4 yu1 wu4 zhi4 ce4 liang4 shi2 duan4 xiang1 jie1 qing2 tai4 shu3 xing4 shi2 duan4 zhong4 die2 雙親 bu4 fen5 pian1 xu4 yu1... bu4 fen5 wei4 yu1 lu4 jing4 chang2 yong1 you3 xian1 jue2 tiao2 jian4 bi4 mian3 te4 xing4 chu1 ban3 fan4 wei2 fan4 wei2 ci4 zhong3 lei4 ti2 ji2 fan3 she4 yu1... SUMOna4 bu4 xiang1 guan1 gai4 nian4 xiong1 di4 zi3 mei4 xiao3 yu1 kai1 shi3 ci4 shu3 xing4 ci4 ju4 ji2 ci4 tu2 ci4 xu4 lie4 ci4 ming4 ti2 ci4 zhong3 lei4 ci4 guan1 xi4 bao1 han2 xun4 xi1 zhong3 lei4 bao1 han2 xun4 xi1 shi2 li4 xu4 jie1 shu3 xing4 feng1 bi4 xu4 jie1 shu3 xing4 shi2 jian1 bu4 fen5 shi2 jian1 quan2 xu4 yu1... san1 fen1 fa3 shi3 yong4 jie2 he2 jia4 ren2 zao4 wu4 ban3 ben3

Type restrictions

subProcess(li4 cheng2, li4 cheng2)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (19)

If subproc shi4 proc de5 ci4 li4 cheng2, then "subproc cun2 zai4 de5 shi2 jian1" deng3 yu1 "proc cun2 zai4 de5 shi2 jian1" or "subproc cun2 zai4 de5 shi2 jian1" (mei2) fa1 sheng1not(s) zai4 "proc cun2 zai4 de5 shi2 jian1" qi1 jian1.

(=>
      (subProcess ?SUBPROC ?PROC)
      (or
            (equal
                  (WhenFn ?SUBPROC)
                  (WhenFn ?PROC))
            (during
                  (WhenFn ?SUBPROC)
                  (WhenFn ?PROC))))

if subproc shi4 proc de5 ci4 li4 cheng2,
then for all region holds: if proc wei4 yu1 region, then subproc wei4 yu1 region

(=>
      (subProcess ?SUBPROC ?PROC)
      (forall
            (?REGION)
            (=>
                  (located ?PROC ?REGION)
                  (located ?SUBPROC ?REGION))))

If proc shi4 li4 cheng2 de5 shi2 li4 and subproc shi4 proc de5 ci4 li4 cheng2, then there exists time so_that_not subproc (bu2) cun2 zai4s time qi1 jian1.

(=>
      (and
            (instance ?PROC Process)
            (subProcess ?SUBPROC ?PROC))
      (exists
            (?TIME)
            (time ?SUBPROC ?TIME)))

If digest shi4 xiao1 hua4 de5 shi2 li4, then there exists hua4 xue2 fen1 jie3 decomp so_that_not decomp shi4 digest de5 ci4 li4 cheng2.

(=>
      (instance ?DIGEST Digesting)
      (exists
            (?DECOMP)
            (and
                  (instance ?DECOMP ChemicalDecomposition)
                  (subProcess ?DECOMP ?DIGEST))))

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 give shi4 dan1 fang1 mian4 de5 gei3 yu3 de5 shi2 li4, then there doesn't exist jiao1 yi4 trans so_that_not give shi4 trans de5 ci4 li4 cheng2.

(=>
      (instance ?GIVE UnilateralGiving)
      (not
            (exists
                  (?TRANS)
                  (and
                        (instance ?TRANS Transaction)
                        (subProcess ?GIVE ?TRANS)))))

If get shi4 dan1 fang1 mian4 de5 huo4 qu3 de5 shi2 li4, then there doesn't exist jiao1 yi4 trans so_that_not get shi4 trans de5 ci4 li4 cheng2.

(=>
      (instance ?GET UnilateralGetting)
      (not
            (exists
                  (?TRANS)
                  (and
                        (instance ?TRANS Transaction)
                        (subProcess ?GET ?TRANS)))))

If trans shi4 jiao1 yi4 de5 shi2 li4, then there exist agent1,agent2,gei3 yu3 give1,gei3 yu3 give2,obj1,obj2 so_that_not give1 shi4 trans de5 ci4 li4 cheng2 and give2 shi4 trans de5 ci4 li4 cheng2 and give1 shi4 agent1 de5 shi1 shi4 zhe3 and give2 shi4 agent2 de5 shi1 shi4 zhe3 and obj1 shi4 give1 de5 shou4 shi4 zhe3 and obj2 shi4 give2 de5 shou4 shi4 zhe3 and give1 (bu2) zhong1 jie2not(s) agent2 and give2 (bu2) zhong1 jie2not(s) agent1 and agent1 deng3 yu1 agent2 and obj1 deng3 yu1 obj2.

(=>
      (instance ?TRANS Transaction)
      (exists
            (?AGENT1 ?AGENT2 ?GIVE1 ?GIVE2 ?OBJ1 ?OBJ2)
            (and
                  (instance ?GIVE1 Giving)
                  (instance ?GIVE2 Giving)
                  (subProcess ?GIVE1 ?TRANS)
                  (subProcess ?GIVE2 ?TRANS)
                  (agent ?GIVE1 ?AGENT1)
                  (agent ?GIVE2 ?AGENT2)
                  (patient ?GIVE1 ?OBJ1)
                  (patient ?GIVE2 ?OBJ2)
                  (destination ?GIVE1 ?AGENT2)
                  (destination ?GIVE2 ?AGENT1)
                  (not
                        (equal ?AGENT1 ?AGENT2))
                  (not
                        (equal ?OBJ1 ?OBJ2)))))

If act shi4 wai4 ke1 shou3 shu4 de5 shi2 li4 and animal shi4 act de5 shou4 shi4 zhe3, then there exists qie1 ge1 subact so_that_not animal shi4 dong4 wu4 de5 shi2 li4 and cutting shi4 animal de5 shou4 shi4 zhe3 and subact shi4 act de5 ci4 li4 cheng2.

(=>
      (and
            (instance ?ACT Surgery)
            (patient ?ACT ?ANIMAL))
      (exists
            (?SUBACT)
            (and
                  (instance ?SUBACT Cutting)
                  (instance ?ANIMAL Animal)
                  (patient ?ANIMAL ?CUTTING)
                  (subProcess ?SUBACT ?ACT))))

If combustion shi4 ran2 shao1 de5 shi2 li4, then there exist jia1 wen1 heat,guang1 xian4 light so_that_not heat shi4 combustion de5 ci4 li4 cheng2 and light shi4 combustion de5 ci4 li4 cheng2.

(=>
      (instance ?COMBUSTION Combustion)
      (exists
            (?HEAT ?LIGHT)
            (and
                  (instance ?HEAT Heating)
                  (instance ?LIGHT RadiatingLight)
                  (subProcess ?HEAT ?COMBUSTION)
                  (subProcess ?LIGHT ?COMBUSTION))))

If war shi4 zhan4 zheng1 de5 shi2 li4, then there exists zhan4 yi4 battle so_that_not battle shi4 war de5 ci4 li4 cheng2.

(=>
      (instance ?WAR War)
      (exists
            (?BATTLE)
            (and
                  (instance ?BATTLE Battle)
                  (subProcess ?BATTLE ?WAR))))

If battle shi4 zhan4 yi4 de5 shi2 li4, then there exists zhan4 zheng1 war so_that_not battle shi4 war de5 ci4 li4 cheng2.

(=>
      (instance ?BATTLE Battle)
      (exists
            (?WAR)
            (and
                  (instance ?WAR War)
                  (subProcess ?BATTLE ?WAR))))

If battle shi4 zhan4 yi4 de5 shi2 li4, then there exists bao4 li4 xing4 de5 jing4 zheng1 attack so_that_not attack shi4 battle de5 ci4 li4 cheng2.

(=>
      (instance ?BATTLE Battle)
      (exists
            (?ATTACK)
            (and
                  (instance ?ATTACK ViolentContest)
                  (subProcess ?ATTACK ?BATTLE))))

If move shi4 diao4 qian3 de5 shi2 li4, then there exists jing4 zheng1 contest so_that_not move shi4 contest de5 ci4 li4 cheng2.

(=>
      (instance ?MOVE Maneuver)
      (exists
            (?CONTEST)
            (and
                  (instance ?CONTEST Contest)
                  (subProcess ?MOVE ?CONTEST))))

If tactile shi4 chu4 jue2 de5 shi2 li4, then there exists chu4 dong4 touch so_that_not touch shi4 tactile de5 ci4 li4 cheng2.

(=>
      (instance ?TACTILE TactilePerception)
      (exists
            (?TOUCH)
            (and
                  (instance ?TOUCH Touching)
                  (subProcess ?TOUCH ?TACTILE))))

If melt shi4 rong2 hua4 de5 shi2 li4, then there exists jia1 wen1 heat so_that_not heat shi4 melt de5 ci4 li4 cheng2.

(=>
      (instance ?MELT Melting)
      (exists
            (?HEAT)
            (and
                  (instance ?HEAT Heating)
                  (subProcess ?HEAT ?MELT))))

If boil shi4 fei4 teng2 de5 shi2 li4, then there exists jia1 wen1 heat so_that_not heat shi4 boil de5 ci4 li4 cheng2.

(=>
      (instance ?BOIL Boiling)
      (exists
            (?HEAT)
            (and
                  (instance ?HEAT Heating)
                  (subProcess ?HEAT ?BOIL))))

If cond shi4 ning2 jie2 de5 shi2 li4, then there exists jiang4 wen1 cool so_that_not cool shi4 cond de5 ci4 li4 cheng2.

(=>
      (instance ?COND Condensing)
      (exists
            (?COOL)
            (and
                  (instance ?COOL Cooling)
                  (subProcess ?COOL ?COND))))

If freeze shi4 ning2 gu4 de5 shi2 li4, then there exists jiang4 wen1 cool so_that_not cool shi4 freeze de5 ci4 li4 cheng2.

(=>
      (instance ?FREEZE Freezing)
      (exists
            (?COOL)
            (and
                  (instance ?COOL Cooling)
                  (subProcess ?COOL ?FREEZE))))