|
|
  DepositAccount
|
|
|
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage DepositAccount "存款账户") | domainEnglishFormat.kif 19137-19137 | |
| (termFormat ChineseTraditionalLanguage DepositAccount "存款賬戶") | domainEnglishFormat.kif 19136-19136 | |
| (termFormat EnglishLanguage DepositAccount "deposit account") | domainEnglishFormat.kif 19135-19135 |
| consequent |
|
|
| (=> (and (instance ?Card DebitCard) (possesses ?Agent ?Card)) (exists (?Account) (and (instance ?Account DepositAccount) (cardAccount ?Card ?Account) (accountHolder ?Account ?Agent)))) |
FinancialOntology.kif 203-211 |
|
|
|