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 |
|
![]() |
![]() |