Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

NumeroPrimo (PrimeNumber)

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

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
Entitá
is subclass of
  Astratto  
is subclass of
  Quantitá  
is subclass of
  Numero  
is subclass of
  NumeroReale  
is subclass of
  NumeroRazionale  
is subclass of
  NumeroIntero  
is subclass of
  NumeroPrimo  

Coordinate term(s)

NumeroInteroPari  NumeroInteroNegativo  NumeroInteroNonNegativo  NumeroInteroDispari 

Related WordNet synsets

prime, prime quantity
a quantity that has no factor but itself and 1
prime is kind of (all)...   prime is kind of...   kinds of prime...   kinds of prime (all)...  
prime number
an integer that has no integral factors but itself and 1
prime number is kind of (all)...   prime number is kind of...  
prime
(math) of or relating to or being an integer that cannot be factored into other integers; "prime number"
prime pertains to noun...  
See more related synsets on a separate page.

Axioms (1)

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