Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi

ExponentiationFn (ExponentiationFn)

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

Ontology

SUMO / NUMERIC-FUNCTIONS

Class(es)

is instance of

inheritable relation

is instance of

zweistellige Funktion
is instance of

is instance of

is instance of

inheritable relation

is instance of

Relation erweitert auf Quantitäten
is instance of

is instance of

is instance of

ExponentiationFn

Coordinate term(s)

AdditionFn TagFn DichteFn DivisionFn AusgabeFn GraphPfadFn StundeFn DurchschnittFn AbstandFn KappaFn ListeVerkettenFn ListeOrdnungFn LogarithmusFn MaximumFn MaximalerBelasteterPfadFn MassFn MereologischeDifferenzFn MereologischesProduktFn MereologischeSummeFn MinumumFn MinimalerBelasteterPfadFn MinuteFn MonatFn MultiplikationFn PeriodikumAusgabeFn ReziprokerWert RückläufigeZeitAbstandFn RelativeErgänzungFn RelativeZeitFn RestFn RundFn SekundFn ReiheBandeFn GeschwindigkeitFn SubtraktionFn ZeitlicheAufbauFn ZeitabstandFn VereinigungFn WoFn %1 ist gleich %2 %n{nicht} grösserAls grösserAlsOderGleich kleinerAls kleinerAlsOderGleich

Type restrictions

Eigenschaft ExponentiationFn(Eigenschaft, Ganzzahl)

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)

Wenn number ist ein fall von Eigenschaft , dann "der reziprokerwert von number" ist gleich "number in der te Potenz" .

(=>
      (instance ?NUMBER Quantity)
      (equal
            (ReciprocalFn ?NUMBER)
            (ExponentiationFn ?NUMBER -1)))