BankFinancialOrganization |
appearance as argument number 1 |
(documentation BankFinancialOrganization EnglishLanguage "An organization, chartered by a state or federal government, which does most or all of the following: receives Deposits, honors FinancialInstruments drawn on them, and pays Interest on them, discounts Notes, makes Loans, and invests in SecuredLoans, collects Checks, Drafts and Notes, certifies depositor's checks, and issues drafts and Cashier's checks.") | FinancialOntology.kif 22-26 | |
(subclass BankFinancialOrganization FinancialOrganization) | FinancialOntology.kif 21-21 |
appearance as argument number 3 |
(domain bankAccount 2 BankFinancialOrganization) | FinancialOntology.kif 3939-3939 |
consequent |
(=> (and (instance ?H Human) (occupiesPosition ?H ?B ?O) (attribute ?B Banker)) (instance ?O BankFinancialOrganization)) |
FinancialOntology.kif 3652-3657 | |
(=> (and (instance ?Loan BankTermLoan) (lender ?Loan ?Lender)) (instance ?Lender BankFinancialOrganization)) |
FinancialOntology.kif 1491-1495 | |
(=> (and (instance ?Loan DayLoan) (lender ?Loan ?Lender)) (instance ?Lender BankFinancialOrganization)) |
FinancialOntology.kif 1567-1571 |