次歷程 (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)

種類

可繼承關係

二元述詞

偏序關係

次歷程

Coordinate term(s)

弧線重量作者先於或同時肇因次類肇因公民封閉於相連的包含訊息共生複製日期降低可能性發展期形式無交集分配文字說明持續時間較早編者元素雇用相等等同關係於利用以...語言表達面對家族關係完成次數圖部分大於大於或等於有意圖有技巧在...期間為真須使...為真有權使...為真洞同一元素串列中在注意範圍中增加可能性獨立或然率居住抑制初始化序列實例倒序非反射於... 大於小於小於或等於位於物質測量時段相接情態屬性時段重疊雙親部分偏序於... 部分位於路徑長擁有先決條件避免特性出版範圍範圍次種類提及反射於... SUMO內部相關概念兄弟姊妹小於開始次屬性次聚集次圖次序列次命題次種類次關係包含訊息種類包含訊息實例續接屬性封閉續接屬性時間部分時間全序於... 三分法使用（結合）價人造物版本

Type restrictions

subProcess(歷程, 歷程)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (19)

If subproc 是 proc 的次歷�{, then "subproc 存在的時間" 等於 "proc 存在的時間" or "subproc 存在的時間" (沒) 發生not(s) 在 "proc 存在的時間" 期間.

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

if subproc 是 proc 的次歷�{,
then for all region holds: if proc 位於 region, then subproc 位於 region

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

If proc 是歷程的實例 and subproc 是 proc 的次歷�{, then there exists time so that subproc (不) 存在s time 期間.

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

If digest 是消化的實例, then there exists 化學分解 decomp so that decomp 是 digest 的次歷�{.

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

If sub 是替換的實例, then there exist 放置 put,移除 remove,obj1,obj2,place so that put 是 sub 的次歷�{ and remove 是 sub 的次歷�{ and obj1 是 remove 的受事者 and remove (不) �_源s 於 place and obj2 是 put 的受事者 and put (不) 終結not(s) place and obj1 等於 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 是單方面的給與的實例, then there doesn't exist 交易 trans so that give 是 trans 的次歷�{.

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

If get 是單方面的獲取的實例, then there doesn't exist 交易 trans so that get 是 trans 的次歷�{.

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

If trans 是交易的實例, then there exist agent1,agent2,給與 give1,給與 give2,obj1,obj2 so that give1 是 trans 的次歷�{ and give2 是 trans 的次歷�{ and give1 是 agent1 的施事者 and give2 是 agent2 的施事者 and obj1 是 give1 的受事者 and obj2 是 give2 的受事者 and give1 (不) 終結not(s) agent2 and give2 (不) 終結not(s) agent1 and agent1 等於 agent2 and obj1 等於 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 是外科手術的實例 and animal 是 act 的受事者, then there exists 切割 subact so that animal 是動物的實例 and cutting 是 animal 的受事者 and subact 是 act 的次歷�{.

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

If combustion 是燃燒的實例, then there exist 加溫 heat,光線 light so that heat 是 combustion 的次歷�{ and light 是 combustion 的次歷�{.

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

If war 是戰爭的實例, then there exists 戰役 battle so that battle 是 war 的次歷�{.

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

If battle 是戰役的實例, then there exists 戰爭 war so that battle 是 war 的次歷�{.

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

If battle 是戰役的實例, then there exists 暴力性的競爭 attack so that attack 是 battle 的次歷�{.

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

If move 是調遣的實例, then there exists 競爭 contest so that move 是 contest 的次歷�{.

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

If tactile 是觸覺的實例, then there exists 觸動 touch so that touch 是 tactile 的次歷�{.

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

If melt 是熔化的實例, then there exists 加溫 heat so that heat 是 melt 的次歷�{.

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

If boil 是沸騰的實例, then there exists 加溫 heat so that heat 是 boil 的次歷�{.

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

If cond 是凝結的實例, then there exists 降溫 cool so that cool 是 cond 的次歷�{.

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

If freeze 是凝固的實例, then there exists 降溫 cool so that cool 是 freeze 的次歷�{.

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