BestOffering - Sigma Knowledge base Browser

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	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)
    (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

If an entity_OFFER is an instance of best offer,
then the entity_OFFER contains information there exist another entity, a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the other entity is an instance of buying and the third entity is an agent of the other entity and the fourth entity is a patient of the other entity and the fifth entity the sixth entity(s) is a transaction amount of the other entity and there doesn't exist a content bearing physical such that the content bearing physical contains information there exist the other entity2, the third entity2 and a ninth entity such that the other entity2 is an instance of buying and the third entity2 is an agent of the other entity2 and the fourth entity is a patient of the other entity2 and the ninth entity the sixth entity(s) is a transaction amount of the other entity2 and the ninth entity is greater than the fifth entity

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: