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 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4529-4529 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9804-9804 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9803-9803 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9802-9802 |