| appearance as argument number 1 |
|
| (subclass Predicate Relation) | Merge.kif 3387-3387 | Predicate is a subclass of relation |
| (subclass Predicate InheritableRelation) | Merge.kif 3388-3388 | Predicate is a subclass of inheritable relation |
| (documentation Predicate EnglishLanguage "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'.") | Merge.kif 3390-3396 | Predicate is a subclass of inheritable relation |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain minValue 1 Predicate) | Merge.kif 18607-18607 | The number 1 argument of min value is an instance of predicate |
| (domain maxValue 1 Predicate) | Merge.kif 18625-18625 | The number 1 argument of max value is an instance of predicate |
| (domain defaultMinValue 1 Predicate) | Merge.kif 18643-18643 | The number 1 argument of default min value is an instance of predicate |
| (domain defaultMaxValue 1 Predicate) | Merge.kif 18660-18660 | The number 1 argument of default max value is an instance of predicate |
| (domain defaultValue 1 Predicate) | Merge.kif 18677-18677 | The number 1 argument of default value is an instance of predicate |
| antecedent |
|
|
| (=> (and (subrelation ?REL1 ?REL2) (instance ?REL1 Predicate) (instance ?REL2 Predicate) (?REL1 @ROW)) (?REL2 @ROW)) |
Merge.kif 186-192 | If X is a subrelation of Y, X is an instance of predicate, Y is an instance of predicate, and X @ROW, then Y @ROW |
| (=> (and (instance ?REL1 Predicate) (instance ?REL2 Predicate) (disjointRelation ?REL1 ?REL2) (?REL1 @ROW2)) (not (?REL2 @ROW2))) |
Merge.kif 439-445 | If X is an instance of predicate, Y is an instance of predicate, X and Y are disjoint, and X @ROW2, then Y @ROW2 |
| (=> (and (domain ?REL ?NUMBER ?CLASS) (instance ?REL Predicate) (?REL @ROW)) (instance (ListOrderFn (ListFn @ROW) ?NUMBER) ?CLASS)) |
Merge.kif 3044-3049 | If the number X argument of Y is an instance of Z, Y is an instance of predicate, and Y @ROW, then V element of (@ROW) is an instance of Z |
| (=> (and (domainSubclass ?REL ?NUMBER ?CLASS) (instance ?REL Predicate) (?REL @ROW)) (subclass (ListOrderFn (ListFn @ROW) ?NUMBER) ?CLASS)) |
Merge.kif 3051-3056 | If the number X argument of Y is a subclass of Z, Y is an instance of predicate, and Y @ROW, then V element of (@ROW) is a subclass of Z |
| (=> (and (valence ?REL ?NUMBER) (instance ?REL Predicate)) (forall (@ROW) (=> (?REL @ROW) (equal (ListLengthFn (ListFn @ROW)) ?NUMBER)))) |
Merge.kif 3094-3101 | If X has Y argument(s) and X is an instance of predicate, then for all : if X @ROW, then equal length of (@ROW) and Y |
| (=> (and (instance ?RELATION ReflexiveRelation) (reflexiveOn ?RELATION ?CLASS) (instance ?RELATION Predicate)) (forall (?INST) (=> (instance ?INST ?CLASS) (?RELATION ?INST ?INST)))) |
Merge.kif 3656-3664 | If X is an instance of reflexive relation, X is reflexive on Y, and X is an instance of predicate, then For all Entity Z: if Z is an instance of Y, then X Z and Z |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-c58f641d (2026-04-12) is open source software produced by Articulate Software and its partners