| ControllingAnAccount(controlling an account)
|
| appearance as argument number 1 |
|
| (documentation ControllingAnAccount EnglishLanguage "An activity of controlling a financial account") | FinancialOntology.kif 354-354 | |
| (externalImage ControllingAnAccount "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Gnucash-account-summary.png") | pictureList.kif 9960-9960 | |
| (subclass ControllingAnAccount FinancialTransaction) | FinancialOntology.kif 353-353 | Controlling an account is a subclass of financial transaction |
| appearance as argument number 2 |
|
|
| (subclass AuthorizationOfTransaction ControllingAnAccount) | FinancialOntology.kif 382-382 | Authorization of transaction is a subclass of controlling an account |
| (subclass ProcessingACheck ControllingAnAccount) | FinancialOntology.kif 363-363 | ProcessingA check is a subclass of controlling an account |
| (termFormat ChineseLanguage ControllingAnAccount "控制一个帐户") | domainEnglishFormat.kif 17074-17074 | ProcessingA check is a subclass of controlling an account |
| (termFormat ChineseTraditionalLanguage ControllingAnAccount "控制一個帳戶") | domainEnglishFormat.kif 17073-17073 | ProcessingA check is a subclass of controlling an account |
| (termFormat EnglishLanguage ControllingAnAccount "controlling an account") | domainEnglishFormat.kif 17072-17072 | ProcessingA check is a subclass of controlling an account |
| antecedent |
|
|
| (=> (and (instance ?Controlling ControllingAnAccount) (patient ?Controlling ?Account) (accountAt ?Account ?Bank)) (agent ?Controlling ?Bank)) |
FinancialOntology.kif 356-361 |
|
| consequent |
|
|
| (=> (and (instance ?Account FinancialAccount) (accountAt ?Account ?Bank)) (exists (?Activity) (and (instance ?Activity ControllingAnAccount) (patient ?Activity ?Account) (agent ?Activity ?Bank)))) |
FinancialOntology.kif 76-84 |
|
|
|
|