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

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


(termFormat ChineseLanguage ClosingAnAccount "关闭帐户") domainEnglishFormat.kif 15145-15145
(termFormat ChineseTraditionalLanguage ClosingAnAccount "關閉帳戶") domainEnglishFormat.kif 15144-15144
(termFormat EnglishLanguage ClosingAnAccount "closing an account") domainEnglishFormat.kif 15143-15143

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners