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

# exponentiation fn (ExponentiationFn)

(ExponentiationFn number int) returns the RealNumber number raised to the power of the Integer int.

## Ontology

SUMO / NUMERIC-FUNCTIONS

## Class(es)

 varga

inheritable relation

 varga

inheritable relation

matraaon kaa sanbandha vistaara

exponentiation fn

## Coordinate term(s)

addition fn  day fn  density fn  division fn  edition fn  graph path fn  hour fn  intersection fn  interval fn  kappa fn  list concatenate fn  list order fn  log fn  max fn  maximal weighted path fn  measure fn  mereological difference fn  mereological product fn  mereological sum fn  min fn  minimal weighted path fn  minute fn  month fn  multiplication fn  periodical issue fn  reciprocal fn  recurrent time interval fn  relative complement fn  relative time fn  remainder fn  round fn  second fn  series volume fn  speed fn  subtraction fn  temporal composition fn  time interval fn  union fn  where fn  equal  greater than  greater than or equal to  less than  less than or equal to

## Type restrictions

parimaaNa ExponentiationFn(parimaaNa, pUrNaanka)

## Related WordNet synsets

exponentiation, involution
the process of raising a quantity to some assigned power

exponential, exponential function
a function in which an independent variable appears as an exponent

exponential
of or involving exponents; "exponential growth"

See more related synsets on a separate page.

## Axioms (1)

Agar number is an instance of parimaaNa, to "the reciprocal of number" is equal to "number raised to the power ".
```(=>
(instance ?NUMBER Quantity)
(equal
(ReciprocalFn ?NUMBER)
(ExponentiationFn ?NUMBER -1)))```