TreeView 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 1639-1640
(domain objectOfBid 1 Bidding)	UXExperimentalTerms.kif 1633-1633	domain objectOfBid, 1 and Bidding
(domain objectOfBid 2 Physical)	UXExperimentalTerms.kif 1635-1635	domain objectOfBid, 2 and Physical
(instance objectOfBid CaseRole)	UXExperimentalTerms.kif 1631-1631	instance objectOfBid and CaseRole

appearance as argument number 2

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

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 1611-1620

consequent

(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (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 3125-3142	instance Collection and Collection Object member Object and Collection instance Object and WebListing equal CardinalityFn KappaFn SymbolicString and instance entity and Physical instance entity and WebListing instance SymbolicString and Bidding member entity and Collection objectOfBid SymbolicString and entity patient entity and entity and BidCountFn Collection
(=> (bidPrice ?OBJECT ?AMOUNT ?AGENT) (exists (?BIDDING) (and (instance ?BIDDING Bidding) (objectOfBid ?BIDDING ?OBJECT) (amountOfBid ?BIDDING ?AMOUNT) (agent ?BIDDING ?AGENT))))	UXExperimentalTerms.kif 1602-1609	bidPrice Object, CurrencyMeasure and Agent Bidding instance Bidding and Bidding objectOfBid Bidding and Object amountOfBid Bidding and CurrencyMeasure agent Bidding and Agent