SellersOtherItemsFn |
appearance as argument number 1 |
(documentation SellersOtherItemsFn EnglishLanguage "(SellersOtherItemsFn ?AGENT ?SITE ?LISTING ?TIMEPOINT) returns a Collection of all WebListings except ?LISTING hostedOn ?SITE where ?AGENT is the listingSeller and where ?TIMEPOINT is a Temporal part of WhenFn of those WebListings.") | UXExperimentalTerms.kif 1028-1031 | |
(domain SellersOtherItemsFn 1 AutonomousAgent) | UXExperimentalTerms.kif 1016-1016 | SellersOtherItemsFn の数値 1 引数は AutonomousAgent の instance では %n |
(domain SellersOtherItemsFn 2 WebSite) | UXExperimentalTerms.kif 1018-1018 | SellersOtherItemsFn の数値 2 引数は WebSite の instance では %n |
(domain SellersOtherItemsFn 3 WebListing) | UXExperimentalTerms.kif 1020-1020 | SellersOtherItemsFn の数値 3 引数は WebListing の instance では %n |
(domain SellersOtherItemsFn 4 TimePoint) | UXExperimentalTerms.kif 1022-1022 | SellersOtherItemsFn の数値 4 引数は 時点 の instance では %n |
(instance SellersOtherItemsFn QuaternaryFunction) | UXExperimentalTerms.kif 1014-1014 | SellersOtherItemsFn は 4変数関数 の instance では %n |
(range SellersOtherItemsFn Collection) | UXExperimentalTerms.kif 1024-1024 | SellersOtherItemsFn の range は コレクション のインスタンス では %n |
appearance as argument number 2 |
(format ChineseLanguage SellersOtherItemsFn "东西对于 sale 由 %1 非列在 %3 在 %2 期间 %4 ") | domainEnglishFormat.kif 4486-4486 | |
(format ChineseTraditionalLanguage SellersOtherItemsFn "東西對於 sale 由 %1 非列在 %3 在 %2 期間 %4 ") | domainEnglishFormat.kif 4485-4485 | |
(format EnglishLanguage SellersOtherItemsFn "things for sale by %1 not listed in %3 at %2 during %4") | domainEnglishFormat.kif 4484-4484 | |
(termFormat EnglishLanguage SellersOtherItemsFn "sellers other items") | UXExperimentalTerms.kif 1026-1026 |
consequent |