次數 (frequency)

(frequency proc time) means that the Process type of proc recurs after every interval of time.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

種類

可繼承關係

二元述詞

不對稱關係

次數

Coordinate term(s)

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

Type restrictions

frequency(subclass 歷程, 持續時間)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (1)

if 每 time1 發生 proc,
then for all time2 holds: if time2 的持續是 time1, then there exists position so that position 是 time2 的部分 and there exists inst so that inst 是 proc 的實例 positiona(之中) position

(=>
      (frequency ?PROC ?TIME1)
      (forall
            (?TIME2)
            (=>
                  (duration ?TIME2 ?TIME1)
                  (exists
                        (?POSITION)
                        (and
                              (temporalPart ?POSITION ?TIME2)
                              (holdsDuring
                                    ?POSITION
                                    (exists
                                          (?INST)
                                          (instance ?INST ?PROC))))))))