Transaction Comparison Table

Next ChangeOfPossession: Getting Up: ChangeOfPossession Previous ChangeOfPossession: Giving

Transaction comparison table

Subject have relatedInternalConcept documentation be disjoint from is a kind of be second domain of be first domain of have axiom

FinancialTransaction possesses A Transaction where an instance of CurrencyMeasure is exchanged for something else NonintentionalProcess Transaction subProcess subProcess
(=>
(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)))))

Subject	have relatedInternalConcept	documentation	be disjoint from	is a kind of	be second domain of	be first domain of	have axiom
FinancialTransaction	possesses	A Transaction where an instance of CurrencyMeasure is exchanged for something else	NonintentionalProcess	Transaction	subProcess	subProcess	(=> (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)))))

Next ChangeOfPossession: Getting Up: ChangeOfPossession Previous ChangeOfPossession: Giving