|
|
   ControllingAnAccount
|
|
|
| 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 | ControllingAnAccount は 金融取引 の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass AuthorizationOfTransaction ControllingAnAccount) | FinancialOntology.kif 382-382 | AuthorizationOfTransaction は ControllingAnAccount の subclass では %n |
| (subclass ProcessingACheck ControllingAnAccount) | FinancialOntology.kif 363-363 | ProcessingACheck は ControllingAnAccount の subclass では %n |
| (termFormat ChineseLanguage ControllingAnAccount "控制一个帐户") | domainEnglishFormat.kif 17058-17058 | |
| (termFormat ChineseTraditionalLanguage ControllingAnAccount "控制一個帳戶") | domainEnglishFormat.kif 17057-17057 | |
| (termFormat EnglishLanguage ControllingAnAccount "controlling an account") | domainEnglishFormat.kif 17056-17056 |
| 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 |
|
|
|
|
