Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SellersItemsFn
SellersItemsFn

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 1185-1186
(domain SellersItemsFn 1 Agent) UXExperimentalTerms.kif 1177-1177 The number 1 argument of sellers items is an instance of agent
(domain SellersItemsFn 2 WebSite) UXExperimentalTerms.kif 1179-1179 The number 2 argument of sellers items is an instance of WebSite
(instance SellersItemsFn BinaryFunction) UXExperimentalTerms.kif 1175-1175 Sellers items is an instance of binary function
(range SellersItemsFn Collection) UXExperimentalTerms.kif 1181-1181 The range of sellers items is an instance of collection

appearance as argument number 2
-------------------------


(format EnglishLanguage SellersItemsFn "items for sale by %1 at %2") domainEnglishFormat.kif 1131-1131
(termFormat EnglishLanguage SellersItemsFn "sellers items") UXExperimentalTerms.kif 1183-1183 "sellers items" is the printable form of sellers items in english language

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)
            (=>
                (and
                    (instance ?ITEM WebListing)
                    (member ?ITEM
                        (SellersItemsFn ?AGENT ?SITE))
                    (temporalPart ?TIME
                        (WhenFn ?ITEM))
                    (not
                        (equal ?ITEM ?LISTING)))
                (member ?ITEM ?COLL)))
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?COLL)
                (and
                    (temporalPart ?TIME
                        (WhenFn ?ITEM))
                    (instance ?MEMBER WebListing)))))
    (equal
        (SellersOtherItemsFn ?AGENT ?SITE ?LISTING ?TIME) ?COLL))
UXExperimentalTerms.kif 1229-1256

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 1188-1204


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners