Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bank-FinancialOrganization
Bank-FinancialOrganization(bank- financial organization)
Federal_Reserve_Bank, Home_Loan_Bank, acquirer, agent_bank, bank, banking_company, banking_concern, commercial_bank, depository_financial_institution, full_service_bank, lead_bank, member_bank, merchant_bank, national_bank, reserve_bank, state_bank, thrift_institution

appearance as argument number 1
-------------------------


(documentation Bank-FinancialOrganization 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
(externalImage Bank-FinancialOrganization "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 34/ OTP_banka.jpg") pictureList.kif 4530-4530
(subclass Bank-FinancialOrganization FinancialOrganization) FinancialOntology.kif 21-21 Bank- financial organization is a subclass of financial organization

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Bank-FinancialOrganization "银行 - 财政组织") domainEnglishFormat.kif 9817-9817
(termFormat ChineseTraditionalLanguage Bank-FinancialOrganization "銀行 - 財政組織") domainEnglishFormat.kif 9816-9816
(termFormat EnglishLanguage Bank-FinancialOrganization "bank- financial organization") domainEnglishFormat.kif 9815-9815

appearance as argument number 3
-------------------------


(domain bankAccount 2 Bank-FinancialOrganization) FinancialOntology.kif 3782-3782 The number 2 argument of bank account is an instance of bank- financial organization

consequent
-------------------------


(=>
    (and
        (instance ?H Human)
        (occupiesPosition ?H ?B ?O)
        (attribute ?B Banker))
    (instance ?O Bank-FinancialOrganization))
FinancialOntology.kif 3551-3556
(=>
    (and
        (instance ?Loan BankTermLoan)
        (lender ?Loan ?Lender))
    (instance ?Lender Bank-FinancialOrganization))
FinancialOntology.kif 1432-1436
(=>
    (and
        (instance ?Loan DayLoan)
        (lender ?Loan ?Lender))
    (instance ?Lender Bank-FinancialOrganization))
FinancialOntology.kif 1509-1513


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