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

Selling
subjectfact 
Sellingdocumentation A FinancialTransaction in which an instance of Physical is exchanged for an instance of CurrencyMeasure2001-11-30 13:35:14.0
has axiom
(<=>
(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)))
2001-11-30 13:35:14.0
is a kind of FinancialTransaction2001-11-30 13:35:14.0
ChangeOfPossessionhas relatedInternalConcept possesses2001-11-30 13:33:50.0
IntentionalProcessis disjoint from NonintentionalProcess2001-11-30 13:34:31.0
Processis first domain of agent2001-11-30 13:35:04.0
is first domain of capability2001-11-30 13:35:04.0
is first domain of causes2001-11-30 13:35:04.0
is first domain of destination2001-11-30 13:35:04.0
is first domain of direction2001-11-30 13:35:04.0
is first domain of effector2001-11-30 13:35:04.0
is first domain of experiencer2001-11-30 13:35:04.0
is first domain of frequency2001-11-30 13:35:04.0
is first domain of hasSkill2001-11-30 13:35:04.0
is first domain of holdsObligation2001-11-30 13:35:04.0
is first domain of holdsRight2001-11-30 13:35:04.0
is first domain of inhibits2001-11-30 13:35:04.0
is first domain of instrument2001-11-30 13:35:04.0
is first domain of manner2001-11-30 13:35:04.0
is first domain of origin2001-11-30 13:35:04.0
is first domain of patient2001-11-30 13:35:04.0
is first domain of precondition2001-11-30 13:35:04.0
is first domain of prevents2001-11-30 13:35:04.0
is first domain of realization2001-11-30 13:35:04.0
is first domain of resource2001-11-30 13:35:04.0
is first domain of result2001-11-30 13:35:04.0
is first domain of subProcess2001-11-30 13:35:04.0
is second domain of causes2001-11-30 13:35:04.0
is second domain of inhibits2001-11-30 13:35:04.0
is second domain of precondition2001-11-30 13:35:04.0
is second domain of prevents2001-11-30 13:35:04.0
is second domain of subProcess2001-11-30 13:35:04.0

Next FinancialTransactionBetting    UpFinancialTransaction    Previous FinancialTransactionBuying