Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   BestOffering
|
|
|
| appearance as argument number 1 |
|
|
| (subclass BestOffering OfferingToPurchase) | UXExperimentalTerms.kif 1647-1647 | Best offer is a subclass of offering to purchase |
| (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 | Best offer is a subclass of offering to purchase |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BestOffering "best offer") | UXExperimentalTerms.kif 1652-1652 |
| antecedent |
|
|
| (=> (instance ?BEST_OFFER BestOffering) (exists (?OBJECT ?MONEY1 ?U) (and (containsFormula ?BEST_OFFER (exists (?BUYING ?AGENT) (and (instance ?BUYING Buying) (agent ?BUYING ?AGENT) (patient ?BUYING ?OBJECT) (transactionAmount ?BUYING (MeasureFn ?MONEY1 ?U))))) (not (exists (?OFFER2) (containsFormula ?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-1676 | If ?BEST_OFFER is an instance of best offer, then there exist Y, Z and W such that ?BEST_OFFER contains the formula there exist V and U such that V is an instance of buying and U is an agent of V and Y is a patient of V and Z W(s) is a transaction amount of V and there doesn't exist T such that T contains the formula there exist S, R and Q such that S is an instance of buying and R is an agent of S and Y is a patient of S and Q W(s) is a transaction amount of S and Q is greater than Z |
|