Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

Hauptzahl (PrimeNumber)

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

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
Wesen
is subclass of
  abstrakter Gegenstand  
is subclass of
  Eigenschaft  
is subclass of
  Zahl  
is subclass of
  reelle Zahl  
is subclass of
  rationale Zahl  
is subclass of
  Ganzzahl  
is subclass of
  Hauptzahl  

Coordinate term(s)

gerade Ganzzahl  negative Ganzzahl  nichtnegative Ganzzahl  ungerade Ganzzahl 

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)))))