| 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 |
|
|
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