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

variable arity relation (VariableArityRelation)

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

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
entity
is subclass of
  abstract  
is subclass of
  relation  
is subclass of
  variable arity relation  

Instance(s)

disjoint relation  contrary attribute  exhaustive attribute  exhaustive decomposition  disjoint decomposition  partition  assignment fn  holds  list fn  greatest common divisor fn  least common multiple fn 

Coordinate term(s)

binary relation  list  partial valued relation  predicate  probability relation  quaternary relation  quintary relation  relation extended to quantities  single valued relation  spatial relation  temporal relation  ternary relation  total valued relation 

Axioms (2)

relation is disjointly decomposed into binary relation,ternary relation,quaternary relation,quintary relation,variable arity relation. 
(disjointDecomposition Relation BinaryRelation TernaryRelation QuaternaryRelation QuintaryRelation VariableArityRelation)
If rel is an instance of variable arity relation, then there doesn't exist int so that rel %&has int argument(s). 
(=>
      (instance ?REL VariableArityRelation)
      (not
            (exists
                  (?INT)
                  (valence ?REL ?INT))))