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 9945-9945
(subclass ClosingAnAccount FinancialTransaction) FinancialOntology.kif 388-388 关闭帐户金融交易subclass

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