SUMO View all facts Glossary Help |

Entity > Abstract > Class > Relation > Predicate |

Predicate | ||||

subject | fact |

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 documentationelement 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 ofsingleValued | ||

is a kind of Relation | ||

Relation | is second domain ofsubrelation | |

Class | has axiom (<=> | |

has axiom (forall (?INT) ( | ||

has axiom (forall (?INT) ( | ||

is third domain ofdomain | ||

is third domain ofdomainSubclass | ||

Abstract | is Physicaldisjoint from |

**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