(=>
(and
(instance ?SALES Collection)
(forall (?MEMBER)
(=>
(member ?MEMBER ?SALES)
(instance ?MEMBER Selling)))
(exists (?REGION)
(and
(instance ?REGION GeopoliticalArea)
(forall (?SELLER ?SELLING)
(=>
(and
(instance ?SELLER AutonomousAgent)
(instance ?SELLING Buying)
(member ?SELLING ?SALES)
(agent ?SELLING ?SELLER))
(located ?SELLER ?REGION))))))
(exists (?AMOUNT ?SALE ?TOTAL_SALE_AMOUNT)
(and
(total
(KappaFn ?AMOUNT
(and
(instance ?SALE Selling)
(member ?SALE ?SALES)
(transactionAmount ?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT)
(equal
(GMVFn ?SALES) ?TOTAL_SALE_AMOUNT)))) |
UXExperimentalTerms.kif 2999-3026 |
|