Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| fixedInterestRate |
| appearance as argument number 1 |
|
| (instance fixedInterestRate BinaryPredicate) | FinancialOntology.kif 641-641 | fixed interest rate is an instance of binary predicate |
| (domain fixedInterestRate 1 FinancialAccount) | FinancialOntology.kif 642-642 | The number 1 argument of fixed interest rate is an instance of financial account |
| (domain fixedInterestRate 2 Number) | FinancialOntology.kif 643-643 | The number 2 argument of fixed interest rate is an instance of number |
| (documentation fixedInterestRate EnglishLanguage "(fixedInterestRate ?Account ?Rate) holds if ?Rate is the interest rate that does not change during the entire term of the account.") | FinancialOntology.kif 644-646 | The number 2 argument of fixed interest rate is an instance of number |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage fixedInterestRate "%2 is %n a fixed interest rate of %1") | domainEnglishFormat.kif 1035-1035 | |
| (format ChineseTraditionalLanguage fixedInterestRate "%2 %n 是 %1 的 fixed 固定利息") | domainEnglishFormat.kif 1036-1036 | |
| (format ChineseLanguage fixedInterestRate "%2 %n 是 %1 的 fixed 固定利息") | domainEnglishFormat.kif 1037-1037 | |
| (termFormat EnglishLanguage fixedInterestRate "fixed interest rate") | domainEnglishFormat.kif 24118-24118 | |
| (termFormat ChineseTraditionalLanguage fixedInterestRate "固定利率") | domainEnglishFormat.kif 24119-24119 | |
| (termFormat ChineseLanguage fixedInterestRate "固定利率") | domainEnglishFormat.kif 24120-24120 |
| antecedent |
|
|
| (=> (and (principalAmount ?Account (MeasureFn ?Balance ?CUNIT)) (fixedInterestRate ?Account ?Rate) (simpleInterest ?Account (MeasureFn ?Amount ?CUNIT) ?Period) (equal ?Rate_Decimal (DivisionFn ?Rate 100))) (equal ?Amount (MultiplicationFn ?Balance ?Rate_Decimal))) |
FinancialOntology.kif 559-569 | If X Y(s) is a principal amount of Z, W is a fixed interest rate of Z, Z is simple interest V Y(s) for U, and equal ?Rate_Decimal, W, and 100, then equal V, X, and ?Rate_Decimal |
| (<=> (exists (?Rate) (fixedInterestRate ?Account ?Rate)) (instance ?Account FixedRateAccount)) |
FinancialOntology.kif 1003-1006 | There exists X such that X is a fixed interest rate of Y if and only if Y is an instance of fixed rate account |
|