ClosingAnAccount - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ClosingAnAccount FinancialTransaction)	FinancialOntology.kif 390-390	Closing an account is a subclass of financial transaction
(documentation ClosingAnAccount EnglishLanguage "An activity of closing a financial account")	FinancialOntology.kif 391-391	Closing an account is a subclass of financial transaction
(externalImage ClosingAnAccount "http://upload.wikimedia.org/wikipedia/commons/ 9/ 99/ Gnucash_account_summary.png")	pictureList.kif 9944-9944	Closing an account is a subclass of financial transaction

appearance as argument number 2

(termFormat EnglishLanguage ClosingAnAccount "closing an account")	domainEnglishFormat.kif 15210-15210
(termFormat ChineseTraditionalLanguage ClosingAnAccount "關閉帳戶")	domainEnglishFormat.kif 15211-15211
(termFormat ChineseLanguage ClosingAnAccount "关闭帐户")	domainEnglishFormat.kif 15212-15212

antecedent

(=>
    (and
        (instance ?Closing ClosingAnAccount)
        (patient ?Closing ?Account))
    (and
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?Closing))
            (instance ?Account FinancialAccount))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?Closing))
            (not
                (instance ?Account FinancialAccount)))))

If X is an instance of closing an account and Y is a patient of X, then Y is an instance of financial account holds during immediately before the time of existence of X and Y is not an instance of financial account holds during immediately after the time of existence of X