OpeningAnAccount - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - OpeningAnAccount

OpeningAnAccount(opening an account)

appearance as argument number 1

(documentation OpeningAnAccount EnglishLanguage "An activity of opening a financial account")	FinancialOntology.kif 291-291
(externalImage OpeningAnAccount "http://upload.wikimedia.org/wikipedia/commons/ 4/ 49/ Zh-Account-creation.png")	pictureList.kif 10168-10168
(externalImage OpeningAnAccount "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9f/ Commons_register2_create_account.png")	pictureList.kif 11557-11557
(subclass OpeningAnAccount FinancialTransaction)	FinancialOntology.kif 290-290	Opening an account is a subclass of financial transaction

appearance as argument number 2

(termFormat ChineseLanguage OpeningAnAccount "开户")	domainEnglishFormat.kif 42237-42237
(termFormat ChineseTraditionalLanguage OpeningAnAccount "開戶")	domainEnglishFormat.kif 42236-42236
(termFormat EnglishLanguage OpeningAnAccount "opening an account")	domainEnglishFormat.kif 42235-42235

antecedent

(=> (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 686-699	If a financial account is an instance of financial account and the financial account is minimum balance opening an account for a real number an unit of measure(s) and the unit of measure is an instance of unit of currency, then there exist a financial transaction, a time point and another real number such that the financial transaction ends up at the currency of the financial account and the other real number the unit of measure(s) is a transaction amount of the financial transaction and the other real number is greater than or equal to the real number and the time point is an agreement effective date of the financial account and date of the financial transaction is the time point
(=> (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	If a process is an instance of opening an account and the process is located at a financial organization and the financial organization is an instance of financial organization and a cognitive agent is an agent of the process and the time of existence of the process is equal to the processTime, then there exist a financial account and the financial accountPeriod such that the financial accountPeriod is an agreement period of the financial account and the processTime meets the financial accountPeriod and the financial account is an instance of financial account and the financial account is held by the financial organization and the cognitive agent holds account the financial account

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners