Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   PrimeNumber
|
|
|
| appearance as argument number 1 |
|
|
| (subclass PrimeNumber Integer) | Merge.kif 2074-2074 | Prime number is a subclass of integer |
| (documentation PrimeNumber EnglishLanguage "An Integer that is evenly divisible only by itself and 1.") | Merge.kif 2076-2077 | Prime number is a subclass of integer |
| (externalImage PrimeNumber "http://upload.wikimedia.org/wikipedia/commons/ c/ c8/ Animation_Sieve_of_Eratosth-2.gif") | pictureList.kif 6791-6791 | Prime number is a subclass of integer |
| (externalImage PrimeNumber "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8a/ Prime_rectangles.png") | pictureList.kif 7650-7650 | Prime number is a subclass of integer |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PrimeNumber "prime number") | english_format.kif 944-944 |
| antecedent |
|
|
| (=> (instance ?PRIME PrimeNumber) (forall (?NUMBER) (=> (and (equal (RemainderFn ?PRIME ?NUMBER) 0) (not (equal ?NUMBER 0))) (or (equal ?NUMBER 1) (equal ?NUMBER ?PRIME))))) |
Merge.kif 5266-5277 | If X is an instance of prime number, then For all Integer Y: if equal X mod Y and 0 and equal Y and 0, then equal Y and 1 or equal Y and X |
|
