Simple Knowledge base Browser - VariableArityRelation

Simple Browser : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

Sigma KEE - VariableArityRelation

KB Term:

relation a arit� variable

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

Relationships
Parents	relation	The Class of relations. There are two kinds of Relation: Predicate and Function. Predicates and Functions both denote sets of ordered n-tuples. The difference between these two Classes is that Predicates cover formula-forming operators, while Functions cover term-forming operators.