| FinancialOrganization(financial organization) | | financial_institution, financial_organisation, financial_organization |
| appearance as argument number 1 |
|
|
| (subclass FinancialOrganization Organization) | FinancialOntology.kif 17-17 | Financial organization is a subclass of organization |
| (documentation FinancialOrganization EnglishLanguage "The class FinancialOrganization includes, as subclasses, BankFinancialOrganization, CreditUnion and SavingsAnLoans.") | FinancialOntology.kif 18-19 | Financial organization is a subclass of organization |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain accountAt 2 FinancialOrganization) | FinancialOntology.kif 233-233 | The number 2 argument of account at is an instance of financial organization |
| (domain serviceFee 1 FinancialOrganization) | FinancialOntology.kif 896-896 | The number 1 argument of service fee is an instance of financial organization |
| antecedent |
|
|
| (=> (and (instance ?Opening OpeningAnAccount) (eventLocated ?Opening ?Bank) (instance ?Bank FinancialOrganization) (agent ?Opening ?Agent) (equal (WhenFn ?Opening) ?OpeningTime)) (exists (?Account ?AccountPeriod) (and (agreementPeriod ?Account ?AccountPeriod) (meetsTemporally ?OpeningTime ?AccountPeriod) (instance ?Account FinancialAccount) (accountAt ?Account ?Bank) (accountHolder ?Account ?Agent)))) |
FinancialOntology.kif 295-308 | If X is an instance of opening an account, X is located at Y, Y is an instance of financial organization, Z is an agent of X, and equal the time of existence of X and W, then there exist V, U such that U is an agreement period of V, W meets U, V is an instance of financial account, V is held by Y, and Z holds account V |
| (=> (and (instance ?Transfer ExternalTransfer) (origin ?Transfer ?Organization1) (instance ?Organization1 FinancialOrganization) (destination ?Transfer ?Organization2) (instance ?Organization2 FinancialOrganization)) (not (equal ?Organization1 ?Organization2))) |
FinancialOntology.kif 4147-4154 | If X is an instance of external transfer, X originates at Y, Y is an instance of financial organization, X ends up at Z, and Z is an instance of financial organization, then equal Y and Z |
| (=> (and (instance ?Transfer ExternalTransfer) (origin ?Transfer ?Organization1) (instance ?Organization1 FinancialOrganization) (destination ?Transfer ?Organization2) (instance ?Organization2 FinancialOrganization)) (equal ?Organization1 ?Organization2)) |
FinancialOntology.kif 4161-4168 | If X is an instance of external transfer, X originates at Y, Y is an instance of financial organization, X ends up at Z, and Z is an instance of financial organization, then equal Y and Z |
| consequent |
|
|
| (=> (instance ?Account FinancialAccount) (exists (?Organization) (and (instance ?Organization FinancialOrganization) (accountAt ?Account ?Organization)))) |
FinancialOntology.kif 71-76 | If X is an instance of financial account, then there exists Y such that Y is an instance of financial organization and X is held by Y |
|
|
|