UsingAnAccount - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - UsingAnAccount

UsingAnAccount(using an account)

appearance as argument number 1

(documentation UsingAnAccount EnglishLanguage "An activity of using a financial account")	FinancialOntology.kif 309-309
(externalImage UsingAnAccount "http://upload.wikimedia.org/wikipedia/commons/ 9/ 99/ Gnucash-account-summary.png")	pictureList.kif 10329-10329
(subclass UsingAnAccount FinancialTransaction)	FinancialOntology.kif 308-308	Using an account is a subclass of financial transaction

appearance as argument number 2

(subclass DepositingACheck UsingAnAccount)	FinancialOntology.kif 329-329	DepositingA check is a subclass of using an account
(subclass DrawingACheck UsingAnAccount)	FinancialOntology.kif 318-318	DrawingA check is a subclass of using an account
(termFormat ChineseLanguage UsingAnAccount "使用帐户")	domainEnglishFormat.kif 60914-60914	DrawingA check is a subclass of using an account
(termFormat ChineseTraditionalLanguage UsingAnAccount "使用帳戶")	domainEnglishFormat.kif 60913-60913	DrawingA check is a subclass of using an account
(termFormat EnglishLanguage UsingAnAccount "using an account")	domainEnglishFormat.kif 60912-60912	DrawingA check is a subclass of using an account

antecedent

(=> (and (instance ?Account FinancialAccount) (minimumBalance ?Account UsingAnAccount (MeasureFn ?Balance ?U)) (instance ?U UnitOfCurrency) (currentAccountBalance ?Account ?Date (MeasureFn ?Amount ?U)) (lessThan ?Amount ?Balance)) (exists (?Penalty) (and (instance ?Penalty Penalty) (date ?Penalty ?Date) (destination ?Penalty (CurrencyFn ?Account)))))	FinancialOntology.kif 701-714	If a financial account is an instance of financial account and the financial account is minimum balance using an account for a real number an unit of measure(s) and the unit of measure is an instance of unit of currency and the financial account current account balance a day for another real number the unit of measure(s) and the other real number is less than the real number, then there exists a process such that the process is an instance of penalty and date of the process is the day and the process ends up at the currency of the financial account
(=> (and (instance ?Using UsingAnAccount) (patient ?Using ?Account) (accountHolder ?Account ?Agent)) (agent ?Using ?Agent))	FinancialOntology.kif 311-316	If a process is an instance of using an account and a financial account is a patient of the process and a cognitive agent holds account the financial account, then the cognitive agent is an agent of the process

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