| 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 | 子類 金融機構 and Organization |
| appearance as argument number 2 |
|
|
| (subclass BankFinancialOrganization FinancialOrganization) | FinancialOntology.kif 21-21 | 子類 BankFinancialOrganization and 金融機構 |
| (subclass CreditUnion FinancialOrganization) | FinancialOntology.kif 28-28 | 子類 信用社 and 金融機構 |
| (subclass SavingsAndLoans FinancialOrganization) | FinancialOntology.kif 35-35 | 子類 儲蓄和貸款 and 金融機構 |
| (termFormat ChineseLanguage FinancialOrganization "金融机构") | domainEnglishFormat.kif 23802-23802 | 子類 儲蓄和貸款 and 金融機構 |
| (termFormat ChineseTraditionalLanguage FinancialOrganization "金融機構") | domainEnglishFormat.kif 23801-23801 | 子類 儲蓄和貸款 and 金融機構 |
| (termFormat EnglishLanguage FinancialOrganization "financial organization") | domainEnglishFormat.kif 23800-23800 | 子類 儲蓄和貸款 and 金融機構 |
| appearance as argument number 3 |
|
|
| (domain accountAt 2 FinancialOrganization) | FinancialOntology.kif 231-231 | 域 帳號在, 2 and 金融機構 |
| (domain serviceFee 1 FinancialOrganization) | FinancialOntology.kif 894-894 | 域 服務費, 1 and 金融機構 |
| 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 293-306 | |
| (=> (and (instance ?Transfer ExternalTransfer) (origin ?Transfer ?Organization1) (instance ?Organization1 FinancialOrganization) (destination ?Transfer ?Organization2) (instance ?Organization2 FinancialOrganization)) (equal ?Organization1 ?Organization2)) |
FinancialOntology.kif 4157-4164 | |
| (=> (and (instance ?Transfer ExternalTransfer) (origin ?Transfer ?Organization1) (instance ?Organization1 FinancialOrganization) (destination ?Transfer ?Organization2) (instance ?Organization2 FinancialOrganization)) (not (equal ?Organization1 ?Organization2))) |
FinancialOntology.kif 4143-4150 |
| consequent |
|
|
| (=> (instance ?Account FinancialAccount) (exists (?Organization) (and (instance ?Organization FinancialOrganization) (accountAt ?Account ?Organization)))) |
FinancialOntology.kif 69-74 |
|
|
|