Relationships




Parents 
InheritableRelation 
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 three kinds of Relation: Predicate, Function, and List. 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. A List, on the other hand, is a particular ordered ntuple.

Children 
BinaryPredicate  A Predicate relating two items  its valence is two. 
 LogicalOperator  This Class comprises all of the logical operators (viz. 'and', 'or', 'not', '=>', and '<=>'). 
 QuaternaryPredicate  The Class of Predicates that require four arguments. 
 QuintaryPredicate  The Class of Predicates that require five arguments. 
 TernaryPredicate  The Class of Predicates that require exactly three arguments. 