li4 cheng2 (Process)

Intuitively, the class of things that happen and have temporal parts or stages. Examples include extended events like a football match or a race, actions like Searching and Reading, and biological processes. The formal definition is: anything that lasts for a time but is not an Object. Note that a Process may have participants 'inside' it which are Objects, such as the players in a football match. In a 4D ontology, a Process is something whose spatiotemporal extent is thought of as dividing into temporal stages roughly perpendicular to the time-axis.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

shi2 ti3

wu4 zhi4 de5

li4 cheng2

Subclass(es)

shuang1 shou4 shi4 li4 cheng2 yi4 xiang4 xing4 li4 cheng2 yi2 dong4 na4 zai4 gai3 bian4 xing2 zhuang4 gai3 bian4

Coordinate term(s)

wu4 ti1

Constrains relations

shi1 shi4 zhe3 neng2 li4 zhao4 yin1 ci4 lei4 zhao4 yin1 fu4 yu3 yi4 wu4 fu4 yu3 quan2 li4 zhong1 dian3 fang1 xiang4 jing1 yan4 zhe3 ci4 shu4 you3 ji4 qiao3 xu1 shi3...wei2 zhen1 you3 quan2 shi3...wei2 zhen1 yi4 zhi4 gong1 ju4 fang1 shi4/qing2 zhuang4 qi3 yuan2 shou4 shi4 zhe3 xian1 jue2 tiao2 jian4 bi4 mian3 shi2 xian4 zi1 yuan2 jie2 guo3 ci4 li4 cheng2

Related WordNet synsets

event: something that happens at a given place and time
change: the act of changing something; "the change of government had no impact on the economy"; "his change on abortion cost him the election"
alteration, modification, adjustment: the act of making something different (as e.g. the size of a garment)
change of state: the act of changing something into something different in essential characteristics
transformation, translation: the act of transforming; "a photograph is a translation of a scene onto a two-dimensional surface"
occurrence: an instance of something occurring; "a disease of frequent occurrence"; "the occurrence (or presence) of life on other planets"
be, occur: happen or come to pass; "I lost my wallet; this was during the visit to my parents' house"; "There were two hundred people at his funeral"; "There was a lot of noise in the kitchen"

See more related synsets on a separate page.

Axioms (6)

wu4 zhi4 de5 wan2 quan2 fen1 ge1 cheng2 wu4 ti1,li4 cheng2.

(partition Physical Object Process)

If process shi4 li4 cheng2 de5 shi2 li4, then there exists cause so_that_not process shi4 cause de5 shi1 shi4 zhe3.

(=>
      (instance ?PROCESS Process)
      (exists
            (?CAUSE)
            (agent ?PROCESS ?CAUSE)))

If proc1 shi4 li4 cheng2 de5 shi2 li4, then there exists proc2 so_that_not proc2 (bu2) zao4 cheng2 proc1.

(=>
      (instance ?PROC1 Process)
      (exists
            (?PROC2)
            (causes ?PROC2 ?PROC1)))

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 device shi4 zhuang1 zhi4 de5 shi2 li4, then there exists li4 cheng2 proc so_that_not device ke3 yi3 ren4 jue2 se4 gong1 ju4 zuo4 proc.

(=>
      (instance ?DEVICE Device)
      (exists
            (?PROC)
            (and
                  (subclass ?PROC Process)
                  (capability ?PROC instrument ?DEVICE))))

If device shi4 zhuang1 zhi4 de5 shi2 li4, then there exists li4 cheng2 proc so_that_not device you3 yi4 tu2 "device ke3 yi3 ren4 jue2 se4 gong1 ju4 zuo4 proc".

(=>
      (instance ?DEVICE Device)
      (exists
            (?PROC)
            (and
                  (subclass ?PROC Process)
                  (hasPurpose
                        ?DEVICE
                        (capability ?PROC instrument ?DEVICE)))))