Predicate - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Predicate

Predicate(predicate)

appearance as argument number 1

(documentation Predicate ChineseLanguage "Predicate 是一个作句的 Relation，这个 Relation 的每一个元组都是物体有限、有序的的句子。一个特定组员是一个 Predicate 的元素这事实，由 '(predicate arg_1 arg_2 .. arg_n)'来表示， arg_i 是关联的事物。在 BinaryPredicate 的情况下，可以读成 `arg_1 是 predicate arg_2' 或者 `arg_1 的一个 predicate 是 arg_2'。")	chinese_format.kif 1987-1990
(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 3220-3226
(subclass Predicate InheritableRelation)	Merge.kif 3218-3218	Predicate is a subclass of inheritable relation
(subclass Predicate Relation)	Merge.kif 3217-3217	Predicate is a subclass of relation

appearance as argument number 2

(instance contraryAttribute Predicate)	Merge.kif 454-454	contrary attribute is an instance of predicate
(instance disjointDecomposition Predicate)	Merge.kif 564-564	disjoint decomposition is an instance of predicate
(instance exhaustiveAttribute Predicate)	Merge.kif 487-487	exhaustive attribute is an instance of predicate
(instance exhaustiveDecomposition Predicate)	Merge.kif 546-546	exhaustive decomposition is an instance of predicate
(instance partition Predicate)	Merge.kif 580-580	partition is an instance of predicate
(instance processList Predicate)	QoSontology.kif 684-684	process list is an instance of predicate
(partition Relation Predicate Function List)	Merge.kif 2069-2069	Relation is exhaustively partitioned into predicate, function, and list
(subclass BinaryPredicate Predicate)	Merge.kif 3354-3354	Binary predicate is a subclass of predicate
(subclass LogicalOperator Predicate)	Merge.kif 3426-3426	Logical operator is a subclass of predicate
(subclass QuaternaryPredicate Predicate)	Merge.kif 3376-3376	Quaternary predicate is a subclass of predicate
(subclass QuintaryPredicate Predicate)	Merge.kif 3387-3387	Quintary predicate is a subclass of predicate
(subclass TernaryPredicate Predicate)	Merge.kif 3365-3365	Ternary predicate is a subclass of predicate
(termFormat ChineseLanguage Predicate "谓语")	chinese_format.kif 915-915
(termFormat EnglishLanguage Predicate "predicate")	english_format.kif 1042-1042

appearance as argument number 3

(domain defaultMaxValue 1 Predicate)	Merge.kif 17062-17062	The number 1 argument of defaultMaxValue is an instance of predicate
(domain defaultMinValue 1 Predicate)	Merge.kif 17047-17047	The number 1 argument of defaultMinValue is an instance of predicate
(domain defaultValue 1 Predicate)	Merge.kif 17077-17077	The number 1 argument of defaultValue is an instance of predicate
(domain maxValue 1 Predicate)	Merge.kif 17032-17032	The number 1 argument of maxValue is an instance of predicate
(domain minValue 1 Predicate)	Merge.kif 17017-17017	The number 1 argument of minValue is an instance of predicate

antecedent

(<=> (and (instance ?REL TotalValuedRelation) (instance ?REL Predicate)) (exists (?VALENCE) (and (instance ?REL Relation) (valence ?REL ?VALENCE) (=> (forall (?NUMBER ?ELEMENT ?CLASS) (=> (and (lessThan ?NUMBER ?VALENCE) (domain ?REL ?NUMBER ?CLASS) (equal ?ELEMENT (ListOrderFn (ListFn @ROW) ?NUMBER))) (instance ?ELEMENT ?CLASS))) (exists (?ITEM) (?REL @ROW ?ITEM))))))	Merge.kif 2111-2128	A relation is an instance of total valued relation and the relation is an instance of predicate if and only if there exists a positive integer such that the relation is an instance of relation and the relation %&has the positive integer argument(s) and if for all another positive integer, an entity and a set or class if the other positive integer is less than the positive integer and the number the other positive integer argument of the relation is an instance of the set or class and the entity is equal to the other positive integerth element of (@ROW), then the entity is an instance of the set or class , then there exists a fourth entity such that the relation @ROW and the fourth entity
(=> (and (domain ?REL ?NUMBER ?CLASS) (instance ?REL Predicate) (?REL @ROW)) (instance (ListOrderFn (ListFn @ROW) ?NUMBER) ?CLASS))	Merge.kif 2887-2892	If the number a positive integer argument of a relation is an instance of a set or class and the relation is an instance of predicate and the relation @ROW, then the positive integerth element of (@ROW) is an instance of the set or class
(=> (and (domainSubclass ?REL ?NUMBER ?CLASS) (instance ?REL Predicate) (?REL @ROW)) (subclass (ListOrderFn (ListFn @ROW) ?NUMBER) ?CLASS))	Merge.kif 2894-2899	If the number a positive integer argument of a relation is a subclass of a set or class and the relation is an instance of predicate and the relation @ROW, then the positive integerth element of (@ROW) is a subclass of the set or class
(=> (and (exactCardinality ?REL ?ARG 1) (instance ?REL Predicate) (?REL @ARGS) (equal ?X (ListOrderFn (ListFn @ARGS) ?ARG)) (equal ?Y (ListOrderFn (ListFn @ARGS) ?ARG))) (equal ?X ?Y))	Media.kif 2108-2115	If there can be 1 values to argument a positive integer of a relation and the relation is an instance of predicate and the relation @ARGS and another entity is equal to the positive integerth element of (@ARGS) and a fourth entity is equal to the positive integerth element of (@ARGS), then the other entity is equal to the fourth entity
(=> (and (exactCardinality ?REL ?ARG 1) (instance ?REL Predicate) (?REL @ARGS) (equal ?X (ListOrderFn (ListFn @ARGS) ?ARG))) (not (exists (?Y) (and (equal ?Y (ListOrderFn (ListFn @ARGS) ?ARG)) (not (equal ?X ?Y))))))	Media.kif 2095-2105	If there can be 1 values to argument a positive integer of a relation and the relation is an instance of predicate and the relation @ARGS and another entity is equal to the positive integerth element of (@ARGS), then there doesn't exist a fourth entity such that the fourth entity is equal to the positive integerth element of (@ARGS) and the other entity is not equal to the fourth entity
(=> (and (exactCardinality ?REL ?ARG 1) (instance ?REL Predicate)) (exists (?X @ARGS) (and (?REL @ARGS) (equal ?X (ListOrderFn (ListFn @ARGS) ?ARG)) (not (exists (?Y) (and (equal ?Y (ListOrderFn (ListFn @ARGS) ?ARG)) (not (equal ?X ?Y))))))))	Media.kif 2077-2092	If there can be 1 values to argument a positive integer of a relation and the relation is an instance of predicate, then there exist an entity and @ARGS such that the relation @ARGS and the entity is equal to the positive integerth element of (@ARGS) and there doesn't exist a fourth entity such that the fourth entity is equal to the positive integerth element of (@ARGS) and the entity is not equal to the fourth entity
(=> (and (exactCardinality ?REL ?ARG ?COUNT) (instance ?REL Predicate)) (exists (?S) (and (instance ?S SetOrClass) (=> (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))) (and (instance ?EL ?S) (equal (CardinalityFn ?S) ?COUNT))))))	Media.kif 2134-2147	If there can be an integer values to argument a positive integer of a relation and the relation is an instance of predicate, then there exists a set or class such that the set or class is an instance of set or class and if the relation @ARGS and another entity is equal to the positive integerth element of (@ARGS), then the other entity is an instance of the set or class and the number of instances in the set or class is equal to the integer
(=> (and (instance ?REL1 Predicate) (instance ?REL2 Predicate) (disjointRelation ?REL1 ?REL2) (?REL1 @ROW2)) (not (?REL2 @ROW2)))	Merge.kif 446-452	If a relation is an instance of predicate and another relation is an instance of predicate and the relation and the other relation are disjoint and the relation @ROW2, then the other relation @ROW2
(=> (and (irreflexiveOn ?RELATION ?CLASS) (instance ?RELATION Predicate)) (forall (?INST) (=> (instance ?INST ?CLASS) (not (?RELATION ?INST ?INST)))))	Merge.kif 3504-3512	If a binary relation is irreflexive on a set or class and the binary relation is an instance of predicate, then for all an entity if the entity is an instance of the set or class, then the binary relation the entity and the entity
(=> (and (maxCardinality ?REL ?ARG ?COUNT) (instance ?REL Predicate)) (exists (?S) (and (instance ?S SetOrClass) (=> (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))) (and (instance ?EL ?S) (lessThanOrEqualTo (CardinalityFn ?S) ?COUNT))))))	Media.kif 2205-2218	If there can be at most an integer values to argument a positive integer of a relation and the relation is an instance of predicate, then there exists a set or class such that the set or class is an instance of set or class and if the relation @ARGS and another entity is equal to the positive integerth element of (@ARGS), then the other entity is an instance of the set or class and the number of instances in the set or class is less than or equal to the integer
(=> (and (minCardinality ?REL ?ARG ?COUNT) (instance ?REL Predicate)) (exists (?S) (and (instance ?S SetOrClass) (=> (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))) (and (instance ?EL ?S) (greaterThanOrEqualTo (CardinalityFn ?S) ?COUNT))))))	Media.kif 2170-2183	If there are at least an integer values to argument a positive integer of a relation and the relation is an instance of predicate, then there exists a set or class such that the set or class is an instance of set or class and if the relation @ARGS and another entity is equal to the positive integerth element of (@ARGS), then the other entity is an instance of the set or class and the number of instances in the set or class is greater than or equal to the integer
(=> (and (reflexiveOn ?RELATION ?CLASS) (instance ?RELATION Predicate)) (forall (?INST) (=> (instance ?INST ?CLASS) (?RELATION ?INST ?INST))))	Merge.kif 3486-3493	If a binary relation is reflexive on a set or class and the binary relation is an instance of predicate, then for all an entity if the entity is an instance of the set or class, then the binary relation the entity and the entity
(=> (and (subrelation ?REL1 ?REL2) (instance ?REL1 Predicate) (instance ?REL2 Predicate) (?REL1 @ROW)) (?REL2 @ROW))	Merge.kif 190-196	If a relation is a subrelation of another relation and the relation is an instance of predicate and the other relation is an instance of predicate and the relation @ROW, then the other relation @ROW
(=> (and (trichotomizingOn ?RELATION ?CLASS) (instance ?RELATION Predicate)) (forall (?INST1 ?INST2) (=> (and (instance ?INST1 ?CLASS) (instance ?INST2 ?CLASS)) (or (?RELATION ?INST1 ?INST2) (?RELATION ?INST2 ?INST1) (equal ?INST1 ?INST2)))))	Merge.kif 3557-3569	If a binary relation is trichotomizing on a set or class and the binary relation is an instance of predicate, then for all an entity and another entity if the entity is an instance of the set or class and the other entity is an instance of the set or class, then the binary relation the entity and the other entity or the binary relation the other entity and the entity or the entity is equal to the other entity
(=> (and (valence ?REL ?NUMBER) (instance ?REL Predicate)) (forall (@ROW) (=> (?REL @ROW) (equal (ListLengthFn (ListFn @ROW)) ?NUMBER))))	Merge.kif 2937-2944	If a relation %&has a positive integer argument(s) and the relation is an instance of predicate, then for all @ROW if the relation @ROW, then length of (@ROW) is equal to the positive integer

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 is open source software produced by Articulate Software and its partners