(=>
(and
(instance ?PURCHASES Collection)
(forall (?MEMBER)
(=>
(member ?MEMBER ?PURCHASES)
(instance ?MEMBER Buying)))
(exists (?REGION)
(and
(instance ?REGION GeopoliticalArea)
(forall (?BUYER ?BUYING)
(=>
(and
(instance ?BUYER AutonomousAgent)
(instance ?BUYING Buying)
(member ?BUYING ?PURCHASES)
(agent ?BUYING ?BUYER))
(located ?BUYER ?REGION))))))
(exists (?AMOUNT ?PURCHASE ?TOTAL_PURCHASE_AMOUNT)
(and
(total
(KappaFn ?AMOUNT
(and
(instance ?PURCHASE Buying)
(member ?PURCHASE ?PURCHASES)
(transactionAmount ?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT)
(equal
(GMBFn ?PURCHASES) ?TOTAL_PURCHASE_AMOUNT)))) |
UXExperimentalTerms.kif 2956-2983 |
|