| appearance as argument number 1 |
|
| (documentation ExponentiationFn ChineseLanguage "(ExponentiationFn ?NUMBER ?INT)交出 RealNumber ?NUMBER 的 Integer ?INT次方。") | Merge.kif 4983-4984 | |
| (documentation ExponentiationFn EnglishLanguage "(ExponentiationFn ?NUMBER ?INT) returns the RealNumber ?NUMBER raised to the power of the Integer ?INT.") | Merge.kif 4981-4982 | |
| (domain ExponentiationFn 1 RealNumber) | Merge.kif 4978-4978 | |
| (domain ExponentiationFn 2 Integer) | Merge.kif 4979-4979 | |
| (instance ExponentiationFn BinaryFunction) | Merge.kif 4975-4975 | |
| (instance ExponentiationFn TotalValuedRelation) | Merge.kif 4977-4977 | |
| (range ExponentiationFn RealNumber) | Merge.kif 4980-4980 |
| 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 432-432 | |
| (termFormat ChineseLanguage ExponentiationFn "次幂函数") | chinese_format.kif 697-697 | |
| (termFormat EnglishLanguage ExponentiationFn "exponentiation") | domainEnglishFormat.kif 4234-4234 |
| antecedent |
|
|
| (=> (and (principalAmount ?Account ?Balance) (fixedInterestRate ?Account ?Rate) (compoundInterest ?Account ?Interest ?Period) (equal ?Rate-Decimal (DivisionFn ?Rate 100)) (equal ?Add (AdditionFn 1 ?Rate-Decimal)) (equal ?Exponent (ExponentiationFn ?Add (MagnitudeFn ?Period))) (equal ?Multiply (MultiplicationFn ?Exponent ?Balance))) (equal ?Interest (SubtractionFn ?Multiply ?Balance))) |
FinancialOntology.kif 532-541 |
| consequent |
|
|
| (=> (instance ?NUMBER Integer) (equal (ReciprocalFn ?NUMBER) (ExponentiationFn ?NUMBER -1))) |
Merge.kif 5238-5240 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners