Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| minCardinality |
| appearance as argument number 1 |
|
| (documentation minCardinality EnglishLanguage "This relation expresses the minimum number of values that a particular argument to a relation can have if all other values remain fixed.") | Media.kif 2099-2101 | |
| (instance minCardinality TernaryPredicate) | Media.kif 2102-2102 | min cardinality is an instance of ternary predicate |
| (domain minCardinality 1 Relation) | Media.kif 2103-2103 | The number 1 argument of min cardinality is an instance of relation |
| (domain minCardinality 2 Integer) | Media.kif 2104-2104 | The number 2 argument of min cardinality is an instance of integer |
| (domain minCardinality 3 Integer) | Media.kif 2105-2105 | The number 3 argument of min cardinality is an instance of integer |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage minCardinality "there are at least %3 values to argument %2 of %1") | domainEnglishFormat.kif 3858-3858 | |
| (format ChineseTraditionalLanguage minCardinality "那裡至少有 %3 values 對於 %1 的參數 %2 ") | domainEnglishFormat.kif 3859-3859 | |
| (format ChineseLanguage minCardinality "那里至少有 %3 values 对于 %1 的参数 %2 ") | domainEnglishFormat.kif 3860-3860 | |
| (termFormat EnglishLanguage minCardinality "min cardinality") | domainEnglishFormat.kif 65894-65894 |
| antecedent |
|
|
| (=> (minCardinality ?REL ?ARG ?COUNT) (exists (?EL @ARGS) (greaterThanOrEqualTo (CardinalityFn (KappaFn ?EL (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))))) ?COUNT))) |
Media.kif 2108-2117 | If there are at least X values to argument Y of Z, then there exist W and @ARGS such that the number of instances in the class described by W is greater than or equal to X |
| (=> (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 2121-2134 | If there are at least X values to argument Y of Z and Z is an instance of predicate, then there exist W, V and @ARGS such that W is an instance of set or class and Z @ARGS and equal V and T element of (@ARGS)V is an instance of W and the number of instances in W is greater than or equal to X |
|