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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ClosingAnAccount

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

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


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

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 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