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 | Il numero 1 argomenti di BidCountFn è un istanza di InsiemeConcreto |
(instance BidCountFn UnaryFunction) | UXExperimentalTerms.kif 2910-2910 | BidCountFn è un' istanza di FunzioneUnaria |
(range BidCountFn NonnegativeInteger) | UXExperimentalTerms.kif 2914-2914 | rango di BidCountFn è un'istanza di NumeroInteroNonNegativo |
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 |