SUMO   View all facts   Glossary   Help
Entity > Physical > Process > IntentionalProcess > SocialInteraction > ChangeOfPossession > Transaction > FinancialTransaction > Selling
Next FinancialTransactionBetting    UpFinancialTransaction    Previous FinancialTransactionBuying   

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)
(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)
(equal ?AGENT1 ?AGENT2))
(equal ?OBJ1 ?OBJ2)))))
SellingA FinancialTransaction in which an instance of Physical is exchanged for an instance of CurrencyMeasureFinancialTransaction
(instance ?BUY Buying)
(agent ?BUY ?AGENT1)
(origin ?BUY ?AGENT2)
(patient ?BUY ?OBJECT))
(instance ?SELL Selling)
(agent ?SELL ?AGENT2)
(destination ?SELL ?AGENT1)
(patient ?SELL ?OBJECT)))

Next FinancialTransactionBetting    UpFinancialTransaction    Previous FinancialTransactionBuying