Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BidCountFn |
| appearance as argument number 1 |
|
| (instance BidCountFn UnaryFunction) | UXExperimentalTerms.kif 2910-2910 | Bid count is an instance of unary function |
| (domain BidCountFn 1 Collection) | UXExperimentalTerms.kif 2912-2912 | The number 1 argument of bid count is an instance of collection |
| (range BidCountFn NonnegativeInteger) | UXExperimentalTerms.kif 2914-2914 | The range of bid count is an instance of nonnegative integer |
| (documentation BidCountFn EnglishLanguage "(BidCountFn ?COLL) returns the number of Biddings which were the objectOfBid of the Biddings are also the patients of WebListings which are members of ?COLL.") | UXExperimentalTerms.kif 2918-2920 | The range of bid count is an instance of nonnegative integer |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BidCountFn "bid count") | UXExperimentalTerms.kif 2916-2916 | |
| (format EnglishLanguage BidCountFn "number of bids in %1") | domainEnglishFormat.kif 2888-2888 | |
| (format ChineseTraditionalLanguage BidCountFn "在 %1 的 bids 數字") | domainEnglishFormat.kif 2889-2889 | |
| (format ChineseLanguage BidCountFn "在 %1 的 bids 數字") | domainEnglishFormat.kif 2890-2890 |
| consequent |
|
|
| (=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (exists (?LISTING ?SITE ?ITEM) (equal (DivisionFn (CardinalityFn (KappaFn ?LISTING (and (instance ?LISTING WebListing) (instance ?SITE WebSite) (instance ?ITEM Physical) (member ?LISTING ?COLL) (patient ?LISTING ?ITEM) (hostedOn ?LISTING ?SITE) (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?ITEM) (eCommerceSite ?BUYING ?SITE)))))) (CardinalityFn ?COLL)) (BidCountFn ?COLL)))) |
UXExperimentalTerms.kif 2846-2871 | 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 such that equal the number of instances in the class described by Z, the number of instances in X, and number of bids in X |
| (=> (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 |
|