| 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 |
|
|
|
|