| appearance as argument number 1 |
|
| (documentation BankTermLoan EnglishLanguage "A bank loan terminating in one year or more.") | FinancialOntology.kif 1489-1489 | |
| (subclass BankTermLoan Loan) | FinancialOntology.kif 1488-1488 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BankTermLoan "银行定期贷款") | domainEnglishFormat.kif 9849-9849 | |
| (termFormat ChineseTraditionalLanguage BankTermLoan "銀行定期貸款") | domainEnglishFormat.kif 9848-9848 | |
| (termFormat EnglishLanguage BankTermLoan "bank term loan") | domainEnglishFormat.kif 9847-9847 |
| antecedent |
|
|
| (=> (and (instance ?Loan BankTermLoan) (agreementPeriod ?Loan ?Period) (duration ?Period (MeasureFn ?Duration YearDuration))) (greaterThanOrEqualTo ?Duration 1)) |
FinancialOntology.kif 1497-1502 | |
| (=> (and (instance ?Loan BankTermLoan) (lender ?Loan ?Lender)) (instance ?Lender BankFinancialOrganization)) |
FinancialOntology.kif 1491-1495 |
|
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