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)

 astitva

amUrta

parimaaNa

anka

vaastavika anka

parimeya anka

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
(math) capable of being expressed as a quotient of integers; "rational numbers"

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)))))```