PrimeNumber |
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 |
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 |