| PrimeNumber(prime number)
| | prime, prime_factor, prime_number, prime_quantity |
| appearance as argument number 1 |
|
|
| (documentation PrimeNumber ChineseLanguage "这是一个只能被自己或1整除的 Integer。") | chinese_format.kif 1751-1751 | |
| (documentation PrimeNumber EnglishLanguage "An Integer that is evenly divisible only by itself and 1.") | Merge.kif 1972-1973 | |
| (documentation PrimeNumber JapaneseLanguage "それ自体と 1 によってのみ均等に割り切れる Integer 。") | japanese_format.kif 359-360 | |
| (externalImage PrimeNumber "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8a/ Prime_rectangles.png") | pictureList.kif 7651-7651 | |
| (externalImage PrimeNumber "http://upload.wikimedia.org/wikipedia/commons/ c/ c8/ Animation_Sieve_of_Eratosth-2.gif") | pictureList.kif 6792-6792 | |
| (subclass PrimeNumber Integer) | Merge.kif 1970-1970 | Prime number is a subclass of integer |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PrimeNumber "素数") | chinese_format.kif 869-869 | |
| (termFormat EnglishLanguage PrimeNumber "prime number") | english_format.kif 940-940 | |
| (termFormat FrenchLanguage PrimeNumber "nombre premier") | french_format.kif 545-545 | |
| (termFormat Hindi PrimeNumber "abhaajya anka") | terms-hindi.txt 75-75 | |
| (termFormat ItalianLanguage PrimeNumber "NumeroPrimo") | terms-it.txt 78-78 | |
| (termFormat JapaneseLanguage PrimeNumber "素数") | japanese_format.kif 2230-2230 | |
| (termFormat PortugueseLanguage PrimeNumber "Numero Primo") | portuguese_format.kif 497-497 | |
| (termFormat cz PrimeNumber "prime number") | terms-cz.txt 112-112 | |
| (termFormat ro PrimeNumber "numãr prim") | relations-ro.kif 566-566 | |
| (termFormat tg PrimeNumber "gansal na numero") | terms-tg.txt 79-79 |
| 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 5155-5166 |
|
|
|
|