| appearance as argument number 1 |
|
| (documentation BankTermLoan EnglishLanguage "A bank loan terminating in one year or more.") | FinancialOntology.kif 1503-1503 | |
| (subclass BankTermLoan Loan) | FinancialOntology.kif 1502-1502 | Bank term loan is a subclass of loan |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BankTermLoan "银行定期贷款") | domainEnglishFormat.kif 9853-9853 | |
| (termFormat ChineseTraditionalLanguage BankTermLoan "銀行定期貸款") | domainEnglishFormat.kif 9852-9852 | |
| (termFormat EnglishLanguage BankTermLoan "bank term loan") | domainEnglishFormat.kif 9851-9851 |
| antecedent |
|
|
| (=> (and (instance ?Loan BankTermLoan) (agreementPeriod ?Loan ?Period) (duration ?Period (MeasureFn ?Duration YearDuration))) (greaterThanOrEqualTo ?Duration 1)) |
FinancialOntology.kif 1511-1516 |
|
| (=> (and (instance ?Loan BankTermLoan) (lender ?Loan ?Lender)) (instance ?Lender BankFinancialOrganization)) |
FinancialOntology.kif 1505-1509 |
|
|
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