QuintaryPredicate Comparison Table

Next Predicate: SententialOperator Up: Predicate, QuintaryRelation Previous Predicate: QuaternaryPredicate

QuintaryPredicate comparison table

Subject documentation is a kind of be first domain of have axiom

Predicate A Predicate is a sentence-forming Relation. Each tuple in the Relation is a finite, ordered sequence of objects. The fact that a particular tuple is an element of a Predicate is denoted by '(*predicate* arg_1 arg_2 .. arg_n)', where the arg_i are the objects so related. In the case of BinaryPredicates, the fact can be read as `arg_1 is *predicate* arg_2' or `a *predicate* of arg_1 is arg_2' Relation singleValued
(forall (?INT) (domain exhaustiveDecomposition ?INT Class))

QuintaryRelation QuintaryRelations relate five items. The two subclasses of QuintaryRelation are QuintaryPredicate and QuaternaryFunction Relation valence
(forall (?INT) (domain exhaustiveDecomposition ?INT Class))

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

Subject	documentation	is a kind of	be first domain of	have axiom
Predicate	A Predicate is a sentence-forming Relation. Each tuple in the Relation is a finite, ordered sequence of objects. The fact that a particular tuple is an element of a Predicate is denoted by '(predicate arg_1 arg_2 .. arg_n)', where the arg_i are the objects so related. In the case of BinaryPredicates, the fact can be read as `arg_1 is predicate arg_2' or `a predicate of arg_1 is arg_2'	Relation	singleValued	(forall (?INT) (domain exhaustiveDecomposition ?INT Class))
QuintaryRelation	QuintaryRelations relate five items. The two subclasses of QuintaryRelation are QuintaryPredicate and QuaternaryFunction	Relation	valence	(forall (?INT) (domain exhaustiveDecomposition ?INT Class))
QuintaryPredicate	The Class of Predicates that require five arguments	QuintaryRelation	singleValued	(=> (instance ?REL QuintaryPredicate) (valence ?REL 5))

Next Predicate: SententialOperator Up: Predicate, QuintaryRelation Previous Predicate: QuaternaryPredicate