maxCardinality |
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 2189-2191 | |
(domain maxCardinality 1 Relation) | Media.kif 2193-2193 | O argumento numero 1 de maxCardinality e' uma instancia de Relacao |
(domain maxCardinality 2 Integer) | Media.kif 2194-2194 | O argumento numero 2 de maxCardinality e' uma instancia de Numero Inteiro |
(domain maxCardinality 3 Integer) | Media.kif 2195-2195 | O argumento numero 3 de maxCardinality e' uma instancia de Numero Inteiro |
(instance maxCardinality TernaryPredicate) | Media.kif 2192-2192 | maxCardinality e' uma instancia de Predicado Ternario |
appearance as argument number 2 |
(format ChineseLanguage maxCardinality "那里能有最多 %3 values 对于 1% 的 参数 2% ") | domainEnglishFormat.kif 3830-3830 | |
(format ChineseTraditionalLanguage maxCardinality "那裡能有最多 %3 values 對於 1% 的 參數 2% ") | domainEnglishFormat.kif 3829-3829 | |
(format EnglishLanguage maxCardinality "there can be at most %3 values to argument %2 of %1") | domainEnglishFormat.kif 3828-3828 | |
(termFormat EnglishLanguage maxCardinality "max cardinality") | domainEnglishFormat.kif 65870-65870 |
antecedent |