Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  BusinessToBusiness

Sigma KEE - BusinessToBusiness
BusinessToBusiness

appearance as argument number 1
-------------------------


(documentation BusinessToBusiness EnglishLanguage "A FinancialTransaction where both the agent and the destination hasAccount BusinessAcounts") UXExperimentalTerms.kif 1929-1930
(instance BusinessToBusiness TransactionAttribute) UXExperimentalTerms.kif 1925-1925

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage BusinessToBusiness "business to business transaction") UXExperimentalTerms.kif 1927-1927

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 ?ACCOUNT1 BusinessAccount)
            (attribute ?ACCOUNT2 BusinessAccount))))
UXExperimentalTerms.kif 1932-1951


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners