| 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 3343-3349 | |
| (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 3341-3341 | |
| (subclass Predicate Relation) | Merge.kif 3340-3340 |
| appearance as argument number 2 |
|
|
| (instance contraryAttribute Predicate) | Merge.kif 455-455 | |
| (instance disjointDecomposition Predicate) | Merge.kif 564-564 | |
| (instance exhaustiveAttribute Predicate) | Merge.kif 486-486 | |
| (instance exhaustiveDecomposition Predicate) | Merge.kif 546-546 | |
| (instance partition Predicate) | Merge.kif 580-580 | |
| (instance processList Predicate) | QoSontology.kif 686-686 | |
| (partition Relation Predicate Function) | Merge.kif 2162-2162 | |
| (subclass BinaryPredicate Predicate) | Merge.kif 3479-3479 | |
| (subclass ClosedWorldPredicate Predicate) | Merge.kif 18549-18549 | |
| (subclass LogicalOperator Predicate) | Merge.kif 3551-3551 | |
| (subclass QuaternaryPredicate Predicate) | Merge.kif 3501-3501 | |
| (subclass QuintaryPredicate Predicate) | Merge.kif 3512-3512 | |
| (subclass TernaryPredicate Predicate) | Merge.kif 3490-3490 | |
| (termFormat ChineseLanguage Predicate "谓语") | chinese_format.kif 915-915 | |
| (termFormat EnglishLanguage Predicate "predicate") | english_format.kif 1037-1037 | |
| (termFormat FrenchLanguage Predicate "predicat") | french_format.kif 591-591 | |
| (termFormat Hindi Predicate "vidheya") | terms-hindi.txt 121-121 | |
| (termFormat ItalianLanguage Predicate "Predicato") | terms-it.txt 124-124 | |
| (termFormat JapaneseLanguage Predicate "述語") | japanese_format.kif 2276-2276 | |
| (termFormat PortugueseLanguage Predicate "Predicado") | portuguese_format.kif 543-543 | |
| (termFormat cb Predicate "matangnon") | terms-cb.txt 126-126 | |
| (termFormat cz Predicate "predicate") | terms-cz.txt 158-158 | |
| (termFormat ro Predicate "predicat") | relations-ro.kif 612-612 | |
| (termFormat tg Predicate "panaguri") | terms-tg.txt 125-125 | |
| 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 18519-18519 | |
| (domain defaultMinValue 1 Predicate) | Merge.kif 18502-18502 | |
| (domain defaultValue 1 Predicate) | Merge.kif 18536-18536 | |
| (domain maxValue 1 Predicate) | Merge.kif 18484-18484 | |
| (domain minValue 1 Predicate) | Merge.kif 18466-18466 |
| antecedent |
|
|
| (=> (and (domain ?REL ?NUMBER ?CLASS) (instance ?REL Predicate) (?REL @ROW)) (instance (ListOrderFn (ListFn @ROW) ?NUMBER) ?CLASS)) |
Merge.kif 2999-3004 | |
| (=> (and (domainSubclass ?REL ?NUMBER ?CLASS) (instance ?REL Predicate) (?REL @ROW)) (subclass (ListOrderFn (ListFn @ROW) ?NUMBER) ?CLASS)) |
Merge.kif 3006-3011 | |
| (=> (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 2106-2113 | |
| (=> (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 2093-2103 | |
| (=> (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 2075-2090 | |
| (=> (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 2137-2150 | |
| (=> (and (instance ?REL1 Predicate) (instance ?REL2 Predicate) (disjointRelation ?REL1 ?REL2) (?REL1 @ROW2)) (not (?REL2 @ROW2))) |
Merge.kif 447-453 | |
| (=> (and (instance ?RELATION ReflexiveRelation) (reflexiveOn ?RELATION ?CLASS) (instance ?RELATION Predicate)) (forall (?INST) (=> (instance ?INST ?CLASS) (?RELATION ?INST ?INST)))) |
Merge.kif 3611-3619 | |
| (=> (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 2210-2223 | |
| (=> (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 2174-2187 | |
| (=> (and (subrelation ?REL1 ?REL2) (instance ?REL1 Predicate) (instance ?REL2 Predicate) (?REL1 @ROW)) (?REL2 @ROW)) |
Merge.kif 192-198 | |
| (=> (and (valence ?REL ?NUMBER) (instance ?REL Predicate)) (forall (@ROW) (=> (?REL @ROW) (equal (ListLengthFn (ListFn @ROW)) ?NUMBER)))) |
Merge.kif 3049-3056 |
|
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