| (=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer)) |
Merge.kif 3148-3152 |
|
| (subclass Integer RationalNumber) | Merge.kif 1861-1861 | subclass Integer and RationalNumber |
| (subclass EvenInteger Integer) | Merge.kif 1867-1867 | subclass EvenInteger and Integer |
| (subclass OddInteger Integer) | Merge.kif 1872-1872 | subclass OddInteger and Integer |
| (subclass PrimeNumber Integer) | Merge.kif 1877-1877 | subclass PrimeNumber and Integer |
| (subclass NonnegativeInteger Integer) | Merge.kif 1882-1882 | subclass NonnegativeInteger and Integer |
| (subclass NegativeInteger Integer) | Merge.kif 1892-1892 | subclass NegativeInteger and Integer |
|
|