Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   OpeningAnAccount
|
|
|
| appearance as argument number 1 |
|
|
| (subclass OpeningAnAccount FinancialTransaction) | FinancialOntology.kif 292-292 | Opening an account is a subclass of financial transaction |
| (documentation OpeningAnAccount EnglishLanguage "An activity of opening a financial account") | FinancialOntology.kif 293-293 | Opening an account is a subclass of financial transaction |
| (externalImage OpeningAnAccount "http://upload.wikimedia.org/wikipedia/commons/ 4/ 49/ Zh_Account_creation.png") | pictureList.kif 10167-10167 | Opening an account is a subclass of financial transaction |
| (externalImage OpeningAnAccount "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9f/ Commons_register2_create_account.png") | pictureList.kif 11551-11551 | Opening an account is a subclass of financial transaction |
| appearance as argument number 2 |
|
|
| 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 ?Account FinancialAccount) (minimumBalance ?Account OpeningAnAccount (MeasureFn ?Balance ?U)) (instance ?U UnitOfCurrency)) (exists (?Payment ?Date ?Amount) (and (destination ?Payment (CurrencyFn ?Account)) (transactionAmount ?Payment (MeasureFn ?Amount ?U)) (greaterThanOrEqualTo ?Amount ?Balance) (agreementEffectiveDate ?Account ?Date) (date ?Payment ?Date)))) |
FinancialOntology.kif 708-721 | If X is an instance of financial account, X is minimum balance opening an account for Y Z(s), and Z is an instance of unit of currency, then there exist W, V and U such that W ends up at the currency of X and U Z(s) is a transaction amount of W and U is greater than or equal to Y and V is an agreement effective date of X and date of W is V |
|
