Betting concept from the SUMO knowledge base

Next FinancialTransaction: Buying Up: FinancialTransaction Previous FinancialTransaction: Selling

Next FinancialTransaction: Buying Up: FinancialTransaction Previous FinancialTransaction: Selling

Betting	*documentation* A FinancialTransaction where an instance of CurrencyMeasure is exchanged for the possibility of winning a larger instance of CurrencyMeasure within the context of some sort of Game
Betting	is a kind of FinancialTransaction
Transaction	has axiom (=> (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)))))
ChangeOfPossession	has relatedInternalConcept possesses
IntentionalProcess	*is disjoint* from** NonintentionalProcess
Process	*is first domain* of** agent
	*is first domain* of** capability
	*is first domain* of** causes
	*is first domain* of** destination
	*is first domain* of** direction
	*is first domain* of** effector
	*is first domain* of** experiencer
	*is first domain* of** frequency
	*is first domain* of** hasSkill
	*is first domain* of** holdsObligation
	*is first domain* of** holdsRight
	*is first domain* of** inhibits
	*is first domain* of** instrument
	*is first domain* of** manner
	*is first domain* of** origin
	*is first domain* of** patient
	*is first domain* of** precondition
	*is first domain* of** prevents
	*is first domain* of** realization
	*is first domain* of** resource
	*is first domain* of** result
	*is first domain* of** subProcess
	*is second domain* of** causes
	*is second domain* of** inhibits
	*is second domain* of** precondition
	*is second domain* of** prevents
	*is second domain* of** subProcess


Betting
subject			fact