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 3231-3237 | |
(subclass Predicate InheritableRelation) | Merge.kif 3229-3229 | |
(subclass Predicate Relation) | Merge.kif 3228-3228 |
appearance as argument number 2 |
![]() |
(instance contraryAttribute Predicate) | Merge.kif 455-455 | |
(instance disjointDecomposition Predicate) | Merge.kif 565-565 | |
(instance exhaustiveAttribute Predicate) | Merge.kif 488-488 | |
(instance exhaustiveDecomposition Predicate) | Merge.kif 547-547 | |
(instance partition Predicate) | Merge.kif 581-581 | |
(instance processList Predicate) | QoSontology.kif 684-684 | |
(partition Relation Predicate Function) | Merge.kif 2075-2075 | |
(subclass BinaryPredicate Predicate) | Merge.kif 3365-3365 | |
(subclass LogicalOperator Predicate) | Merge.kif 3437-3437 | |
(subclass QuaternaryPredicate Predicate) | Merge.kif 3387-3387 | |
(subclass QuintaryPredicate Predicate) | Merge.kif 3398-3398 | |
(subclass TernaryPredicate Predicate) | Merge.kif 3376-3376 | |
(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 17117-17117 | |
(domain defaultMinValue 1 Predicate) | Merge.kif 17100-17100 | |
(domain defaultValue 1 Predicate) | Merge.kif 17133-17133 | |
(domain maxValue 1 Predicate) | Merge.kif 17083-17083 | |
(domain minValue 1 Predicate) | Merge.kif 17066-17066 |
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 2116-2133 | |
(=> (and (domain ?REL ?NUMBER ?CLASS) (instance ?REL Predicate) (?REL @ROW)) (instance (ListOrderFn (ListFn @ROW) ?NUMBER) ?CLASS)) |
Merge.kif 2892-2897 | |
(=> (and (domainSubclass ?REL ?NUMBER ?CLASS) (instance ?REL Predicate) (?REL @ROW)) (subclass (ListOrderFn (ListFn @ROW) ?NUMBER) ?CLASS)) |
Merge.kif 2899-2904 | |
(=> (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 | |
(=> (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 | |
(=> (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 | |
(=> (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 | |
(=> (and (instance ?REL1 Predicate) (instance ?REL2 Predicate) (disjointRelation ?REL1 ?REL2) (?REL1 @ROW2)) (not (?REL2 @ROW2))) |
Merge.kif 447-453 | |
(=> (and (irreflexiveOn ?RELATION ?CLASS) (instance ?RELATION Predicate)) (forall (?INST) (=> (instance ?INST ?CLASS) (not (?RELATION ?INST ?INST))))) |
Merge.kif 3515-3523 | |
(=> (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 | |
(=> (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 | |
(=> (and (reflexiveOn ?RELATION ?CLASS) (instance ?RELATION Predicate)) (forall (?INST) (=> (instance ?INST ?CLASS) (?RELATION ?INST ?INST)))) |
Merge.kif 3497-3504 | |
(=> (and (subrelation ?REL1 ?REL2) (instance ?REL1 Predicate) (instance ?REL2 Predicate) (?REL1 @ROW)) (?REL2 @ROW)) |
Merge.kif 191-197 | |
(=> (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 3568-3580 | |
(=> (and (valence ?REL ?NUMBER) (instance ?REL Predicate)) (forall (@ROW) (=> (?REL @ROW) (equal (ListLengthFn (ListFn @ROW)) ?NUMBER)))) |
Merge.kif 2942-2949 |
![]() |
![]() |