BusinessToBusiness - Sigma Knowledge base Browser

appearance as argument number 1

(documentation BusinessToBusiness EnglishLanguage "A FinancialTransaction where both the agent and the destination hasAccount BusinessAcounts")	UXExperimentalTerms.kif 1724-1725
(instance BusinessToBusiness TransactionAttribute)	UXExperimentalTerms.kif 1720-1720

appearance as argument number 2

UXExperimentalTerms.kif 1722-1722

antecedent

(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS BusinessToBusiness))
    (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 BusinessAccount))))

UXExperimentalTerms.kif 1727-1746