prime number (PrimeNumber)

An Integer that is evenly divisible only by itself and 1.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

entity

abstract

quantity

number

real number

rational number

integer

prime number

Coordinate term(s)

even integer negative integer nonnegative integer odd integer

Related WordNet synsets

prime, prime quantity: a quantity that has no factor but itself and 1
prime number: an integer that has no integral factors but itself and 1
prime: (math) of or relating to or being an integer that cannot be factored into other integers; "prime number"

See more related synsets on a separate page.

Axioms (1)

if prime is an instance of prime number,
then for all number holds: if "prime mod number" is equal to , then number is equal to or number is equal to prime

(=>
      (instance ?PRIME PrimeNumber)
      (forall
            (?NUMBER)
            (=>
                  (equal
                        (RemainderFn ?PRIME ?NUMBER)
                        0)
                  (or
                        (equal ?NUMBER 1)
                        (equal ?NUMBER ?PRIME)))))