抑制 (inhibits)

A very general Predicate. (inhibits proc1 proc2) means that the Process proc1 inhibits or hinders the occurrence of the Process proc2. For example, obstructing an object inhibits moving it. 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

inhibits(subclass 歷程, subclass 歷程)

Related WordNet synsets

barrier: anything serving to maintain separation by obstructing vision or access
impede, hinder: be a hindrance or obstacle to; "She is impeding the progress of our project"
obstruct, blockade, block, hinder, stymie, stymy, embarrass: hinder or prevent the progress or accomplishment of; "His brother blocked him at every turn"
inhibited: held back or restrained or prevented; "in certain conditions previously inhibited conditioned reactions can reappear"
preventive, preventative: tending to prevent or hinder

See more related synsets on a separate page.

Axioms (2)

If 抑制(proc1,proc2) holds, then for all time,place holds: "there exists proc1 inst1 so that inst1 位於 place timea(之中) time" (不）降低s) %2 的可能性.

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

避免內部相關於抑制.

(relatedInternalConcept prevents inhibits)