variable arity relation (VariableArityRelation)
The Class of Relations that
do not have a fixed number of arguments.
SUMO / BASE-ONTOLOGY
greatest common divisor fn
least common multiple fn
partial valued relation
relation extended to quantities
single valued relation
total valued relation
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)
(valence ?REL ?INT))))