Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
BankFinancialOrganization(bank)
|
| appearance as argument number 1 |
|
| (subclass BankFinancialOrganization FinancialOrganization) | FinancialOntology.kif 22-22 | Bank is a subclass of financial organization |
| (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 23-27 | Bank is a subclass of financial organization |
| (externalImage BankFinancialOrganization "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 34/ OTP_banka.jpg") | pictureList.kif 4528-4528 | Bank is a subclass of financial organization |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain bankAccount 2 BankFinancialOrganization) | FinancialOntology.kif 3997-3997 | The number 2 argument of bank account is an instance of bank |
| consequent |
|
|
| (=> (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 DayLoan) (lender ?Loan ?Lender)) (instance ?Lender BankFinancialOrganization)) |
FinancialOntology.kif 1609-1613 | If X is an instance of day loan and Y lends X, then Y is an instance of bank |
| (=> (and (instance ?H Human) (occupiesPosition ?H ?B ?O) (attribute ?B Banker)) (instance ?O BankFinancialOrganization)) |
FinancialOntology.kif 3710-3715 | If X is an instance of human, X holds the position of Y in Z, and banker is an attribute of Y, then Z is an instance of bank |
|