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

NumeroRazionale (RationalNumber)

Any RealNumber that is the product of dividing two Integers.

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  

Subclass(es)

NumeroIntero 

Coordinate term(s)

NumeroBinario  NumeroIrrazionale  NumeroRealeNegativo  NumeroRealeNonNegativo 

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.

Axioms (2)

NumeroReale é esaustivamente partizionato in NumeroRazionale,NumeroIrrazionale. 
(partition RealNumber RationalNumber IrrationalNumber)
Se number é un' istanza di NumeroRazionale, allora esiste NumeroIntero int1,NumeroIntero int2 tale che number is uguale a "int1/int2". 
(=>
      (instance ?NUMBER RationalNumber)
      (exists
            (?INT1 ?INT2)
            (and
                  (instance ?INT1 Integer)
                  (instance ?INT2 Integer)
                  (equal
                        ?NUMBER
                        (DivisionFn ?INT1 ?INT2)))))