Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BankTermLoan(bank term loan) |
| appearance as argument number 1 |
|
| (subclass BankTermLoan Loan) | FinancialOntology.kif 1530-1530 | Bank term loan is a subclass of loan |
| (documentation BankTermLoan EnglishLanguage "A bank loan terminating in one year or more.") | FinancialOntology.kif 1531-1531 | Bank term loan is a subclass of loan |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?Loan BankTermLoan) (lender ?Loan ?Lender)) (instance ?Lender BankFinancialOrganization)) |
FinancialOntology.kif 1533-1537 | If X is an instance of bank term loan and Y lends X, then Y is an instance of bank |
| (=> (and (instance ?Loan BankTermLoan) (agreementPeriod ?Loan ?Period) (duration ?Period (MeasureFn ?Duration YearDuration))) (greaterThanOrEqualTo ?Duration 1)) |
FinancialOntology.kif 1539-1544 | If X is an instance of bank term loan, Y is an agreement period of X, and duration of Y is Z year duration(s), then Z is greater than or equal to 1 |
|