| appearance as argument number 1 |
|
| (documentation maxCardinality EnglishLanguage "This relation expresses the maximum number of values that a particular argument to a relation can have if all other values remain fixed.") | Media.kif 2185-2187 | |
| (domain maxCardinality 1 Relation) | Media.kif 2189-2189 | domain maxCardinality, 1 and Relation |
| (domain maxCardinality 2 Integer) | Media.kif 2190-2190 | domain maxCardinality, 2 and Integer |
| (domain maxCardinality 3 Integer) | Media.kif 2191-2191 | domain maxCardinality, 3 and Integer |
| (instance maxCardinality TernaryPredicate) | Media.kif 2188-2188 | instance maxCardinality and TernaryPredicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage maxCardinality "那里能有最多 %3 values 对于 1% 的 参数 2% ") | domainEnglishFormat.kif 3831-3831 | |
| (format ChineseTraditionalLanguage maxCardinality "那裡能有最多 %3 values 對於 1% 的 參數 2% ") | domainEnglishFormat.kif 3830-3830 | |
| (format EnglishLanguage maxCardinality "there can be at most %3 values to argument %2 of %1") | domainEnglishFormat.kif 3829-3829 |
| antecedent |
|
|
| (=> (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 |
|
| (=> (maxCardinality ?REL ?ARG ?COUNT) (lessThanOrEqualTo (CardinalityFn (KappaFn ?EL (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))))) ?COUNT)) |
Media.kif 2194-2202 |
|
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners