BusinessToConsumer
|
|
appearance as argument number 1 |
(documentation BusinessToConsumer EnglishLanguage "A FinancialTransaction where the agent has a BusinessAccount and the destination has a ConsumerAccount") | UXExperimentalTerms.kif 1756-1757 | |
(instance BusinessToConsumer TransactionAttribute) | UXExperimentalTerms.kif 1752-1752 |
appearance as argument number 2 |
(termFormat EnglishLanguage BusinessToConsumer "business to consumer transaction") | UXExperimentalTerms.kif 1754-1754 |
antecedent |
(=> (and (instance ?TRANS FinancialTransaction) (attribute ?TRANS BusinessToConsumer)) (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE) (and (instance ?ACCT1 UserAccount) (instance ?ACCT2 UserAccount) (instance ?USER1 AutonomousAgent) (instance ?USER2 AutonomousAgent) (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 ?ACCT1 BusinessAccount) (attribute ?ACCT2 ConsumerAccount)))) |
UXExperimentalTerms.kif 1759-1778 |