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

parimeya anka (RationalNumber)

Any RealNumber that is the product of dividing two Integers.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
astitva
is subclass of
  amUrta  
is subclass of
  parimaaNa  
is subclass of
  anka  
is subclass of
  vaastavika anka  
is subclass of
  parimeya anka  

Subclass(es)

pUrNaanka 

Coordinate term(s)

dvi-aadhaarI anka  aparimeya anka  Qnaatmaka vaastavika anka  aQNaatmaka vaastavika anka 

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)

vaastavika anka is exhaustively partitioned into parimeya anka,aparimeya anka. 
(partition RealNumber RationalNumber IrrationalNumber)
Agar number is an instance of parimeya anka, to yah kuch pUrNaanka int1,pUrNaanka int2 nahin, ki number is equal to "int1/int2". 
(=>
      (instance ?NUMBER RationalNumber)
      (exists
            (?INT1 ?INT2)
            (and
                  (instance ?INT1 Integer)
                  (instance ?INT2 Integer)
                  (equal
                        ?NUMBER
                        (DivisionFn ?INT1 ?INT2)))))