Bidding - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Bidding EnglishLanguage "A Requesting where the patient is a Formula specifying that there is a Buying for a certain transactionAmount, where the agent of the Bidding is the agent of the Buying.")	UXExperimentalTerms.kif 1351-1353
(subclass Bidding Requesting)	UXExperimentalTerms.kif 1347-1347	Bidding is a subclass of requesting

appearance as argument number 2

(termFormat EnglishLanguage Bidding "bidding")

UXExperimentalTerms.kif 1349-1349

appearance as argument number 3

(domain amountOfBid 1 Bidding)	UXExperimentalTerms.kif 1447-1447	The number 1 argument of bid amount is an instance of bidding
(domain objectOfBid 1 Bidding)	UXExperimentalTerms.kif 1437-1437	The number 1 argument of object of bidding is an instance of bidding

antecedent

(=>
    (and
        (instance ?BIDDING Bidding)
        (instance ?OBJECT Physical)
        (instance ?AMOUNT CurrencyMeasure)
        (instance ?AGENT ?AGENT)
        (objectOfBid ?BIDDING ?OBJECT)
        (amountOfBid ?BIDDING ?AMOUNT)
        (agent ?BIDDING ?AGENT))
    (bidPrice ?OBJECT ?AMOUNT ?AGENT))

UXExperimentalTerms.kif 1416-1425

If a bidding is an instance of bidding and an object is an instance of physical and a currency measure is an instance of currency measure and an agent is an instance of the agent and the bidding is a bid for the object and the currency measure is the bid of the bidding and the agent is an agent of the bidding,
then the agent bids the currency measure for the object

consequent

(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (exists (?BIDDING ?ITEM ?LISTING ?BIDDING) (equal (CardinalityFn (KappaFn ?BIDDING (and (instance ?ITEM Physical) (instance ?LISTING WebListing) (instance ?BIDDING Bidding) (member ?LISTING ?COLL) (objectOfBid ?BIDDING ?ITEM) (patient ?LISTING ?ITEM)))) (BidCountFn ?COLL))))	UXExperimentalTerms.kif 2922-2940	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of web listing , then there exist a symbolic string, an entity,, , another entity and the symbolic string such that the number of instances in the class described by the symbolic string is equal to number of bids in the collection
(=> (bidPrice ?OBJECT ?AMOUNT ?AGENT) (exists (?BIDDING) (and (instance ?BIDDING Bidding) (objectOfBid ?BIDDING ?OBJECT) (amountOfBid ?BIDDING ?AMOUNT) (agent ?BIDDING ?AGENT))))	UXExperimentalTerms.kif 1407-1414	If an agent bids a currency measure for an object, then there exists a bidding such that the bidding is an instance of bidding and the bidding is a bid for the object and the currency measure is the bid of the bidding and the agent is an agent of the bidding

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: