Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   OddInteger
|
|
|
| appearance as argument number 1 |
|
|
| (subclass OddInteger Integer) | Merge.kif 2069-2069 | Odd integer is a subclass of integer |
| (documentation OddInteger EnglishLanguage "An Integer that is not evenly divisible by 2.") | Merge.kif 2071-2072 | Odd integer is a subclass of integer |
| appearance as argument number 2 |
|
|
| (partition Integer OddInteger EvenInteger) | Merge.kif 2059-2059 | Integer is exhaustively partitioned into odd integer and even integer |
| (termFormat EnglishLanguage OddInteger "odd integer") | english_format.kif 942-942 | Integer is exhaustively partitioned into odd integer and even integer |
| antecedent |
|
|
| (=> (instance ?NUMBER OddInteger) (equal (RemainderFn ?NUMBER 2) 1)) |
Merge.kif 5261-5264 | If X is an instance of odd integer, then equal X mod 2 and 1 |
|