避免 (prevents)

A very general Predicate. (prevents proc1 proc2) means that proc1 prevents the occurrence of proc2. In other words, if proc1 is occurring in a particular time and place, proc2 cannot occur at the same time and place. For example, innoculating prevents contracting disease. Note that this is a relation between types of Processes, not between instances.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

種類

可繼承關係

二元述詞

非反身關係

避免

Coordinate term(s)

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

Type restrictions

prevents(subclass 歷程, subclass 歷程)

Related WordNet synsets

prevention, bar: the act of preventing
averting: the act of preventing something from occurring; "averting danger was his responsibility"
prevention: control by preventing the occurrence of something; "money was allocated to study the cause and prevention of influenza"
prevent, keep: prevent from doing something or being in a certain state; "We must prevent the cancer from spreading"
prevent, forestall, foreclose, preclude, forbid: keep from happening of arising; have the effect of preventing; "My sense of tact forbids an honest answer"

See more related synsets on a separate page.

Axioms (2)

避免內部相關於抑制.

(relatedInternalConcept prevents inhibits)

if proc1 避免 proc2 的發生,
then for all time,place holds: if there exists proc1 inst1 so that inst1 位於 place timea(之中) time, then there exists proc2 inst2 so that inst2 位於 place timea(之中) time

(=>
      (prevents ?PROC1 ?PROC2)
      (forall
            (?TIME ?PLACE)
            (=>
                  (holdsDuring
                        ?TIME
                        (exists
                              (?INST1)
                              (and
                                    (instance ?INST1 ?PROC1)
                                    (located ?INST1 ?PLACE))))
                  (not
                        (holdsDuring
                              ?TIME
                              (exists
                                    (?INST2)
                                    (and
                                          (instance ?INST2 ?PROC2)
                                          (located ?INST2 ?PLACE))))))))