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

借计 (PrimeNumber)

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

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
龟砰
is subclass of
  ┾禜  
is subclass of
  计秖  
is subclass of
  计  
is subclass of
  龟计  
is subclass of
  Τ瞶计  
is subclass of
  俱计  
is subclass of
  借计  

Coordinate term(s)

案俱计  璽俱计  獶璽俱计  俱计 

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