Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ClosingAnAccount
ClosingAnAccount

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 9953-9953
(subclass ClosingAnAccount FinancialTransaction) FinancialOntology.kif 388-388

appearance as argument number 2
-------------------------


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

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


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