objectOfBid - Sigma Knowledge base Browser

appearance as argument number 1

(documentation objectOfBid EnglishLanguage "A CaseRole of Bidding identifying the instance of Physical being bid on.")	UXExperimentalTerms.kif 1440-1441
(domain objectOfBid 1 Bidding)	UXExperimentalTerms.kif 1437-1437	The number 1 argument of object of bidding is an instance of bidding
(domain objectOfBid 2 Physical)	UXExperimentalTerms.kif 1438-1438	The number 2 argument of object of bidding is an instance of physical
(instance objectOfBid BinaryPredicate)	UXExperimentalTerms.kif 1436-1436	object of bidding is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage objectOfBid "%1 是个 bid 对于 %2 ")	domainEnglishFormat.kif 4006-4006
(format ChineseTraditionalLanguage objectOfBid "%1 是個 bid 對於 %2 ")	domainEnglishFormat.kif 4005-4005
(format EnglishLanguage objectOfBid "%1 is a bid for %2")	domainEnglishFormat.kif 4004-4004
(termFormat EnglishLanguage objectOfBid "object of bidding")	UXExperimentalTerms.kif 1439-1439

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: