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 | O argumento numero 1 de SellersOtherItemsFn e' uma instancia de AutonomousAgent |
(domain SellersOtherItemsFn 2 WebSite) | UXExperimentalTerms.kif 1018-1018 | O argumento numero 2 de SellersOtherItemsFn e' uma instancia de WebSite |
(domain SellersOtherItemsFn 3 WebListing) | UXExperimentalTerms.kif 1020-1020 | O argumento numero 3 de SellersOtherItemsFn e' uma instancia de WebListing |
(domain SellersOtherItemsFn 4 TimePoint) | UXExperimentalTerms.kif 1022-1022 | O argumento numero 4 de SellersOtherItemsFn e' uma instancia de Ponto no tempo |
(instance SellersOtherItemsFn QuaternaryFunction) | UXExperimentalTerms.kif 1014-1014 | SellersOtherItemsFn e' uma instancia de Funcao Quaternaria |
(range SellersOtherItemsFn Collection) | UXExperimentalTerms.kif 1024-1024 | O contra-dominio de SellersOtherItemsFn e' uma instancia de Colecao |
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 |