TreeView Knowledge Base Browser

appearance as argument number 1

(instance SellersItemsFn BinaryFunction)	UXExperimentalTerms.kif 979-979	Sellers items is an instance of binary function
(domain SellersItemsFn 1 AutonomousAgent)	UXExperimentalTerms.kif 981-981	The number 1 argument of sellers items is an instance of agent
(domain SellersItemsFn 2 WebSite)	UXExperimentalTerms.kif 983-983	The number 2 argument of sellers items is an instance of web site
(range SellersItemsFn Collection)	UXExperimentalTerms.kif 985-985	The range of sellers items is an instance of collection
(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 989-990	The range of sellers items is an instance of collection

appearance as argument number 2

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

antecedent

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

If All of the following hold: (1) X is an instance of collection (2) Y is an instance of web site (3) Z is an instance of agent (4) W is an instance of web listing (5) V is an instance of time point (6) Z sells W (7) W is not a member of X (8) For all Physicals U and T: if U is an instance of web listing, U is a member of items for sale by Z at Y, V is a part of the time of existence of U, and equal U and W, then U is a member of X and if T is a member of X, then V is a part of the time of existence of U and T is an instance of web listing, then equal things for sale by Z not listed in W at Y during V and X

consequent

(=>
    (and
        (instance ?AGENT AutonomousAgent)
        (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 992-1008

If X is an instance of agent and Y is an instance of web site, then there exists Z such that Z is an instance of collection, W W is an instance of web listing, W is hosted on Y, X sells W W is a member of Z, equal items for sale by X at Y, and Z

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

KB Term:			Term intersection

English Word: