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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TransactionCollection

Sigma KEE - TransactionCollection
TransactionCollection(collection of transactions)collection_of_transactions

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


(documentation TransactionCollection EnglishLanguage "A FinancialTransaction which has multiple subProcess which are Buyings, and where both the instrument and agent of the TransactionCollection is the same as the agent and instrument of the Buyings. The Buyings occur simultaneously.") UXExperimentalTerms.kif 2117-2120
(subclass TransactionCollection FinancialTransaction) UXExperimentalTerms.kif 2115-2115 Collection of transactions is a subclass of financial transaction

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


(termFormat EnglishLanguage TransactionCollection "collection of transactions") UXExperimentalTerms.kif 2122-2122 "collection of transactions" is the printable form of collection of transactions in english language

antecedent
-------------------------


(=>
    (and
        (instance ?PURCHASE TransactionCollection)
        (instance ?BUYING1 Buying)
        (instance ?BUYING2 Buying)
        (subProcess ?BUYING1 ?PURCHASE)
        (subProcess ?BUYING2 ?PURCHASE)
        (agent ?PURCHASE ?AGENT)
        (instrument ?PURCHASE ?INST))
    (and
        (agent ?BUYING1 ?AGENT)
        (agent ?BUYING2 ?AGENT)
        (instrument ?BUYING1 ?INST)
        (instrument ?BUYING2 ?INST)))
UXExperimentalTerms.kif 2146-2159
(=>
    (and
        (instance ?PURCHASE TransactionCollection)
        (instance ?BUYING1 Buying)
        (instance ?BUYING2 Buying)
        (subProcess ?BUYING1 ?PURCHASE)
        (subProcess ?BUYING2 ?PURCHASE))
    (equal
        (WhenFn ?BUYING1)
        (WhenFn ?BUYING2)))
UXExperimentalTerms.kif 2135-2144
(=>
    (instance ?PURCHASE TransactionCollection)
    (exists (?SUBPROCESS1 ?SUBPROCESS2)
        (and
            (instance ?SUBPROCESS1 Buying)
            (subProcess ?SUBPROCESS1 ?PURCHASE)
            (instance ?SUBPROCESS2 Buying)
            (subProcess ?SUBPROCESS2 ?PURCHASE)
            (not
                (equal ?SUBPROCESS1 ?SUBPROCESS2)))))
UXExperimentalTerms.kif 2124-2133


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