SellersItemsFn - Sigma 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 AutonomousAgent)	UXExperimentalTerms.kif 1178-1178
(domain SellersItemsFn 2 WebSite)	UXExperimentalTerms.kif 1180-1180
(instance SellersItemsFn BinaryFunction)	UXExperimentalTerms.kif 1176-1176
(range SellersItemsFn Collection)	UXExperimentalTerms.kif 1182-1182

appearance as argument number 2

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

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 1230-1257

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 1189-1205

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: