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

you3 li3 shu4 (RationalNumber)

Any RealNumber that is the product of dividing two Integers.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
shi2 ti3
is subclass of
  chou1 xiang4 de5  
is subclass of
  shu4 liang4  
is subclass of
  shu4  
is subclass of
  shi2 shu4  
is subclass of
  you3 li3 shu4  

Subclass(es)

zheng3 shu4 

Coordinate term(s)

er4 jin4 shu4  wu2 li3 shu4  fu4 shi2 shu4  fei1 fu4 shi2 shu4 

Constrains relations

you3 li3 shu4 han2 shu4 

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)

shi2 shu4 wan2 quan2 fen1 ge1 cheng2 you3 li3 shu4,wu2 li3 shu4. 
(partition RealNumber RationalNumber IrrationalNumber)
If number shi4 you3 li3 shu4 de5 shi2 li4, then there exist zheng3 shu4 int1,zheng3 shu4 int2 so_that_not number deng3 yu1 "int1/int2". 
(=>
      (instance ?NUMBER RationalNumber)
      (exists
            (?INT1 ?INT2)
            (and
                  (instance ?INT1 Integer)
                  (instance ?INT2 Integer)
                  (equal
                        ?NUMBER
                        (DivisionFn ?INT1 ?INT2)))))