BusinessToConsumer - Sigma Knowledge base Browser

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	Business to consumer transaction is an instance of transaction attribute

appearance as argument number 2

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