| 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 625-627 | |
| (domain fixedInterestRate 1 FinancialAccount) | FinancialOntology.kif 623-623 | fixedInterestRate の数値 1 引数は FinancialAccount の instance では |
| (domain fixedInterestRate 2 Number) | FinancialOntology.kif 624-624 | fixedInterestRate の数値 2 引数は 数 の instance では |
| (instance fixedInterestRate BinaryPredicate) | FinancialOntology.kif 622-622 | fixedInterestRate は 2進述語 の instance では |
| 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 24127-24127 | |
| (termFormat ChineseTraditionalLanguage fixedInterestRate "固定利率") | domainEnglishFormat.kif 24126-24126 | |
| (termFormat EnglishLanguage fixedInterestRate "fixed interest rate") | domainEnglishFormat.kif 24125-24125 |
| antecedent |
|
|
| (<=> (exists (?Rate) (fixedInterestRate ?Account ?Rate)) (instance ?Account FixedRateAccount)) |
FinancialOntology.kif 983-986 | 数 fixedInterestRate FinancialAccount and 数 FinancialAccount は FixedRateAccount の instance では |
| (=> (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 540-550 |
|
|
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