| 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 ist eine teilkategorie von Organization |
| appearance as argument number 2 |
|
|
| (subclass BankFinancialOrganization FinancialOrganization) | FinancialOntology.kif 21-21 | BankFinancialOrganization ist eine teilkategorie von FinancialOrganization |
| (subclass CreditUnion FinancialOrganization) | FinancialOntology.kif 28-28 | CreditUnion ist eine teilkategorie von FinancialOrganization |
| (subclass SavingsAndLoans FinancialOrganization) | FinancialOntology.kif 35-35 | SavingsAndLoans ist eine teilkategorie von FinancialOrganization |
| (termFormat ChineseLanguage FinancialOrganization "金融机构") | domainEnglishFormat.kif 23786-23786 | |
| (termFormat ChineseTraditionalLanguage FinancialOrganization "金融機構") | domainEnglishFormat.kif 23785-23785 | |
| (termFormat EnglishLanguage FinancialOrganization "financial organization") | domainEnglishFormat.kif 23784-23784 |
| appearance as argument number 3 |
|
|
| (domain accountAt 2 FinancialOrganization) | FinancialOntology.kif 231-231 | Die Zahl 2 Argument von accountAt ist ein fall von FinancialOrganization %n{nicht} |
| (domain serviceFee 1 FinancialOrganization) | FinancialOntology.kif 894-894 | Die Zahl 1 Argument von serviceFee ist ein fall von FinancialOrganization %n{nicht} |
| 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 4143-4150 |
|
| (=> (and (instance ?Transfer ExternalTransfer) (origin ?Transfer ?Organization1) (instance ?Organization1 FinancialOrganization) (destination ?Transfer ?Organization2) (instance ?Organization2 FinancialOrganization)) (not (equal ?Organization1 ?Organization2))) |
FinancialOntology.kif 4129-4136 |
|
| consequent |
|
|
| (=> (instance ?Account FinancialAccount) (exists (?Organization) (and (instance ?Organization FinancialOrganization) (accountAt ?Account ?Organization)))) |
FinancialOntology.kif 69-74 |
|
|
|
|