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 1225-1228
(domain SellersOtherItemsFn 1 Agent)	UXExperimentalTerms.kif 1213-1213	domain SellersOtherItemsFn, 1 and Agent
(domain SellersOtherItemsFn 2 WebSite)	UXExperimentalTerms.kif 1215-1215	domain SellersOtherItemsFn, 2 and WebSite
(domain SellersOtherItemsFn 3 WebListing)	UXExperimentalTerms.kif 1217-1217	domain SellersOtherItemsFn, 3 and WebListing
(domain SellersOtherItemsFn 4 TimePoint)	UXExperimentalTerms.kif 1219-1219	domain SellersOtherItemsFn, 4 and TimePoint
(instance SellersOtherItemsFn QuaternaryFunction)	UXExperimentalTerms.kif 1211-1211	instance SellersOtherItemsFn and QuaternaryFunction
(range SellersOtherItemsFn Collection)	UXExperimentalTerms.kif 1221-1221	range SellersOtherItemsFn and Collection

appearance as argument number 2

(format ChineseLanguage SellersOtherItemsFn "东西对于 sale 由 %1 非列在 %3 在 %2 期间 %4 ")	domainEnglishFormat.kif 4495-4495
(format ChineseTraditionalLanguage SellersOtherItemsFn "東西對於 sale 由 %1 非列在 %3 在 %2 期間 %4 ")	domainEnglishFormat.kif 4494-4494
(format EnglishLanguage SellersOtherItemsFn "things for sale by %1 not listed in %3 at %2 during %4")	domainEnglishFormat.kif 4493-4493
(termFormat EnglishLanguage SellersOtherItemsFn "sellers other items")	UXExperimentalTerms.kif 1223-1223

consequent

(=>
    (and
        (instance ?COLL Collection)
        (instance ?SITE WebSite)
        (instance ?AGENT Agent)
        (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 1230-1257

instance Collection and Collection instance WebSite and WebSite instance Agent and Agent instance WebListing and WebListing instance TimePoint and TimePoint listingSeller WebListing and Agent member WebListing and Collection Physical Physical
- instance Physical and WebListing member Physical and SellersItemsFn Agent and WebSite temporalPart TimePoint and WhenFn Physical equal Physical and WebListing
- member Physical and Collection
- member Physical and Collection
- temporalPart TimePoint and WhenFn Physical instance Physical and WebListing
equal SellersOtherItemsFn Agent, WebSite, WebListing and TimePoint and Collection

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

KB Term:			Term intersection

English Word: