BidCountFn |
appearance as argument number 1 |
(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 | |
(domain BidCountFn 1 Collection) | UXExperimentalTerms.kif 2912-2912 | 域 BidCountFn, 1 and Collection |
(instance BidCountFn UnaryFunction) | UXExperimentalTerms.kif 2910-2910 | 例 BidCountFn and UnaryFunction |
(range BidCountFn NonnegativeInteger) | UXExperimentalTerms.kif 2914-2914 | 範圍 BidCountFn and NonnegativeInteger |
appearance as argument number 2 |
(format ChineseLanguage BidCountFn "在 %1 的 bids 數字") | domainEnglishFormat.kif 2894-2894 | |
(format ChineseTraditionalLanguage BidCountFn "在 %1 的 bids 數字") | domainEnglishFormat.kif 2893-2893 | |
(format EnglishLanguage BidCountFn "number of bids in %1") | domainEnglishFormat.kif 2892-2892 | |
(termFormat EnglishLanguage BidCountFn "bid count") | UXExperimentalTerms.kif 2916-2916 |
consequent |