| 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 4824-4825 | |
| (documentation ExponentiationFn JapaneseLanguage "(ExponentiationFn ?NUMBER ?INT) は、 RealNumber ?NUMBER の Integer ?INT 乗を返す。") | japanese_format.kif 896-897 | |
| (domain ExponentiationFn 1 RealNumber) | Merge.kif 4820-4820 | |
| (domain ExponentiationFn 2 Integer) | Merge.kif 4821-4821 | |
| (instance ExponentiationFn BinaryFunction) | Merge.kif 4817-4817 | |
| (instance ExponentiationFn TotalValuedRelation) | Merge.kif 4819-4819 | |
| (range ExponentiationFn RealNumber) | Merge.kif 4822-4822 |
| 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 22876-22876 | |
| (termFormat ChineseLanguage ExponentiationFn "次幂函数") | chinese_format.kif 697-697 | |
| (termFormat ChineseTraditionalLanguage ExponentiationFn "冪") | domainEnglishFormat.kif 22875-22875 | |
| (termFormat EnglishLanguage ExponentiationFn "exponentiation") | domainEnglishFormat.kif 22874-22874 |
| consequent |
|
|
| (=> (instance ?NUMBER Integer) (equal (ReciprocalFn ?NUMBER) (ExponentiationFn ?NUMBER -1))) |
Merge.kif 5083-5085 |
|
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