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