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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - SellersOtherItemsFn

appearance as argument number 1

(documentation SellersOtherItemsFn EnglishLanguage "(SellersOtherItemsFn ?AGENT ?SITE ?LISTING ?TIMEPOINT) returns a Collection of all WebListings except ?LISTING hostedOn ?SITE where ?AGENT is the listingSeller and where ?TIMEPOINT is a Temporal part of WhenFn of those WebListings.") UXExperimentalTerms.kif 1225-1228
(domain SellersOtherItemsFn 1 Agent) UXExperimentalTerms.kif 1213-1213 SellersOtherItemsFn 的 1 数量 是 施事体instance
(domain SellersOtherItemsFn 2 WebSite) UXExperimentalTerms.kif 1215-1215 SellersOtherItemsFn 的 2 数量 是 WebSiteinstance
(domain SellersOtherItemsFn 3 WebListing) UXExperimentalTerms.kif 1217-1217 SellersOtherItemsFn 的 3 数量 是 WebListinginstance
(domain SellersOtherItemsFn 4 TimePoint) UXExperimentalTerms.kif 1219-1219 SellersOtherItemsFn 的 4 数量 是 时点instance
(instance SellersOtherItemsFn QuaternaryFunction) UXExperimentalTerms.kif 1211-1211 SellersOtherItemsFn四元函数instance
(range SellersOtherItemsFn Collection) UXExperimentalTerms.kif 1221-1221 SellersOtherItemsFnrange群体 的实例

appearance as argument number 2

(format ChineseLanguage SellersOtherItemsFn "东西对于 sale 由 %1 非列在 %3 在 %2 期间 %4 ") domainEnglishFormat.kif 4495-4495
(format ChineseTraditionalLanguage SellersOtherItemsFn "東西對於 sale 由 %1 非列在 %3 在 %2 期間 %4 ") domainEnglishFormat.kif 4494-4494
(format EnglishLanguage SellersOtherItemsFn "things for sale by %1 not listed in %3 at %2 during %4") domainEnglishFormat.kif 4493-4493
(termFormat EnglishLanguage SellersOtherItemsFn "sellers other items") UXExperimentalTerms.kif 1223-1223


        (instance ?COLL Collection)
        (instance ?SITE WebSite)
        (instance ?AGENT Agent)
        (instance ?LISTING WebListing)
        (instance ?TIME TimePoint)
        (listingSeller ?LISTING ?AGENT)
            (member ?LISTING ?COLL))
        (forall (?ITEM ?MEMBER)
                        (instance ?ITEM WebListing)
                        (member ?ITEM
                            (SellersItemsFn ?AGENT ?SITE))
                        (temporalPart ?TIME
                            (WhenFn ?ITEM))
                            (equal ?ITEM ?LISTING)))
                    (member ?ITEM ?COLL))
                    (member ?MEMBER ?COLL)
                        (temporalPart ?TIME
                            (WhenFn ?ITEM))
                        (instance ?MEMBER WebListing))))))
        (SellersOtherItemsFn ?AGENT ?SITE ?LISTING ?TIME) ?COLL))
UXExperimentalTerms.kif 1230-1257

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