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

计ㄧ计 (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
  膥┯闽玒  
is instance of
  じㄧ计  
is instance of
贺摸
is instance of
  膥┯闽玒  
is instance of
  籔秖闽玒  
is instance of
is instance of
  计ㄧ计  

Coordinate term(s)

猭ㄧ计  らㄧ计  盞ㄧ计  埃猭ㄧ计  ゅセセㄧ计  瓜隔畖ㄧ计  ㄧ计  ユ栋ㄧ计  丁筳ㄧ计  贺摸磞瓃ㄧ计  挡ㄧ计  ㄧ计  癸计ㄧ计  程ㄧ计  程秖隔畖ㄧ计  代秖ㄧ计  场だ俱砰畉钵ㄧ计  场だ俱砰ユ栋ㄧ计  场だ俱砰羆ㄧ计  程ㄧ计  程秖隔畖ㄧ计  だ牧ㄧ计  るㄧ计  猭ㄧ计  戳戳ㄧ计  计ㄧ计  秅戳┦禯ㄧ计  闽玒が干ㄧ计  癸丁ㄧ计  緇计ㄧ计  俱计ㄧ计  牧ㄧ计  ╰ㄧ计  硉ㄧ计  搭猭ㄧ计  丁虫ㄧ计  丁菌祘ㄧ计  羛栋ㄧ计  竚ㄧ计  单    ┪单    ┪单 

Type restrictions

计秖 ExponentiationFn(计秖, 俱计)

Related WordNet synsets

exponentiation, involution
the process of raising a quantity to some assigned power
exponentiation is kind of (all)...   exponentiation is kind of...  
exponential, exponential function
a function in which an independent variable appears as an exponent
exponential is kind of (all)...   exponential is kind of...  
exponential
of or involving exponents; "exponential growth"
exponential pertains to noun...  
See more related synsets on a separate page.

Axioms (1)

If number 琌 计秖龟ㄒ, then "number计" 单 "number  Ωよ". 
(=>
      (instance ?NUMBER Quantity)
      (equal
            (ReciprocalFn ?NUMBER)
            (ExponentiationFn ?NUMBER -1)))