SUMO   View all facts   Glossary   Help
Entity > Physical > Process > IntentionalProcess > SocialInteraction > ChangeOfPossession > Transaction > FinancialTransaction > Buying
Next FinancialTransaction: Selling    Up: FinancialTransaction    Previous FinancialTransaction: Betting   

Buying comparison table
Subject have relatedInternalConcept documentation is a kind of have axiom
FinancialTransactionpossessesA Transaction where an instance of CurrencyMeasure is exchanged for something elseTransaction
(=>
    (instance ?TRANS Transaction)
    (exists (?AGENT1 ?AGENT2 ?GIVE1 ?GIVE2 ?OBJ1 ?OBJ2)
       (and
          (instance ?GIVE1 Giving)
          (instance ?GIVE2 Giving)
 	 (subProcess ?GIVE1 ?TRANS)
    	 (subProcess ?GIVE2 ?TRANS)
          (agent ?GIVE1 ?AGENT1)
          (agent ?GIVE2 ?AGENT2)
          (patient ?GIVE1 ?OBJ1)
          (patient ?GIVE2 ?OBJ2)
          (destination ?GIVE1 ?AGENT2)
          (destination ?GIVE2 ?AGENT1)
          (not
             (equal ?AGENT1 ?AGENT2))
          (not
             (equal ?OBJ1 ?OBJ2)))))
BuyingSellingA FinancialTransaction in which an instance of CurrencyMeasure is exchanged for an instance of PhysicalFinancialTransaction
(<=>
    (and
       (instance ?BUY Buying)
       (agent ?BUY ?AGENT1)
       (origin ?BUY ?AGENT2)
       (patient ?BUY ?OBJECT))
    (and 
       (instance ?SELL Selling)
       (agent ?SELL ?AGENT2)
       (destination ?SELL ?AGENT1)
       (patient ?SELL ?OBJECT)))

Next FinancialTransaction: Selling    Up: FinancialTransaction    Previous FinancialTransaction: Betting