CardinalityFn |
appearance as argument number 1 |
(documentation CardinalityFn ChineseLanguage "") | chinese_format.kif 2309-2309 | |
(documentation CardinalityFn EnglishLanguage "(CardinalityFn ?CLASS) returns the number of instances in the SetOrClass ?CLASS or the number of members in the ?CLASS Collection.") | Merge.kif 5512-5514 | |
(documentation CardinalityFn JapaneseLanguage "(CardinalityFn ?CLASS) は、SetOrClass ?CLASS内のインスタンスの数または ?CLASS Collection のメンバーの数を返す。") | japanese_format.kif 980-981 | |
(domain CardinalityFn 1 (UnionFn SetOrClass Collection)) |
Merge.kif 5509-5509 | Le nombre 1 argument de CardinalityFn est une instance de l' union de ensemble ou classe et collection |
(instance CardinalityFn UnaryFunction) | Merge.kif 5508-5508 | CardinalityFn est une instance de function unaire |
(range CardinalityFn Integer) | Merge.kif 5510-5510 | Le domaine de CardinalityFn est une instance de nombre entier |
appearance as argument number 2 |
(format ChineseLanguage CardinalityFn "%1 instance 的数量") | chinese_format.kif 506-506 | |
(format EnglishLanguage CardinalityFn "the number of instances in %1") | english_format.kif 511-511 | |
(format FrenchLanguage CardinalityFn "le nombre d' instances dans %1") | french_format.kif 296-296 | |
(format ItalianLanguage CardinalityFn "il numero di istanzia in %1") | relations-it.txt 41-41 | |
(format JapaneseLanguage CardinalityFn "%1 の instances の数") | japanese_format.kif 2073-2073 | |
(format PortugueseLanguage CardinalityFn "o numero de instancias dentro de %1") | portuguese_format.kif 248-248 | |
(format cb CardinalityFn "ang pananglitan sa %1") | relations-cb.txt 75-75 | |
(format de CardinalityFn "die Zahl Faellen in %1") | relations-de.txt 659-659 | |
(format hi CardinalityFn "%1 ke sadasyon kii sankhyaa") | relations-hindi.txt 83-83 | |
(format ro CardinalityFn "numãrul instances%t{instanþelor} din %1") | relations-ro.kif 317-317 | |
(format sv CardinalityFn "antalet instanser av %1") | relations-sv.txt 324-324 | |
(format tg CardinalityFn "an bilang halimbawa sa %1") | relations-tg.txt 98-98 | |
(termFormat ChineseLanguage CardinalityFn "势函数") | chinese_format.kif 507-507 | |
(termFormat ChineseLanguage CardinalityFn "基数") | domainEnglishFormat.kif 13212-13212 | |
(termFormat ChineseTraditionalLanguage CardinalityFn "基數") | domainEnglishFormat.kif 13211-13211 | |
(termFormat EnglishLanguage CardinalityFn "cardinality") | domainEnglishFormat.kif 13210-13210 | |
(termFormat tg CardinalityFn "tungkulin ng bilang halimbawa") | relations-tg.txt 99-99 |
antecedent |
consequent |
statement |