Predicate - Sigma Knowledge base Browser

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 3382-3388
(documentation Predicate JapaneseLanguage "Predicate とは、Relation の各タプルが有限で順序付けされたオブジェクトのシーケンスである文形成 Relation である。　特定のタプルが '(述語 arg_1 arg_2 .. arg_n)による Predicate の要素であるという事実。 arg_n)'は、arg_i が関連するオブジェクトである。BinaryPredicates の場合、事実は 'arg_1 は述語 arg_2' または 'arg_1 の述語は arg_2' と読むことができる。")	japanese_format.kif 620-624
(subclass Predicate InheritableRelation)	Merge.kif 3380-3380	Predicate is a subclass of inheritable relation
(subclass Predicate Relation)	Merge.kif 3379-3379	Predicate is a subclass of relation

appearance as argument number 2

(instance contraryAttribute Predicate)	Merge.kif 448-448	contrary attribute is an instance of predicate
(instance disjointDecomposition Predicate)	Merge.kif 557-557	disjoint decomposition is an instance of predicate
(instance exhaustiveAttribute Predicate)	Merge.kif 479-479	exhaustive attribute is an instance of predicate
(instance exhaustiveDecomposition Predicate)	Merge.kif 539-539	exhaustive decomposition is an instance of predicate
(instance partition Predicate)	Merge.kif 573-573	partition is an instance of predicate
(instance processList Predicate)	QoSontology.kif 795-795	process list is an instance of predicate
(partition Relation Predicate Function)	Merge.kif 2198-2198	Relation is exhaustively partitioned into predicate and function
(subclass BinaryPredicate Predicate)	Merge.kif 3518-3518	Binary predicate is a subclass of predicate
(subclass ClosedWorldPredicate Predicate)	Merge.kif 18679-18679	Closed world predicate is a subclass of predicate
(subclass LogicalOperator Predicate)	Merge.kif 3590-3590	Logical operator is a subclass of predicate
(subclass QuaternaryPredicate Predicate)	Merge.kif 3540-3540	Quaternary predicate is a subclass of predicate
(subclass QuintaryPredicate Predicate)	Merge.kif 3551-3551	Quintary predicate is a subclass of predicate
(subclass TernaryPredicate Predicate)	Merge.kif 3529-3529	Ternary predicate is a subclass of predicate
(termFormat ChineseLanguage Predicate "谓语")	chinese_format.kif 915-915	Ternary predicate is a subclass of predicate
(termFormat EnglishLanguage Predicate "predicate")	english_format.kif 1037-1037	Ternary predicate is a subclass of predicate
(termFormat FrenchLanguage Predicate "predicat")	french_format.kif 591-591	Ternary predicate is a subclass of predicate
(termFormat Hindi Predicate "vidheya")	terms-hindi.txt 121-121	Ternary predicate is a subclass of predicate
(termFormat ItalianLanguage Predicate "Predicato")	terms-it.txt 124-124	Ternary predicate is a subclass of predicate
(termFormat JapaneseLanguage Predicate "述語")	japanese_format.kif 2276-2276	Ternary predicate is a subclass of predicate
(termFormat PortugueseLanguage Predicate "Predicado")	portuguese_format.kif 543-543	Ternary predicate is a subclass of predicate
(termFormat cb Predicate "matangnon")	terms-cb.txt 126-126	Ternary predicate is a subclass of predicate
(termFormat cz Predicate "predicate")	terms-cz.txt 158-158	Ternary predicate is a subclass of predicate
(termFormat de Predicate "Praedikat")	terms-de.txt 417-417	Ternary predicate is a subclass of predicate
(termFormat ro Predicate "predicat")	relations-ro.kif 612-612	Ternary predicate is a subclass of predicate

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain defaultMaxValue 1 Predicate)	Merge.kif 18649-18649	The number 1 argument of default max value is an instance of predicate
(domain defaultMinValue 1 Predicate)	Merge.kif 18632-18632	The number 1 argument of default min value is an instance of predicate
(domain defaultValue 1 Predicate)	Merge.kif 18666-18666	The number 1 argument of default value is an instance of predicate
(domain maxValue 1 Predicate)	Merge.kif 18614-18614	The number 1 argument of max value is an instance of predicate
(domain minValue 1 Predicate)	Merge.kif 18596-18596	The number 1 argument of min value is an instance of predicate

antecedent

(=> (and (domain ?REL ?NUMBER ?CLASS) (instance ?REL Predicate) (?REL @ROW)) (instance (ListOrderFn (ListFn @ROW) ?NUMBER) ?CLASS))	Merge.kif 3036-3041	If the number a positive integer argument of a relation is an instance of a 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 class
(=> (and (domainSubclass ?REL ?NUMBER ?CLASS) (instance ?REL Predicate) (?REL @ROW)) (subclass (ListOrderFn (ListFn @ROW) ?NUMBER) ?CLASS))	Merge.kif 3043-3048	If the number a positive integer argument of a relation is a subclass of a 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 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 equal an integer and the positive integerth element of (@ARGS) and equal another integer and the positive integerth element of (@ARGS), then equal the integer and the other integer
(=> (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 equal an integer and the positive integerth element of (@ARGS), then there doesn't exist another integer such that equal the other integer and the positive integerth element of (@ARGS) and equal the integer and the other integer
(=> (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 integer and @ARGS such that the relation @ARGS and equal the integer and the positive integerth element of (@ARGS) and there doesn't exist another integer such that equal the other integer and the positive integerth element of (@ARGS) and equal the integer and the other integer
(=> (and (exactCardinality ?REL ?ARG ?COUNT) (instance ?REL Predicate)) (exists (?S ?EL @ARGS) (and (instance ?S SetOrClass) (=> (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))) (and (instance ?EL ?S) (equal (CardinalityFn ?S) ?COUNT))))))	Media.kif 2139-2152	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 exist a class, another integer and @ARGS such that the class is an instance of set or class and if the relation @ARGS and equal the other integer and the positive integerth element of (@ARGS), then the other integer is an instance of the class and equal the number of instances in the class and the integer
(=> (and (instance ?REL1 Predicate) (instance ?REL2 Predicate) (disjointRelation ?REL1 ?REL2) (?REL1 @ROW2)) (not (?REL2 @ROW2)))	Merge.kif 440-446	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 (instance ?RELATION ReflexiveRelation) (reflexiveOn ?RELATION ?CLASS) (instance ?RELATION Predicate)) (forall (?INST) (=> (instance ?INST ?CLASS) (?RELATION ?INST ?INST))))	Merge.kif 3650-3658	If a binary relation is an instance of reflexive relation and the binary relation is reflexive on a class and the binary relation is an instance of predicate, then for all an entity if the entity is an instance of the class, then the binary relation the entity and the entity
(=> (and (maxCardinality ?REL ?ARG ?COUNT) (instance ?REL Predicate)) (exists (?S ?EL @ARGS) (and (instance ?S SetOrClass) (=> (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))) (and (instance ?EL ?S) (lessThanOrEqualTo (CardinalityFn ?S) ?COUNT))))))	Media.kif 2212-2225	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 exist a class, another integer and @ARGS such that the class is an instance of set or class and if the relation @ARGS and equal the other integer and the positive integerth element of (@ARGS), then the other integer is an instance of the class and the number of instances in the class is less than or equal to the integer
(=> (and (minCardinality ?REL ?ARG ?COUNT) (instance ?REL Predicate)) (exists (?S ?EL @ARGS) (and (instance ?S SetOrClass) (=> (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))) (and (instance ?EL ?S) (greaterThanOrEqualTo (CardinalityFn ?S) ?COUNT))))))	Media.kif 2176-2189	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 exist a class, another integer and @ARGS such that the class is an instance of set or class and if the relation @ARGS and equal the other integer and the positive integerth element of (@ARGS), then the other integer is an instance of the class and the number of instances in the class is greater than or equal to the integer
(=> (and (subrelation ?REL1 ?REL2) (instance ?REL1 Predicate) (instance ?REL2 Predicate) (?REL1 @ROW)) (?REL2 @ROW))	Merge.kif 186-192	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 (valence ?REL ?NUMBER) (instance ?REL Predicate)) (forall (@ROW) (=> (?REL @ROW) (equal (ListLengthFn (ListFn @ROW)) ?NUMBER))))	Merge.kif 3086-3093	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 equal length of (@ROW) and 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

KB Term:			Term intersection

English Word: