Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners