| 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 23-27 | |
| (subclass BankFinancialOrganization FinancialOrganization) | FinancialOntology.kif 22-22 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BankFinancialOrganization "bank") | FinancialOntology.kif 28-28 |
| appearance as argument number 3 |
|
|
| (domain bankAccount 2 BankFinancialOrganization) | FinancialOntology.kif 3957-3957 |
| consequent |
|
|
| (=> (and (instance ?H Human) (occupiesPosition ?H ?B ?O) (attribute ?B Banker)) (instance ?O BankFinancialOrganization)) |
FinancialOntology.kif 3670-3675 | |
| (=> (and (instance ?Loan BankTermLoan) (lender ?Loan ?Lender)) (instance ?Lender BankFinancialOrganization)) |
FinancialOntology.kif 1507-1511 | |
| (=> (and (instance ?Loan DayLoan) (lender ?Loan ?Lender)) (instance ?Lender BankFinancialOrganization)) |
FinancialOntology.kif 1583-1587 |
|
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