SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > Predicate

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