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

Selling comparison table
Subject documentation is a kind of have axiom
FinancialTransactionA 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)))))
SellingA FinancialTransaction in which an instance of Physical is exchanged for an instance of CurrencyMeasureFinancialTransaction
(<=>
    (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: Betting    Up: FinancialTransaction    Previous FinancialTransaction: Buying