| appearance as argument number 1 |
|
| (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 623-625 | |
| (domain fixedInterestRate 1 FinancialAccount) | FinancialOntology.kif 621-621 | |
| (domain fixedInterestRate 2 Number) | FinancialOntology.kif 622-622 | |
| (instance fixedInterestRate BinaryPredicate) | FinancialOntology.kif 620-620 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage fixedInterestRate "%2 %n 是 %1 的 fixed 固定利息") | domainEnglishFormat.kif 1037-1037 | |
| (format ChineseTraditionalLanguage fixedInterestRate "%2 %n 是 %1 的 fixed 固定利息") | domainEnglishFormat.kif 1036-1036 | |
| (format EnglishLanguage fixedInterestRate "%2 is %n a fixed interest rate of %1") | domainEnglishFormat.kif 1035-1035 | |
| (termFormat ChineseLanguage fixedInterestRate "固定利率") | domainEnglishFormat.kif 24138-24138 | |
| (termFormat ChineseTraditionalLanguage fixedInterestRate "固定利率") | domainEnglishFormat.kif 24137-24137 | |
| (termFormat EnglishLanguage fixedInterestRate "fixed interest rate") | domainEnglishFormat.kif 24136-24136 |
| antecedent |
|
|
| (<=> (exists (?Rate) (fixedInterestRate ?Account ?Rate)) (instance ?Account FixedRateAccount)) |
FinancialOntology.kif 981-984 | |
| (=> (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 538-548 |
|
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