TreeView Knowledge Base Browser

appearance as argument number 1

(documentation SellersItemsFn EnglishLanguage "(SellersItemsFn ?AGENT ?SITE) is a BinaryFunction that returns a Collection of the items for sale by ?AGENT on the WebSite ?SITE")	UXExperimentalTerms.kif 1186-1187
(domain SellersItemsFn 1 Agent)	UXExperimentalTerms.kif 1178-1178	domain SellersItemsFn, 1 and Agent
(domain SellersItemsFn 2 WebSite)	UXExperimentalTerms.kif 1180-1180	domain SellersItemsFn, 2 and WebSite
(instance SellersItemsFn BinaryFunction)	UXExperimentalTerms.kif 1176-1176	instance SellersItemsFn and BinaryFunction
(range SellersItemsFn Collection)	UXExperimentalTerms.kif 1182-1182	range SellersItemsFn and Collection

appearance as argument number 2

(format ChineseLanguage SellersItemsFn "样品对于 sale 由 %1 在 %2 ")	domainEnglishFormat.kif 4491-4491
(format ChineseTraditionalLanguage SellersItemsFn "樣品對於 sale 由 %1 在 %2 ")	domainEnglishFormat.kif 4490-4490
(format EnglishLanguage SellersItemsFn "items for sale by %1 at %2")	domainEnglishFormat.kif 4489-4489
(termFormat EnglishLanguage SellersItemsFn "sellers items")	UXExperimentalTerms.kif 1184-1184

antecedent

(=>
    (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

consequent

(=>
    (and
        (instance ?AGENT Agent)
        (instance ?SITE WebSite))
    (exists (?COLL)
        (and
            (instance ?COLL Collection)
            (forall (?LISTING)
                (=>
                    (and
                        (instance ?LISTING WebListing)
                        (hostedOn ?LISTING ?SITE)
                        (listingSeller ?LISTING ?AGENT))
                    (member ?LISTING ?COLL)))
            (equal
                (SellersItemsFn ?AGENT ?SITE) ?COLL))))

UXExperimentalTerms.kif 1189-1205

instance Agent and Agent instance WebSite and WebSite
Collection instance Collection and Collection WebListing
- instance WebListing and WebListing hostedOn WebListing and WebSite listingSeller WebListing and Agent
- member WebListing and Collection
equal SellersItemsFn Agent and WebSite and Collection

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

KB Term:			Term intersection

English Word: