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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BusinessToConsumer

Sigma KEE - BusinessToConsumer
BusinessToConsumer

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


(documentation BusinessToConsumer EnglishLanguage "A FinancialTransaction where the agent has a BusinessAccount and the destination has a ConsumerAccount") UXExperimentalTerms.kif 1964-1965
(instance BusinessToConsumer TransactionAttribute) UXExperimentalTerms.kif 1960-1960 BusinessToConsumerTransactionAttributeinstance

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


(termFormat EnglishLanguage BusinessToConsumer "business to consumer transaction") UXExperimentalTerms.kif 1962-1962

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 ?ACCOUNT1 BusinessAccount)
            (attribute ?ACCOUNT2 ConsumerAccount))))
UXExperimentalTerms.kif 1967-1986


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 3.0 is open source software produced by Articulate Software and its partners