exactCardinality |
appearance as argument number 1 |
![]() |
(documentation exactCardinality EnglishLanguage "This relation expresses the number of values that a particular argument to a relation can have if all other values remain fixed.") | Media.kif 2066-2069 | |
(domain exactCardinality 1 Relation) | Media.kif 2071-2071 | The number 1 argument of exact cardinality is an instance of relation |
(domain exactCardinality 2 Integer) | Media.kif 2072-2072 | The number 2 argument of exact cardinality is an instance of integer |
(domain exactCardinality 3 Integer) | Media.kif 2073-2073 | The number 3 argument of exact cardinality is an instance of integer |
(instance exactCardinality TernaryPredicate) | Media.kif 2070-2070 | exact cardinality is an instance of ternary predicate |
appearance as argument number 2 |
![]() |
(format ChineseLanguage exactCardinality "那只能是 %3 values 对于 %1 的参数 %2 ") | domainEnglishFormat.kif 3332-3332 | |
(format ChineseTraditionalLanguage exactCardinality "那只能是 %3 values 對於 %1 的參數 %2 ") | domainEnglishFormat.kif 3331-3331 | |
(format EnglishLanguage exactCardinality "there can be %3 values to argument %2 of %1") | domainEnglishFormat.kif 3330-3330 | |
(termFormat EnglishLanguage exactCardinality "exact cardinality") | domainEnglishFormat.kif 65827-65827 |
antecedent |
![]() |
![]() |
![]() |