Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FiniteSet(finite set) |
| appearance as argument number 1 |
|
| (subclass FiniteSet Set) | Merge.kif 5657-5657 | Finite set is a subclass of set |
| (documentation FiniteSet EnglishLanguage "A Set containing a finite number of elements.") | Merge.kif 5659-5660 | Finite set is a subclass of set |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FiniteSet "finite set") | english_format.kif 1767-1767 |
| antecedent |
|
|
| (=> (instance ?SET FiniteSet) (exists (?NUMBER) (and (instance ?NUMBER NonnegativeInteger) (equal ?NUMBER (CardinalityFn ?SET))))) |
Merge.kif 5662-5667 | If X is an instance of finite set, then there exists Y such that Y is an instance of nonnegative integer, equal Y, and the number of instances in X |
|