ity #$AtemporalNecessarilyEssentialCollectionType<br />
	    direct specialization of: #$Relation <br />
	    direct generalization of: #$VariableAritySkolemFuncN #$VariableAritySkolemFunction #$VariableArityFunction</p>
<p>#$CommutativeRelation   commutative relations</p>
<p>    A collection of #$Relations and an instance of #$RelationTypeByLogicalFeature (q.v.). Each instance of #$CommutativeRelation COMREL is a predicate or function that is commutative in all of its argument-places. That is, 