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

Τ瞶计 (RationalNumber)

Any RealNumber that is the product of dividing two Integers.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

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

Subclass(es)

俱计 

Coordinate term(s)

秈计  礚瞶计  璽龟计  獶璽龟计 

Constrains relations

Τ瞶计ㄧ计 

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)

龟计 Ч だ澄Θ Τ瞶计,礚瞶计. 
(partition RealNumber RationalNumber IrrationalNumber)
If number 琌 Τ瞶计龟ㄒ, then there exist 俱计 int1,俱计 int2 so that number 单 "int1/int2". 
(=>
      (instance ?NUMBER RationalNumber)
      (exists
            (?INT1 ?INT2)
            (and
                  (instance ?INT1 Integer)
                  (instance ?INT2 Integer)
                  (equal
                        ?NUMBER
                        (DivisionFn ?INT1 ?INT2)))))