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 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 
pr�dicat binaire  A Predicate relating two items  its valence is two. 
 ClosedWorldPredicate  
 LogicalOperator  This Class comprises all of the logical operators (viz. 'and', 'or', 'not', '=>', and '<=>'). 
 pr�dicat quaternaire  The Class of Predicates that require four arguments. 
 predicate quinternaire  The Class of Predicates that require five arguments. 
 pr�dicat ternaire  The Class of Predicates that require exactly three arguments. 