TreeView Knowledge Base Browser

appearance as argument number 1

(instance objectOfBid BinaryPredicate)	UXExperimentalTerms.kif 1436-1436	object of bidding is an instance of binary predicate
(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
(documentation objectOfBid EnglishLanguage "A CaseRole of Bidding identifying the instance of Physical being bid on.")	UXExperimentalTerms.kif 1440-1441	The number 2 argument of object of bidding is an instance of physical

appearance as argument number 2

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

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

If All of the following hold: (1) X is an instance of bidding (2) Y is an instance of physical (3) Z is an instance of currency measure (4) W is an instance of W (5) X is a bid for Y (6) Z is the bid of X (7) W is an agent of X, then W bids Z for Y

consequent

(=> (bidPrice ?OBJECT ?AMOUNT ?AGENT) (exists (?BIDDING) (and (instance ?BIDDING Bidding) (objectOfBid ?BIDDING ?OBJECT) (amountOfBid ?BIDDING ?AMOUNT) (agent ?BIDDING ?AGENT))))	UXExperimentalTerms.kif 1407-1414	If X bids Y for Z, then there exists W such that W is an instance of bidding, W is a bid for Z, Y is the bid of W, and X is an agent of W
(=> (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 X is an instance of collection and For all Physical Y: if Y is a member of X, then Y is an instance of web listing, then there exist Z, W,, , V, Z such that equal the number of instances in the class described by Z, and number of bids in X