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 5445-5446
(subclass FiniteSet Set)	Merge.kif 5443-5443	subclass FiniteSet and Set

appearance as argument number 2

(termFormat ChineseLanguage FiniteSet "有限集合")	chinese_format.kif 1271-1271
(termFormat EnglishLanguage FiniteSet "finite set")	english_format.kif 1763-1763

antecedent

(=>
    (instance ?SET FiniteSet)
    (exists (?NUMBER)
        (and
            (instance ?NUMBER NonnegativeInteger)
            (equal ?NUMBER
                (CardinalityFn ?SET)))))

Merge.kif 5448-5453