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

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


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

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


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


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