| FinancialOrganization | |
| appearance as argument number 1 |
|
|
| (documentation FinancialOrganization EnglishLanguage "The class FinancialOrganization includes, as subclasses, BankFinancialOrganization, CreditUnion and SavingsAnLoans.") | FinancialOntology.kif 18-19 | |
| (subclass FinancialOrganization Organization) | FinancialOntology.kif 17-17 | FinancialOrganization は 組織 の subclass では |
| appearance as argument number 2 |
|
|
| (subclass BankFinancialOrganization FinancialOrganization) | FinancialOntology.kif 22-22 | BankFinancialOrganization は FinancialOrganization の subclass では |
| (subclass CreditUnion FinancialOrganization) | FinancialOntology.kif 30-30 | CreditUnion は FinancialOrganization の subclass では |
| (subclass SavingsAndLoans FinancialOrganization) | FinancialOntology.kif 37-37 | SavingsAndLoans は FinancialOrganization の subclass では |
| (termFormat ChineseLanguage FinancialOrganization "金融机构") | domainEnglishFormat.kif 23791-23791 | SavingsAndLoans は FinancialOrganization の subclass では |
| (termFormat ChineseTraditionalLanguage FinancialOrganization "金融機構") | domainEnglishFormat.kif 23790-23790 | SavingsAndLoans は FinancialOrganization の subclass では |
| (termFormat EnglishLanguage FinancialOrganization "financial organization") | domainEnglishFormat.kif 23789-23789 | SavingsAndLoans は FinancialOrganization の subclass では |
| appearance as argument number 3 |
|
|
| (domain accountAt 2 FinancialOrganization) | FinancialOntology.kif 233-233 | accountAt の数値 2 引数は FinancialOrganization の instance では |
| (domain serviceFee 1 FinancialOrganization) | FinancialOntology.kif 896-896 | serviceFee の数値 1 引数は FinancialOrganization の instance では |
| 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 |
|
| (=> (and (instance ?Transfer ExternalTransfer) (origin ?Transfer ?Organization1) (instance ?Organization1 FinancialOrganization) (destination ?Transfer ?Organization2) (instance ?Organization2 FinancialOrganization)) (equal ?Organization1 ?Organization2)) |
FinancialOntology.kif 4161-4168 | |
| (=> (and (instance ?Transfer ExternalTransfer) (origin ?Transfer ?Organization1) (instance ?Organization1 FinancialOrganization) (destination ?Transfer ?Organization2) (instance ?Organization2 FinancialOrganization)) (not (equal ?Organization1 ?Organization2))) |
FinancialOntology.kif 4147-4154 |
| consequent |
|
|
| (=> (instance ?Account FinancialAccount) (exists (?Organization) (and (instance ?Organization FinancialOrganization) (accountAt ?Account ?Organization)))) |
FinancialOntology.kif 71-76 |
|
|
|