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

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)
(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)))))
BuyingSellingA FinancialTransaction in which an instance of CurrencyMeasure is exchanged for an instance of PhysicalFinancialTransaction
(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 FinancialTransactionSelling    UpFinancialTransaction    Previous FinancialTransactionBetting