| ClosingAnAccount
|
| appearance as argument number 1 |
|
| (documentation ClosingAnAccount EnglishLanguage "An activity of closing a financial account") | FinancialOntology.kif 391-391 | |
| (externalImage ClosingAnAccount "http://upload.wikimedia.org/wikipedia/commons/ 9/ 99/ Gnucash_account_summary.png") | pictureList.kif 9944-9944 | |
| (subclass ClosingAnAccount FinancialTransaction) | FinancialOntology.kif 390-390 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ClosingAnAccount "关闭帐户") | domainEnglishFormat.kif 15219-15219 | |
| (termFormat ChineseTraditionalLanguage ClosingAnAccount "關閉帳戶") | domainEnglishFormat.kif 15218-15218 | |
| (termFormat EnglishLanguage ClosingAnAccount "closing an account") | domainEnglishFormat.kif 15217-15217 |
| 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 393-403 |
|
|
|