Relationships




Parents 
inheritable relation 
The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.


relation 
The Class of relations. There are two kinds of Relation: Predicate and Function. Predicates and Functions both denote sets of ordered ntuples. The difference between these two Classes is that Predicates cover formulaforming operators, while Functions cover termforming operators.

Children 
binary predicate  A Predicate relating two items  its valence is two. 
 ClosedWorldPredicate  
 logical operator  This Class comprises all of the logical operators (viz. 'and', 'or', 'not', '=>', and '<=>'). 
 quaternary predicate  The Class of Predicates that require four arguments. 
 quintary predicate  The Class of Predicates that require five arguments. 
 ternary predicate  The Class of Predicates that require exactly three arguments. 