TreeView Knowledge Base Browser - ControllingAnAccount

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

KB Term:			Term intersection

English Word: