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
(domain objectOfBid 2 Physical)	UXExperimentalTerms.kif 1438-1438
(instance objectOfBid BinaryPredicate)	UXExperimentalTerms.kif 1436-1436

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

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
(=> (bidPrice ?OBJECT ?AMOUNT ?AGENT) (exists (?BIDDING) (and (instance ?BIDDING Bidding) (objectOfBid ?BIDDING ?OBJECT) (amountOfBid ?BIDDING ?AMOUNT) (agent ?BIDDING ?AGENT))))	UXExperimentalTerms.kif 1407-1414