SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Predicate > QuaternaryPredicate |
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 | (=> |
Next Predicate: QuintaryPredicate Up: Predicate, QuaternaryRelation Previous Predicate: holds