ControllingAnAccount - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(subclass ProcessingACheck ControllingAnAccount)	FinancialOntology.kif 365-365	Processing a check is a subclass of controlling an account
(subclass AuthorizationOfTransaction ControllingAnAccount)	FinancialOntology.kif 384-384	Authorization of transaction is a subclass of controlling an account
(termFormat EnglishLanguage ControllingAnAccount "controlling an account")	domainEnglishFormat.kif 17058-17058	Authorization of transaction is a subclass of controlling an account
(termFormat ChineseTraditionalLanguage ControllingAnAccount "控制一個帳戶")	domainEnglishFormat.kif 17059-17059	Authorization of transaction is a subclass of controlling an account
(termFormat ChineseLanguage ControllingAnAccount "控制一个帐户")	domainEnglishFormat.kif 17060-17060	Authorization of transaction 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

If X is an instance of controlling an account, Y is a patient of X, and Y is held by Z, then Z is an agent of X

consequent

(=>
    (and
        (instance ?Account FinancialAccount)
        (accountAt ?Account ?Bank))
    (exists (?Activity)
        (and
            (instance ?Activity ControllingAnAccount)
            (patient ?Activity ?Account)
            (agent ?Activity ?Bank))))

FinancialOntology.kif 78-86

If X is an instance of financial account and X is held by Y, then there exists Z such that Z is an instance of controlling an account, X is a patient of Z, and Y is an agent of Z

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: