FiniteSet - Sigma Knowledge base Browser

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	Finite set is a subclass of set

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