ExponentiationFn |
appearance as argument number 1 |
![]() |
(documentation ExponentiationFn ChineseLanguage "(ExponentiationFn ?NUMBER ?INT)交出 RealNumber ?NUMBER 的 Integer ?INT次方。") | chinese_format.kif 2232-2233 | |
(documentation ExponentiationFn EnglishLanguage "(ExponentiationFn ?NUMBER ?INT) returns the RealNumber ?NUMBER raised to the power of the Integer ?INT.") | Merge.kif 4794-4795 | |
(domain ExponentiationFn 1 RealNumber) | Merge.kif 4790-4790 | domain ExponentiationFn, 1 and RealNumber |
(domain ExponentiationFn 2 Integer) | Merge.kif 4791-4791 | domain ExponentiationFn, 2 and Integer |
(instance ExponentiationFn BinaryFunction) | Merge.kif 4787-4787 | instance ExponentiationFn and BinaryFunction |
(instance ExponentiationFn TotalValuedRelation) | Merge.kif 4789-4789 | instance ExponentiationFn and TotalValuedRelation |
(range ExponentiationFn RealNumber) | Merge.kif 4792-4792 | range ExponentiationFn and RealNumber |
appearance as argument number 2 |
![]() |
(format ChineseLanguage ExponentiationFn "%1 %2 的次幂") | chinese_format.kif 696-696 | |
(format EnglishLanguage ExponentiationFn "%1 raised to the power %2") | english_format.kif 698-698 | |
(termFormat ChineseLanguage ExponentiationFn "幂") | domainEnglishFormat.kif 22864-22864 | |
(termFormat ChineseLanguage ExponentiationFn "次幂函数") | chinese_format.kif 697-697 | |
(termFormat ChineseTraditionalLanguage ExponentiationFn "冪") | domainEnglishFormat.kif 22863-22863 | |
(termFormat EnglishLanguage ExponentiationFn "exponentiation") | domainEnglishFormat.kif 22862-22862 |
consequent |
![]() |
(=> (instance ?NUMBER Integer) (equal (ReciprocalFn ?NUMBER) (ExponentiationFn ?NUMBER -1))) |
Merge.kif 5053-5055 |
|
![]() |
![]() |