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 1182-1183
(domain SellersItemsFn 1 Agent) UXExperimentalTerms.kif 1174-1174 SellersItemsFn 的 1 数量 是 施事体instance
(domain SellersItemsFn 2 WebSite) UXExperimentalTerms.kif 1176-1176 SellersItemsFn 的 2 数量 是 WebSiteinstance
(instance SellersItemsFn BinaryFunction) UXExperimentalTerms.kif 1172-1172 SellersItemsFn二元函数instance
(range SellersItemsFn Collection) UXExperimentalTerms.kif 1178-1178 SellersItemsFnrange群体 的实例

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


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

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 1226-1253

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 1185-1201


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