TreeView Knowledge Base Browser - 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
(domain SellersOtherItemsFn 2 WebSite)	UXExperimentalTerms.kif 1018-1018
(domain SellersOtherItemsFn 3 WebListing)	UXExperimentalTerms.kif 1020-1020
(domain SellersOtherItemsFn 4 TimePoint)	UXExperimentalTerms.kif 1022-1022
(instance SellersOtherItemsFn QuaternaryFunction)	UXExperimentalTerms.kif 1014-1014
(range SellersOtherItemsFn Collection)	UXExperimentalTerms.kif 1024-1024

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

(=>
    (and
        (instance ?COLL Collection)
        (instance ?SITE WebSite)
        (instance ?AGENT AutonomousAgent)
        (instance ?LISTING WebListing)
        (instance ?TIME TimePoint)
        (listingSeller ?LISTING ?AGENT)
        (not
            (member ?LISTING ?COLL))
        (forall (?ITEM ?MEMBER)
            (and
                (=>
                    (and
                        (instance ?ITEM WebListing)
                        (member ?ITEM
                            (SellersItemsFn ?AGENT ?SITE))
                        (temporalPart ?TIME
                            (WhenFn ?ITEM))
                        (not
                            (equal ?ITEM ?LISTING)))
                    (member ?ITEM ?COLL))
                (=>
                    (member ?MEMBER ?COLL)
                    (and
                        (temporalPart ?TIME
                            (WhenFn ?ITEM))
                        (instance ?MEMBER WebListing))))))
    (equal
        (SellersOtherItemsFn ?AGENT ?SITE ?LISTING ?TIME) ?COLL))

UXExperimentalTerms.kif 1033-1060

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: