（結合）價 (valence)

Specifies the number of arguments that a relation can take. If a relation does not have a fixed number of arguments, it does not have a valence and it is an instance of VariableArityRelation. For example, holds is a VariableArityRelation.

Ontology

SUMO / STRUCTURAL-ONTOLOGY

Class(es)

種類

可繼承關係

二元述詞

不對稱關係

種類

可繼承關係

單值關係

（結合）價

Coordinate term(s)

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

Type restrictions

valence(關係, 正整數)

Axioms (13)

If pred1 是 pred2 的次關係 and pred1 %&有論元(s) number, then pred2 %&有論元(s) number.

(=>
      (and
            (subrelation ?PRED1 ?PRED2)
            (valence ?PRED1 ?NUMBER))
      (valence ?PRED2 ?NUMBER))

If 無交集關係() holds and rel1 是 "()" 的一成員 and rel2 是 "()" 的一成員 and rel1 %&有論元(s) number, then rel2 %&有論元(s) number.

(=>
      (and
            (disjointRelation @ROW)
            (inList
                  ?REL1
                  (ListFn @ROW))
            (inList
                  ?REL2
                  (ListFn @ROW))
            (valence ?REL1 ?NUMBER))
      (valence ?REL2 ?NUMBER))

rel 是全值關係的實例 if and only if there exists valence so that rel 是關係的實例 and rel %&有論元(s) valence and

if for all number,element,class holds: if number 小於 valence and rel 的論元 number 是 class 的實例 and element 等於 ""()" 的第二元素", then element 是 class 的實例,
then there exists item so that rel(,item) (不) 成立s

(<=>
      (instance ?REL TotalValuedRelation)
      (exists
            (?VALENCE)
            (and
                  (instance ?REL Relation)
                  (valence ?REL ?VALENCE)
                  (=>
                        (forall
                              (?NUMBER ?ELEMENT ?CLASS)
                              (=>
                                    (and
                                          (lessThan ?NUMBER ?VALENCE)
                                          (domain ?REL ?NUMBER ?CLASS)
                                          (equal
                                                ?ELEMENT
                                                (ListOrderFn
                                                      (ListFn @ROW)
                                                      ?NUMBER)))
                                    (instance ?ELEMENT ?CLASS)))
                        (exists
                              (?ITEM)
                              (holds ?REL @ROW ?ITEM))))))

if rel %&有論元(s) number,
then for all holds: if rel() (不) 成立s, then ""()" 的長度" 等於 number

(=>
      (valence ?REL ?NUMBER)
      (forall
            (@ROW)
            (=>
                  (holds ?REL @ROW)
                  (equal
                        (ListLengthFn
                              (ListFn @ROW))
                        ?NUMBER))))

If function 是一元函數的實例, then function %&有論元(s) .

(=>
      (instance ?FUNCTION UnaryFunction)
      (valence ?FUNCTION 1))

If function 是二元函數的實例, then function %&有論元(s) .

(=>
      (instance ?FUNCTION BinaryFunction)
      (valence ?FUNCTION 2))

If function 是三元函數的實例, then function %&有論元(s) .

(=>
      (instance ?FUNCTION TernaryFunction)
      (valence ?FUNCTION 3))

If function 是四元函數的實例, then function %&有論元(s) .

(=>
      (instance ?FUNCTION QuaternaryFunction)
      (valence ?FUNCTION 4))

If rel 是二元述詞的實例, then rel %&有論元(s) .

(=>
      (instance ?REL BinaryPredicate)
      (valence ?REL 2))

If rel 是三元述詞的實例, then rel %&有論元(s) .

(=>
      (instance ?REL TernaryPredicate)
      (valence ?REL 3))

If rel 是四元述詞的實例, then rel %&有論元(s) .

(=>
      (instance ?REL QuaternaryPredicate)
      (valence ?REL 4))

If rel 是五元述詞的實例, then rel %&有論元(s) .

(=>
      (instance ?REL QuintaryPredicate)
      (valence ?REL 5))

If rel 是變異元數關係的實例, then there doesn't exist int so that rel %&有論元(s) int.

(=>
      (instance ?REL VariableArityRelation)
      (not
            (exists
                  (?INT)
                  (valence ?REL ?INT))))