QuaternaryPredicate Comparison Table

Next Predicate: QuintaryPredicate Up: Predicate, QuaternaryRelation Previous Predicate: holds

QuaternaryPredicate 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))

QuaternaryRelation QuaternaryRelations relate four items. The two subclasses of QuaternaryRelation are QuaternaryPredicate and TernaryFunction Relation valence
(forall (?INT) (domain exhaustiveDecomposition ?INT Class))

QuaternaryPredicate The Class of Predicates that require four arguments QuaternaryRelation singleValued
(=>
(instance ?REL QuaternaryPredicate)
(valence ?REL 4))

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))
QuaternaryRelation	QuaternaryRelations relate four items. The two subclasses of QuaternaryRelation are QuaternaryPredicate and TernaryFunction	Relation	valence	(forall (?INT) (domain exhaustiveDecomposition ?INT Class))
QuaternaryPredicate	The Class of Predicates that require four arguments	QuaternaryRelation	singleValued	(=> (instance ?REL QuaternaryPredicate) (valence ?REL 4))

Next Predicate: QuintaryPredicate Up: Predicate, QuaternaryRelation Previous Predicate: holds