ExponentiationFn - Sigma Knowledge base Browser

appearance as argument number 1

(instance ExponentiationFn BinaryFunction)	Merge.kif 4868-4868	Exponentiation is an instance of binary function
(instance ExponentiationFn TotalValuedRelation)	Merge.kif 4870-4870	Exponentiation is an instance of total valued relation
(domain ExponentiationFn 1 RealNumber)	Merge.kif 4871-4871	The number 1 argument of exponentiation is an instance of real number
(domain ExponentiationFn 2 Integer)	Merge.kif 4872-4872	The number 2 argument of exponentiation is an instance of integer
(range ExponentiationFn RealNumber)	Merge.kif 4873-4873	The range of exponentiation is an instance of real number
(documentation ExponentiationFn EnglishLanguage "(ExponentiationFn ?NUMBER ?INT) returns the RealNumber ?NUMBER raised to the power of the Integer ?INT.")	Merge.kif 4875-4876	The range of exponentiation is an instance of real number

appearance as argument number 2

(termFormat EnglishLanguage ExponentiationFn "exponentiation")	domainEnglishFormat.kif 22870-22870
(termFormat ChineseTraditionalLanguage ExponentiationFn "冪")	domainEnglishFormat.kif 22871-22871
(termFormat ChineseLanguage ExponentiationFn "幂")	domainEnglishFormat.kif 22872-22872
(format EnglishLanguage ExponentiationFn "%1 raised to the power %2")	english_format.kif 698-698

consequent

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

If X is an instance of integer, then equal the reciprocal of X and X raised to the power -1