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 1879-1880
(externalImage PrimeNumber "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8a/ Prime_rectangles.png") pictureList.kif 7653-7653 externalImage PrimeNumber and "http://upload.wikimedia.org/wikipedia/commons/8/8a/ Prime_rectangles.png"
(externalImage PrimeNumber "http://upload.wikimedia.org/wikipedia/commons/ c/ c8/ Animation_Sieve_of_Eratosth-2.gif") pictureList.kif 6793-6793 externalImage PrimeNumber and "http://upload.wikimedia.org/wikipedia/commons/c/c8/ Animation_Sieve_of_Eratosth-2.gif"
(subclass PrimeNumber Integer) Merge.kif 1877-1877 subclass PrimeNumber and Integer

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage PrimeNumber "素数") chinese_format.kif 869-869 termFormat ChineseLanguage, PrimeNumber and "素数"
(termFormat EnglishLanguage PrimeNumber "prime number") english_format.kif 945-945 termFormat EnglishLanguage, PrimeNumber and "prime number"

antecedent
-------------------------


(=>
    (instance ?PRIME PrimeNumber)
    (forall (?NUMBER)
        (=>
            (equal
                (RemainderFn ?PRIME ?NUMBER) 0)
            (or
                (equal ?NUMBER 1)
                (equal ?NUMBER ?PRIME)))))
Merge.kif 4778-4785


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners