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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ControllingAnAccount
ControllingAnAccount(controlling an account)

appearance as argument number 1
-------------------------


(documentation ControllingAnAccount EnglishLanguage "An activity of controlling a financial account") FinancialOntology.kif 356-356
(externalImage ControllingAnAccount "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Gnucash_account_summary.png") pictureList.kif 9959-9959
(subclass ControllingAnAccount FinancialTransaction) FinancialOntology.kif 355-355 Controlling an account is a subclass of financial transaction

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


(subclass AuthorizationOfTransaction ControllingAnAccount) FinancialOntology.kif 384-384 Authorization of transaction is a subclass of controlling an account
(subclass ProcessingACheck ControllingAnAccount) FinancialOntology.kif 365-365 Processing a check is a subclass of controlling an account
(termFormat ChineseLanguage ControllingAnAccount "控制一个帐户") domainEnglishFormat.kif 17067-17067 Processing a check is a subclass of controlling an account
(termFormat ChineseTraditionalLanguage ControllingAnAccount "控制一個帳戶") domainEnglishFormat.kif 17066-17066 Processing a check is a subclass of controlling an account
(termFormat EnglishLanguage ControllingAnAccount "controlling an account") domainEnglishFormat.kif 17065-17065 Processing a check is a subclass of controlling an account

antecedent
-------------------------


(=>
    (and
        (instance ?Controlling ControllingAnAccount)
        (patient ?Controlling ?Account)
        (accountAt ?Account ?Bank))
    (agent ?Controlling ?Bank))
FinancialOntology.kif 358-363

consequent
-------------------------


(=>
    (and
        (instance ?Account FinancialAccount)
        (accountAt ?Account ?Bank))
    (exists (?Activity)
        (and
            (instance ?Activity ControllingAnAccount)
            (patient ?Activity ?Account)
            (agent ?Activity ?Bank))))
FinancialOntology.kif 78-86


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