| appearance as argument number 1 |
|
| (documentation loanFeeAmount EnglishLanguage "(loanFeeAmount ?Loan ?Amount) means that ?Amount is the fee amount of the Loan ?Loan.") | FinancialOntology.kif 4159-4160 | |
| (domain loanFeeAmount 1 Loan) | FinancialOntology.kif 4157-4157 | The number 1 argument of loan fee amount is an instance of loan |
| (domain loanFeeAmount 2 CurrencyMeasure) | FinancialOntology.kif 4158-4158 | The number 2 argument of loan fee amount is an instance of currency measure |
| (instance loanFeeAmount BinaryPredicate) | FinancialOntology.kif 4156-4156 | loan fee amount is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage loanFeeAmount "%2 %n %1 %2 %n 是 %1 的 loan 金额") | domainEnglishFormat.kif 1547-1547 | |
| (format ChineseTraditionalLanguage loanFeeAmount "%2 %n 是 %1 的 loan 金額") | domainEnglishFormat.kif 1546-1546 | |
| (format EnglishLanguage loanFeeAmount "%2 is %n a loan fee amount of %1") | domainEnglishFormat.kif 1545-1545 | |
| (termFormat ChineseLanguage loanFeeAmount "贷款费用金额") | domainEnglishFormat.kif 34857-34857 | |
| (termFormat ChineseTraditionalLanguage loanFeeAmount "貸款費用金額") | domainEnglishFormat.kif 34856-34856 | |
| (termFormat EnglishLanguage loanFeeAmount "loan fee amount") | domainEnglishFormat.kif 34855-34855 |
| antecedent |
|
|
| (=> (and (loanFeeAmount ?Loan ?Amount) (agreementPeriod ?Loan ?Period)) (interestEarned ?Loan ?Amount ?Period)) |
FinancialOntology.kif 4162-4166 |
|
|
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