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

vaastavika anka (RealNumber)

Any Number that can be expressed as a (possibly infinite) decimal, i.e. any Number that has a position on the number line.

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  

Subclass(es)

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

Coordinate term(s)

sanyukta anka  kaalpanika anka 

Constrains relations

absolute value fn  arc cosine fn  arc sine fn  arc tangent fn  ceiling fn  cosine fn  denominator fn  floor fn  integer square root fn  log fn  magnitude fn  measure fn  numerator fn  path weight fn  probability fn  real number fn  signum fn  sine fn  square root fn  tangent fn  arc weight  conditional probability 

Related WordNet synsets

real number, real
any rational or irrational number
real number is kind of (all)...   real number is kind of...   kinds of real number...   kinds of real number (all)...  
See more related synsets on a separate page.

Axioms (49)

anka is exhaustively partitioned into vaastavika anka,kaalpanika anka,sanyukta anka. 
(partition Number RealNumber ImaginaryNumber ComplexNumber)
less than is trichotomizing on vaastavika anka. 
(trichotomizingOn lessThan RealNumber)
greater than is trichotomizing on vaastavika anka. 
(trichotomizingOn greaterThan RealNumber)
less than or equal to is trichotomizing on vaastavika anka. 
(trichotomizingOn lessThanOrEqualTo RealNumber)
greater than or equal to is trichotomizing on vaastavika anka. 
(trichotomizingOn greaterThanOrEqualTo RealNumber)
vaastavika anka is exhaustively partitioned into Qnaatmaka vaastavika anka,aQNaatmaka vaastavika anka. 
(partition RealNumber NegativeRealNumber NonnegativeRealNumber)
vaastavika anka is exhaustively partitioned into parimeya anka,aparimeya anka. 
(partition RealNumber RationalNumber IrrationalNumber)
Agar number is an instance of kaalpanika anka, to yah kuch vaastavika anka real nahin, ki number is equal to "real*"the square root of "". 
(=>
      (instance ?NUMBER ImaginaryNumber)
      (exists
            (?REAL)
            (and
                  (instance ?REAL RealNumber)
                  (equal
                        ?NUMBER
                        (MultiplicationFn
                              ?REAL
                              (SquareRootFn -1))))))
number is an instance of aQNaatmaka vaastavika anka agar hai number is greater than or equal to aur number is an instance of vaastavika anka. 
(<=>
      (instance ?NUMBER NonnegativeRealNumber)
      (and
            (greaterThanOrEqualTo ?NUMBER 0)
            (instance ?NUMBER RealNumber)))
number is an instance of dhanaatmaka vaastavika anka agar hai number is greater than aur number is an instance of vaastavika anka. 
(<=>
      (instance ?NUMBER PositiveRealNumber)
      (and
            (greaterThan ?NUMBER 0)
            (instance ?NUMBER RealNumber)))
number is an instance of Qnaatmaka vaastavika anka agar hai number is less than aur number is an instance of vaastavika anka. 
(<=>
      (instance ?NUMBER NegativeRealNumber)
      (and
            (lessThan ?NUMBER 0)
            (instance ?NUMBER RealNumber)))
sanyukta anka asansavat vaastavika anka se hai. 
(disjoint ComplexNumber RealNumber)
Agar number is an instance of sanyukta anka, to yah kuch vaastavika anka real1,vaastavika anka real2 nahin, ki number is equal to "(real1+"real2*"the square root of "")". 
(=>
      (instance ?NUMBER ComplexNumber)
      (exists
            (?REAL1 ?REAL2)
            (and
                  (instance ?REAL1 RealNumber)
                  (instance ?REAL2 RealNumber)
                  (equal
                        ?NUMBER
                        (AdditionFn
                              ?REAL1
                              (MultiplicationFn
                                    ?REAL2
                                    (SquareRootFn -1)))))))
"the absolute value of number1" is equal to number2 aur number1 is an instance of vaastavika anka aur number2 is an instance of vaastavika anka agar hai 
(<=>
      (and
            (equal
                  (AbsoluteValueFn ?NUMBER1)
                  ?NUMBER2)
            (instance ?NUMBER1 RealNumber)
            (instance ?NUMBER2 RealNumber))
      (or
            (and
                  (instance ?NUMBER1 NonnegativeRealNumber)
                  (equal ?NUMBER1 ?NUMBER2))
            (and
                  (instance ?NUMBER1 NegativeRealNumber)
                  (equal
                        ?NUMBER2
                        (SubtractionFn 0 ?NUMBER1)))))
(=>
      (and
            (instance ?REL RelationExtendedToQuantities)
            (instance ?REL TernaryRelation)
            (instance ?NUMBER1 RealNumber)
            (instance ?NUMBER2 RealNumber)
            (holds ?REL ?NUMBER1 ?NUMBER2 ?VALUE))
      (forall
            (?UNIT)
            (=>
                  (instance ?UNIT UnitOfMeasure)
                  (holds
                        ?REL
                        (MeasureFn ?NUMBER1 ?UNIT)
                        (MeasureFn ?NUMBER2 ?UNIT)
                        (MeasureFn ?VALUE ?UNIT)))))
(=>
      (and
            (instance ?REL RelationExtendedToQuantities)
            (instance ?REL BinaryRelation)
            (instance ?NUMBER1 RealNumber)
            (instance ?NUMBER2 RealNumber)
            (holds ?REL ?NUMBER1 ?NUMBER2))
      (forall
            (?UNIT)
            (=>
                  (instance ?UNIT UnitOfMeasure)
                  (holds
                        ?REL
                        (MeasureFn ?NUMBER1 ?UNIT)
                        (MeasureFn ?NUMBER2 ?UNIT)))))
Agar number is an instance of vaastavika anka aur unit is an instance of maapaka ikaaI, to "the magnitude of "number unit(s)"" is equal to number. 
(=>
      (and
            (instance ?NUMBER RealNumber)
            (instance ?UNIT UnitOfMeasure))
      (equal
            (MagnitudeFn
                  (MeasureFn ?NUMBER ?UNIT))
            ?NUMBER))
Agar number is an instance of vaastavika anka, to "number centimeter(s)" is equal to ""number*" meter(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Centimeter)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 0.01)
                  Meter)))
Agar number is an instance of vaastavika anka, to "number celsius degree(s)" is equal to ""(number-)" kelvin degree(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER CelsiusDegree)
            (MeasureFn
                  (SubtractionFn ?NUMBER 273.15)
                  KelvinDegree)))
Agar number is an instance of vaastavika anka, to "number celsius degree(s)" is equal to """(number-)"/" fahrenheit degree(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER CelsiusDegree)
            (MeasureFn
                  (DivisionFn
                        (SubtractionFn ?NUMBER 32)
                        1.8)
                  FahrenheitDegree)))
Agar number is an instance of vaastavika anka, to "number day duration(s)" is equal to ""number*" hour duration(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER DayDuration)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 24)
                  HourDuration)))
Agar number is an instance of vaastavika anka, to "number hour duration(s)" is equal to ""number*" minute duration(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER HourDuration)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 60)
                  MinuteDuration)))
Agar number is an instance of vaastavika anka, to "number minute duration(s)" is equal to ""number*" second duration(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER MinuteDuration)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 60)
                  SecondDuration)))
Agar number is an instance of vaastavika anka, to "number week duration(s)" is equal to ""number*" day duration(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER WeekDuration)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 7)
                  DayDuration)))
Agar number is an instance of vaastavika anka, to "number year duration(s)" is equal to ""number*" day duration(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER YearDuration)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 365)
                  DayDuration)))
Agar number is an instance of vaastavika anka, to "number amu(s)" is equal to ""number**" gram(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Amu)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1.6605402 E-24)
                  Gram)))
Agar number is an instance of vaastavika anka, to "number electron volt(s)" is equal to ""number**" joule(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER ElectronVolt)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1.60217733 E-19)
                  Joule)))
Agar number is an instance of vaastavika anka, to "number angstrom(s)" is equal to ""number**" meter(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Angstrom)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1.0 E-10)
                  Meter)))
Agar number is an instance of vaastavika anka, to "number foot(s)" is equal to ""number*" meter(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Foot)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 0.3048)
                  Meter)))
Agar number is an instance of vaastavika anka, to "number inch(s)" is equal to ""number*" meter(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Inch)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 0.0254)
                  Meter)))
Agar number is an instance of vaastavika anka, to "number mile(s)" is equal to ""number*" meter(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Mile)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1609.344)
                  Meter)))
Agar number is an instance of vaastavika anka, to "number united states gallon(s)" is equal to ""number*" liter(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER UnitedStatesGallon)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 3.785411784)
                  Liter)))
Agar number is an instance of vaastavika anka, to "number quart(s)" is equal to ""number/" united states gallon(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Quart)
            (MeasureFn
                  (DivisionFn ?NUMBER 4)
                  UnitedStatesGallon)))
Agar number is an instance of vaastavika anka, to "number pint(s)" is equal to ""number/" quart(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Pint)
            (MeasureFn
                  (DivisionFn ?NUMBER 2)
                  Quart)))
Agar number is an instance of vaastavika anka, to "number cup(s)" is equal to ""number/" pint(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Cup)
            (MeasureFn
                  (DivisionFn ?NUMBER 2)
                  Pint)))
Agar number is an instance of vaastavika anka, to "number ounce(s)" is equal to ""number/" cup(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Ounce)
            (MeasureFn
                  (DivisionFn ?NUMBER 8)
                  Cup)))
Agar number is an instance of vaastavika anka, to "number united kingdom gallon(s)" is equal to ""number*" liter(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER UnitedKingdomGallon)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 4.54609)
                  Liter)))
Agar number is an instance of vaastavika anka, to "number pound mass(s)" is equal to ""number*" gram(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER PoundMass)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 453.59237)
                  Gram)))
Agar number is an instance of vaastavika anka, to "number slug(s)" is equal to ""number*" gram(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Slug)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 14593.90)
                  Gram)))
Agar number is an instance of vaastavika anka, to "number rankine degree(s)" is equal to ""number*" kelvin degree(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER RankineDegree)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1.8)
                  KelvinDegree)))
Agar number is an instance of vaastavika anka, to "number pound force(s)" is equal to ""number*" newton(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER PoundForce)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 4.448222)
                  Newton)))
Agar number is an instance of vaastavika anka, to "number calorie(s)" is equal to ""number*" joule(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Calorie)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 4.1868)
                  Joule)))
Agar number is an instance of vaastavika anka, to "number british thermal unit(s)" is equal to ""number*" joule(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER BritishThermalUnit)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1055.05585262)
                  Joule)))
Agar number is an instance of vaastavika anka, to "number angular degree(s)" is equal to ""number*"paaii/"" radian(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER AngularDegree)
            (MeasureFn
                  (MultiplicationFn
                        ?NUMBER
                        (DivisionFn Pi 180))
                  Radian)))
Agar number is an instance of vaastavika anka, to "number united states cent(s)" is equal to ""number*" united states dollar(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER UnitedStatesCent)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 0.01)
                  UnitedStatesDollar)))
Agar number is an instance of vaastavika anka, to "number euro cent(s)" is equal to ""number*" euro dollar(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER EuroCent)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 0.01)
                  EuroDollar)))
Agar number is an instance of vaastavika anka, to "number byte(s)" is equal to ""number*" bit(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER Byte)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 8)
                  Bit)))
Agar number is an instance of vaastavika anka, to "number kilo byte(s)" is equal to ""number*" byte(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER KiloByte)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1024)
                  Byte)))
Agar number is an instance of vaastavika anka, to "number mega byte(s)" is equal to ""number*" kilo byte(s)". 
(=>
      (instance ?NUMBER RealNumber)
      (equal
            (MeasureFn ?NUMBER MegaByte)
            (MeasureFn
                  (MultiplicationFn ?NUMBER 1024)
                  KiloByte)))