Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

racionální číslo (RationalNumber)

Any RealNumber that is the product of dividing two Integers.

Ontologie

SUMO / BASE-ONTOLOGY

Nadtřída(y)

[tree]
entita
is subclass of
  abstraktum  
is subclass of
  veličina  
is subclass of
  číslo  
is subclass of
  reálné číslo  
is subclass of
  racionální číslo  

Podtřída(y)

celé číslo 

Související termín(y)

binární číslo  iracionální číslo  záporné reálné číslo  nezáporné reálné číslo 

Constrains relations

rational number fn 

Related WordNet synsets

rational number
an integer or a fraction
rational number is kind of (all)...   rational number is kind of...   kinds of rational number...   kinds of rational number (all)...  
rational
(math) capable of being expressed as a quotient of integers; "rational numbers"
rational is opposite to...   rational pertains to noun...  
See more related synsets on a separate page.

Axiomy (2)

reálné číslo je exhaustively partitioned into racionální číslo,iracionální číslo. 
(partition RealNumber RationalNumber IrrationalNumber)
Jestliže number je instancí třídy racionální číslo, potom existují celé číslo int1,celé číslo int2 tak, že number se rovná "int1/int2". 
(=>
      (instance ?NUMBER RationalNumber)
      (exists
            (?INT1 ?INT2)
            (and
                  (instance ?INT1 Integer)
                  (instance ?INT2 Integer)
                  (equal
                        ?NUMBER
                        (DivisionFn ?INT1 ?INT2)))))