Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

變異元數關係 (VariableArityRelation)

The Class of Relations that do not have a fixed number of arguments.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
實體
is subclass of
  抽象的  
is subclass of
  關係  
is subclass of
  變異元數關係  

Instance(s)

無交集關係  矛盾屬性  窮盡的屬性  窮盡的分解  無交集分解  分割  指定函數  成立  序列函數  最大公約數函數  最小公倍數函數 

Coordinate term(s)

二元關係  序列  偏值關係  述詞  或然率關係  四元關係  五元關係  與量關係  單值關係  空間關係  時間關係  三元關係  全值關係 

Axioms (2)

關係 無交集地 分解成 二元關係,三元關係,四元關係,五元關係,變異元數關係. 
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)
If rel 是 變異元數關係 的 實例, then there doesn't exist int so that rel %&有 論元(s) int. 
(=>
      (instance ?REL VariableArityRelation)
      (not
            (exists
                  (?INT)
                  (valence ?REL ?INT))))