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

rationale Zahl (RationalNumber)

Any RealNumber that is the product of dividing two Integers.

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  

Subclass(es)

Ganzzahl 

Coordinate term(s)

Binärzahl  irrationale Zahl  negative reelle Zahl  nichtnegative reelle Zahl 

Constrains relations

RationaleZahlFn 

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)

reelle Zahl wird vollständig in rationale Zahl,irrationale Zahl verteilt. 
(partition RealNumber RationalNumber IrrationalNumber)
Wenn number ist ein fall von rationale Zahl , dann es gibt ein Ganzzahl int1,Ganzzahl int2 der number ist gleich "int1/int2" . 
(=>
      (instance ?NUMBER RationalNumber)
      (exists
            (?INT1 ?INT2)
            (and
                  (instance ?INT1 Integer)
                  (instance ?INT2 Integer)
                  (equal
                        ?NUMBER
                        (DivisionFn ?INT1 ?INT2)))))