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 1932-1933
(instance BusinessToBusiness TransactionAttribute)	UXExperimentalTerms.kif 1928-1928	instance BusinessToBusiness and TransactionAttribute

appearance as argument number 2

UXExperimentalTerms.kif 1930-1930

antecedent

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

UXExperimentalTerms.kif 1935-1954