QuintaryRelation Comparison Table

Entity > Abstract > Class > Relation > QuintaryRelation

Next Relation: RelationExtendedToQuantities Up: Relation Previous Relation: QuaternaryRelation

QuintaryRelation comparison table

Subject be third domain of documentation be disjoint from is a kind of be second domain of be first domain of have axiom

QuintaryPredicate domainSubclass The Class of Predicates that require five arguments Physical QuintaryRelation subrelation singleValued
(=>
(instance ?REL QuintaryPredicate)
(valence ?REL 5))

Subject	be third domain of	documentation	be disjoint from	is a kind of	be second domain of	be first domain of	have axiom
QuintaryPredicate	domainSubclass	The Class of Predicates that require five arguments	Physical	QuintaryRelation	subrelation	singleValued	(=> (instance ?REL QuintaryPredicate) (valence ?REL 5))

Next Relation: RelationExtendedToQuantities Up: Relation Previous Relation: QuaternaryRelation