 SUMO   View all facts   Glossary   Help Entity > Abstract > Class > Relation > VariableArityRelation
Next RelationBinaryRelation    UpRelation    Previous RelationTernaryRelation  VariableArityRelation subject fact
 VariableArityRelation documentation The Class of Relations that do not have a fixed number of arguments has axiom `(=> (instance ?REL VariableArityRelation) (not (exists (?INT) (valence ?REL ?INT))))` is a kind of Relation Relation is first domain of domain is first domain of domainSubclass is first domain of holds is first domain of subrelation is first domain of valence is second domain of subrelation Class is third domain of domain is third domain of domainSubclass Abstract is disjoint from Physical Kinds of VariableArityRelation :

• AssignmentFn (20 facts) - If F is a function with a value for the objects denoted by N1,..., NK, then the term (AssignmentFn F N1 ... NK) denotes the value of applying F to the objects denoted by N1,..., NK. Otherwise, the value is undefined
• disjointDecomposition (10 facts) - A disjointDecomposition of a Class C is a set of subclasses of C that are mutually disjoint
• exhaustiveDecomposition (9 facts) - An exhaustiveDecomposition of a Class C is a set of subclasses of C such that every subclass of C either is an element of the set or is a subclass of an element of the set. Note: this does not necessarily mean that the elements of the set are disjoint (see partition - a partition is a disjoint exhaustive decomposition.
• GreatestCommonDivisorFn (4 facts) - (GreatestCommonDivisorFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) returns the greatest common divisor of ?NUMBER1 through ?NUMBER
• holds (4 facts) - (holds P N1 ... NK) is true just in case the tuple of objects denoted by N1,..., NK is an element of the Relation P
• LeastCommonMultipleFn (4 facts) - (LeastCommonMultipleFn ?NUMBER1 ?NUMBER2 ... ?NUMBER) returns the least common multiple of ?NUMBER1 through ?NUMBER