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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BusinessToBusiness
BusinessToBusiness(business to business transaction)business_to_business_transaction

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

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


(termFormat EnglishLanguage BusinessToBusiness "business to business transaction") UXExperimentalTerms.kif 1927-1927 "business to business transaction" is the printable form of business to business transaction in english language

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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