ExponentiationFn |
appearance as argument number 1 |
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 | |
(format FrenchLanguage ExponentiationFn "%1 �lev� � la puissance %2") | french_format.kif 421-421 | |
(format ItalianLanguage ExponentiationFn "%1 elevato a potenza %2") | relations-it.txt 104-104 | |
(format JapaneseLanguage ExponentiationFn "%1 の power %2") | japanese_format.kif 2138-2138 | |
(format PortugueseLanguage ExponentiationFn "%1 elevado a potencia %2") | portuguese_format.kif 373-373 | |
(format de ExponentiationFn "%1 in der %2te Potenz") | relations-de.txt 909-909 | |
(format hi ExponentiationFn "%1 %2 kaa charaghaataanka") | relations-hindi.txt 144-144 | |
(format ro ExponentiationFn "%1 ridicat la power%t{puterea} %2") | relations-ro.kif 443-443 | |
(format sv ExponentiationFn "%1 upphöjt till exponenten %2") | relations-sv.txt 472-472 | |
(termFormat ChineseLanguage ExponentiationFn "幂") | domainEnglishFormat.kif 22896-22896 | |
(termFormat ChineseLanguage ExponentiationFn "次幂函数") | chinese_format.kif 697-697 | |
(termFormat ChineseTraditionalLanguage ExponentiationFn "冪") | domainEnglishFormat.kif 22895-22895 | |
(termFormat EnglishLanguage ExponentiationFn "exponentiation") | domainEnglishFormat.kif 22894-22894 |
consequent |
(=> (instance ?NUMBER Integer) (equal (ReciprocalFn ?NUMBER) (ExponentiationFn ?NUMBER -1))) |
Merge.kif 5083-5085 |
|