|
|
  ConsumerAccount
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ConsumerAccount EnglishLanguage "This attribute represents that the account is considered to be a consumer account.") | UXExperimentalTerms.kif 837-838 | |
| (instance ConsumerAccount AccountAttribute) | UXExperimentalTerms.kif 833-833 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ConsumerAccount "consumer account") | UXExperimentalTerms.kif 835-835 |
| consequent |
|
|
| (=> (and (instance ?TRANS FinancialTransaction) (attribute ?TRANS BusinessToConsumer)) (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE) (and (instance ?ACCT1 UserAccount) (instance ?ACCT2 UserAccount) (instance ?USER1 Agent) (instance ?USER2 Agent) (instance ?SITE WebSite) (agent ?TRANS ?USER1) (destination ?TRANS ?USER2) (instrument ?TRANS ?SITE) (hasAccount ?USER1 ?ACCT1) (hasAccount ?USER2 ?ACCT2) (accountAtSite ?ACCT1 ?SITE) (accountAtSite ?ACCT2 ?SITE) (attribute ?ACCOUNT1 BusinessAccount) (attribute ?ACCOUNT2 ConsumerAccount)))) |
UXExperimentalTerms.kif 1967-1986 | |
| (=> (and (instance ?TRANS FinancialTransaction) (attribute ?TRANS ConsumerToConsumer)) (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE) (and (instance ?ACCT1 UserAccount) (instance ?ACCT2 UserAccount) (instance ?USER1 Agent) (instance ?USER2 Agent) (instance ?SITE WebSite) (agent ?TRANS ?USER1) (destination ?TRANS ?USER2) (instrument ?TRANS ?SITE) (hasAccount ?USER1 ?ACCT1) (hasAccount ?USER2 ?ACCT2) (accountAtSite ?ACCT1 ?SITE) (accountAtSite ?ACCT2 ?SITE) (attribute ?ACCOUNT1 ConsumerAccount) (attribute ?ACCOUNT2 ConsumerAccount)))) |
UXExperimentalTerms.kif 1999-2018 |
|
|
|