BestOffering |
appearance as argument number 1 |
(documentation BestOffering EnglishLanguage "A case of OfferingToPurchase where there does not exist another instance of OfferingToPurchase the same Object at a higher price.") | UXExperimentalTerms.kif 1649-1650 | |
(subclass BestOffering OfferingToPurchase) | UXExperimentalTerms.kif 1647-1647 |
appearance as argument number 2 |
(termFormat EnglishLanguage BestOffering "best offer") | UXExperimentalTerms.kif 1652-1652 |
antecedent |
(=> (instance ?BEST_OFFER BestOffering) (and (containsInformation ?BEST_OFFER (exists (?BUYING ?AGENT ?OBJECT ?MONEY1 ?U) (and (instance ?BUYING Buying) (agent ?BUYING ?AGENT) (patient ?BUYING ?OBJECT) (transactionAmount ?BUYING (MeasureFn ?MONEY1 ?U))))) (not (exists (?OFFER2) (containsInformation ?OFFER2 (exists (?BUYING2 ?AGENT2 ?MONEY2) (and (instance ?BUYING2 Buying) (agent ?BUYING2 ?AGENT2) (patient ?BUYING2 ?OBJECT) (transactionAmount ?BUYING2 (MeasureFn ?MONEY2 ?U)) (greaterThan ?MONEY2 ?MONEY1)))))))) |
UXExperimentalTerms.kif 1654-1675 |