cardinality |
appearance as argument number 1 |
(documentation cardinality EnglishLanguage "(cardinality ?SET ?NUMBER) means that there are ?NUMBER of elements in the SetOrClass ?SET.") | Government.kif 439-440 | |
(domain cardinality 1 SetOrClass) | Government.kif 436-436 | Die Zahl 1 Argument von cardinality ist ein fall von SetOrClass %n{nicht} |
(domain cardinality 2 NonnegativeInteger) | Government.kif 437-437 | Die Zahl 2 Argument von cardinality ist ein fall von NonnegativeInteger %n{nicht} |
(instance cardinality BinaryPredicate) | Government.kif 435-435 | cardinality ist ein fall von BinaryPredicate %n{nicht} |
appearance as argument number 2 |
(format ChineseLanguage cardinality "%2 %n 是 %1 的 cardinality") | domainEnglishFormat.kif 376-376 | |
(format ChineseTraditionalLanguage cardinality "%2 %n 是 %1 的 cardinality") | domainEnglishFormat.kif 375-375 | |
(format EnglishLanguage cardinality "%2 is %n a cardinality of %1") | domainEnglishFormat.kif 374-374 | |
(termFormat ChineseLanguage cardinality "基数") | domainEnglishFormat.kif 13206-13206 | |
(termFormat ChineseTraditionalLanguage cardinality "基數") | domainEnglishFormat.kif 13205-13205 | |
(termFormat EnglishLanguage cardinality "cardinality") | domainEnglishFormat.kif 13204-13204 |
antecedent |
(=> (cardinality ?SET ?COUNT) (equal (CardinalityFn ?SET) ?COUNT)) |
Government.kif 442-444 |
|
consequent |
appearance as argument number 0 |
(cardinality (ExtensionFn DevelopedCountry) 35) |
Economy.kif 144-144 | cardinality die kategorie, die DevelopedCountry entspricht and 35 |
(cardinality (ExtensionFn DevelopingCountry) 126) |
Economy.kif 613-613 | cardinality die kategorie, die DevelopingCountry entspricht and 126 |
(cardinality (ExtensionFn LeastDevelopedCountry) 42) |
Economy.kif 405-405 | cardinality die kategorie, die LeastDevelopedCountry entspricht and 42 |
(cardinality (ExtensionFn LessDevelopedCountry) 172) |
Economy.kif 229-229 | cardinality die kategorie, die LessDevelopedCountry entspricht and 172 |