TreeView Knowledge Base Browser - UsingAnAccount

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - UsingAnAccount

UsingAnAccount

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	UsingAnAccount は金融取引の subclass では %n

appearance as argument number 2

(subclass DepositingACheck UsingAnAccount)	FinancialOntology.kif 329-329	DepositingACheck は UsingAnAccount の subclass では %n
(subclass DrawingACheck UsingAnAccount)	FinancialOntology.kif 318-318	DrawingACheck は UsingAnAccount の subclass では %n
(termFormat ChineseLanguage UsingAnAccount "使用帐户")	domainEnglishFormat.kif 60868-60868
(termFormat ChineseTraditionalLanguage UsingAnAccount "使用帳戶")	domainEnglishFormat.kif 60867-60867
(termFormat EnglishLanguage UsingAnAccount "using an account")	domainEnglishFormat.kif 60866-60866

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	FinancialAccount は FinancialAccount の instance では %n minimumBalance FinancialAccount, UsingAnAccount and 実数の測定単位(s) 測定単位は UnitOfCurrency の instance では %n currentAccountBalance FinancialAccount, 日 and 実数の測定単位(s) 実数は実数より less では %n 工程工程は Penalty の instance では %n 工程の date は日では工程は CurrencyFn FinancialAccount に ends %n{ない}
(=> (and (instance ?Using UsingAnAccount) (patient ?Using ?Account) (accountHolder ?Account ?Agent)) (agent ?Using ?Agent))	FinancialOntology.kif 311-316	工程は UsingAnAccount の instance では %n FinancialAccount は工程の patient では %n accountHolder FinancialAccount and 認識エージェント認識エージェントは工程の agent では %n

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

Show without tree

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