objectOfBid |
appearance as argument number 1 |
![]() |
(documentation objectOfBid EnglishLanguage "A CaseRole of Bidding identifying the instance of Physical being bid on.") | UXExperimentalTerms.kif 1642-1643 | |
(domain objectOfBid 1 Bidding) | UXExperimentalTerms.kif 1636-1636 | |
(domain objectOfBid 2 Physical) | UXExperimentalTerms.kif 1638-1638 | |
(instance objectOfBid CaseRole) | UXExperimentalTerms.kif 1634-1634 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage objectOfBid "%1 是个 bid 对于 %2 ") | domainEnglishFormat.kif 4011-4011 | |
(format ChineseTraditionalLanguage objectOfBid "%1 是個 bid 對於 %2 ") | domainEnglishFormat.kif 4010-4010 | |
(format EnglishLanguage objectOfBid "%1 is a bid for %2") | domainEnglishFormat.kif 4009-4009 | |
(termFormat EnglishLanguage objectOfBid "object of bidding") | UXExperimentalTerms.kif 1640-1640 |
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 1614-1623 |
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 3130-3147 | |
(=> (bidPrice ?OBJECT ?AMOUNT ?AGENT) (exists (?BIDDING) (and (instance ?BIDDING Bidding) (objectOfBid ?BIDDING ?OBJECT) (amountOfBid ?BIDDING ?AMOUNT) (agent ?BIDDING ?AGENT)))) |
UXExperimentalTerms.kif 1605-1612 |
![]() |
![]() |