ExponentiationFn - Sigma Knowledge base Browser

appearance as argument number 1

(instance ExponentiationFn BinaryFunction)	Merge.kif 4928-4928	Exponentiation is an instance of binary function
(instance ExponentiationFn TotalValuedRelation)	Merge.kif 4930-4930	Exponentiation is an instance of total valued relation
(domain ExponentiationFn 1 RealNumber)	Merge.kif 4931-4931	The number 1 argument of exponentiation is an instance of real number
(domain ExponentiationFn 2 Integer)	Merge.kif 4932-4932	The number 2 argument of exponentiation is an instance of integer
(range ExponentiationFn RealNumber)	Merge.kif 4933-4933	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 4935-4936	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