 SUMO   View all facts   Glossary   Help Entity > Abstract > Class > Relation > Predicate
Next RelationProbabilityRelation    UpRelation    Previous RelationFunction  Predicate subject fact
 Predicate documentation 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' is first domain of singleValued is a kind of Relation Relation is second domain of subrelation Class has axiom `(<=> (instance ?CLASS Class) (subclass ?CLASS Entity))` has axiom `(forall (?INT) (domain disjointDecomposition ?INT Class))` has axiom `(forall (?INT) (domain exhaustiveDecomposition ?INT Class))` is third domain of domain is third domain of domainSubclass Abstract is disjoint from Physical Kinds of Predicate :

• BinaryPredicate (96 kinds, 886 facts) - A Predicate relating two items - its valence is two
• disjointDecomposition (10 facts) - A disjointDecomposition of a Class C is a set of subclasses of C that are mutually disjoint
• exhaustiveDecomposition (9 facts) - An exhaustiveDecomposition of a Class C is a set of subclasses of C such that every subclass of C either is an element of the set or is a subclass of an element of the set. Note: this does not necessarily mean that the elements of the set are disjoint (see partition - a partition is a disjoint exhaustive decomposition.
• holds (4 facts) - (holds P N1 ... NK) is true just in case the tuple of objects denoted by N1,..., NK is an element of the Relation P
• QuaternaryPredicate (4 facts) - The Class of Predicates that require four arguments
• QuintaryPredicate (4 facts) - The Class of Predicates that require five arguments
• SententialOperator (6 kinds, 26 facts) - This Class currently comprises all of the logical operators (viz. 'and', 'or', 'not', '=>', and '<=>')
• TernaryPredicate (14 kinds, 121 facts) - The Class of Predicates that require exactly three arguments