| ClosingAnAccount(closing an account)
|
| appearance as argument number 1 |
|
| (documentation ClosingAnAccount EnglishLanguage "An activity of closing a financial account") | FinancialOntology.kif 389-389 | |
| (externalImage ClosingAnAccount "http://upload.wikimedia.org/wikipedia/commons/ 9/ 99/ Gnucash-account-summary.png") | pictureList.kif 9945-9945 | |
| (subclass ClosingAnAccount FinancialTransaction) | FinancialOntology.kif 388-388 | Closing an account is a subclass of financial transaction |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ClosingAnAccount "关闭帐户") | domainEnglishFormat.kif 15226-15226 | |
| (termFormat ChineseTraditionalLanguage ClosingAnAccount "關閉帳戶") | domainEnglishFormat.kif 15225-15225 | |
| (termFormat EnglishLanguage ClosingAnAccount "closing an account") | domainEnglishFormat.kif 15224-15224 |
| antecedent |
|
|
| (=> (and (instance ?Closing ClosingAnAccount) (patient ?Closing ?Account)) (and (holdsDuring (ImmediatePastFn (WhenFn ?Closing)) (instance ?Account FinancialAccount)) (holdsDuring (ImmediateFutureFn (WhenFn ?Closing)) (not (instance ?Account FinancialAccount))))) |
FinancialOntology.kif 391-401 |
|
|
|
|