| 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 4851-4852 | |
| (documentation ExponentiationFn JapaneseLanguage "(ExponentiationFn ?NUMBER ?INT) は、 RealNumber ?NUMBER の Integer ?INT 乗を返す。") | japanese_format.kif 896-897 | |
| (domain ExponentiationFn 1 RealNumber) | Merge.kif 4847-4847 | ExponentiationFn の数値 1 引数は 実数 の instance では |
| (domain ExponentiationFn 2 Integer) | Merge.kif 4848-4848 | ExponentiationFn の数値 2 引数は 整数 の instance では |
| (instance ExponentiationFn BinaryFunction) | Merge.kif 4844-4844 | ExponentiationFn は 2変数関数 の instance では |
| (instance ExponentiationFn TotalValuedRelation) | Merge.kif 4846-4846 | ExponentiationFn は 合計値関係 の instance では |
| (range ExponentiationFn RealNumber) | Merge.kif 4849-4849 | ExponentiationFn の range は 実数 のインスタンス では |
| 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 22879-22879 | |
| (termFormat ChineseLanguage ExponentiationFn "次幂函数") | chinese_format.kif 697-697 | |
| (termFormat ChineseTraditionalLanguage ExponentiationFn "冪") | domainEnglishFormat.kif 22878-22878 | |
| (termFormat EnglishLanguage ExponentiationFn "exponentiation") | domainEnglishFormat.kif 22877-22877 | |
| (termFormat de ExponentiationFn "ExponentiationFn") | terms-de.txt 273-273 |
| consequent |
|
|
| (=> (instance ?NUMBER Integer) (equal (ReciprocalFn ?NUMBER) (ExponentiationFn ?NUMBER -1))) |
Merge.kif 5110-5112 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners