FiniteSet |
appearance as argument number 1 |
(documentation FiniteSet ChineseLanguage "这是一个包含一组有限元素的 Set。") | chinese_format.kif 2312-2312 | |
(documentation FiniteSet EnglishLanguage "A Set containing a finite number of elements.") | Merge.kif 5540-5541 | |
(documentation FiniteSet JapaneseLanguage "有限数の要素を含む Set。") | japanese_format.kif 985-985 | |
(subclass FiniteSet Set) | Merge.kif 5538-5538 |
appearance as argument number 2 |
(termFormat ChineseLanguage FiniteSet "有限集合") | chinese_format.kif 1271-1271 | |
(termFormat EnglishLanguage FiniteSet "finite set") | english_format.kif 1763-1763 | |
(termFormat FrenchLanguage FiniteSet "ensemble fini") | french_format.kif 949-949 | |
(termFormat Hindi FiniteSet "sImita samUha") | terms-hindi.txt 484-484 | |
(termFormat ItalianLanguage FiniteSet "InsiemeFinito") | terms-it.txt 488-488 | |
(termFormat JapaneseLanguage FiniteSet "有限集合") | japanese_format.kif 2633-2633 | |
(termFormat PortugueseLanguage FiniteSet "Conjunto Finito") | portuguese_format.kif 901-901 | |
(termFormat cz FiniteSet "finite set") | terms-cz.txt 524-524 | |
(termFormat ro FiniteSet "mulþime finitã") | relations-ro.kif 970-970 | |
(termFormat tg FiniteSet "takdang wakas") | terms-tg.txt 489-489 |
antecedent |
(=> (instance ?SET FiniteSet) (exists (?NUMBER) (and (instance ?NUMBER NonnegativeInteger) (equal ?NUMBER (CardinalityFn ?SET))))) |
Merge.kif 5543-5548 |