方式/情狀 (manner)

(manner process manner) means that the Process process is qualified by the Attribute manner. The Attributes of Processes are usually denoted by adverbs and include things like the speed of the wind, the style of a dance, or the intensity of a sports competition.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

不對稱關係

非反身關係

方式/情狀

Superrelation(s)

特性

方式/情狀

Coordinate term(s)

反面函數計數函數正面函數主體函數或然率函數表皮函數屬性作者先於肇因次類肇因公民封閉於填滿已連結工程元件包含訊息相交日期降低可能性發展期形式無交集文字說明持續時間期間較早編者元素等同關係於利用以...語言表達填充完成次數圖部分大於有意圖有技巧在...期間為真須使...為真有權使...為真洞同一元素直接實例直接次種類串列中在注意範圍中增加可能性居住抑制內部非反射於... 大於小於測量空間上接觸時段相接成員情態屬性部分重疊雙親偏序於... 部分填充路徑長穿入擁有先決條件避免正部分適當填充出版範圍範圍次種類實現反射於... 兄弟姊妹小於開始次聚集次組織次計畫次命題續接屬性封閉續接屬性外表部分表面時間部分時間全序於... 三分法使用（結合）價人造物版本

Type restrictions

manner(歷程)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

無交集關係(方式/情狀,屬性) holds.

(disjointRelation manner attribute)

If proc 是方向的改變的實例, then there exists 方向屬性 attr so that

proc 以方式 attr 執行 ""proc 存在的時間" 不久之前"a(之中) "proc 存在的時間" 不久之前 and proc 以方式 attr 執行 ""proc 存在的時間" 不久之後"a(之中) "proc 存在的時間" 不久之後
proc 以方式 attr 執行 ""proc 存在的時間" 不久之後"a(之中) "proc 存在的時間" 不久之後 and proc 以方式 attr 執行 ""proc 存在的時間" 不久之前"a(之中) "proc 存在的時間" 不久之前

(=>
      (instance ?PROC DirectionChange)
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR DirectionalAttribute)
                  (or
                        (and
                              (holdsDuring
                                    (ImmediatePastFn
                                          (WhenFn ?PROC))
                                    (manner ?PROC ?ATTR))
                              (holdsDuring
                                    (ImmediateFutureFn
                                          (WhenFn ?PROC))
                                    (not
                                          (manner ?PROC ?ATTR))))
                        (and
                              (holdsDuring
                                    (ImmediateFutureFn
                                          (WhenFn ?PROC))
                                    (manner ?PROC ?ATTR))
                              (holdsDuring
                                    (ImmediatePastFn
                                          (WhenFn ?PROC))
                                    (not
                                          (manner ?PROC ?ATTR))))))))