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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SellersOtherItemsFn

Sigma KEE - SellersOtherItemsFn
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 domain SellersOtherItemsFn, 1 and Agent
(domain SellersOtherItemsFn 2 WebSite) UXExperimentalTerms.kif 1215-1215 domain SellersOtherItemsFn, 2 and WebSite
(domain SellersOtherItemsFn 3 WebListing) UXExperimentalTerms.kif 1217-1217 domain SellersOtherItemsFn, 3 and WebListing
(domain SellersOtherItemsFn 4 TimePoint) UXExperimentalTerms.kif 1219-1219 domain SellersOtherItemsFn, 4 and TimePoint
(instance SellersOtherItemsFn QuaternaryFunction) UXExperimentalTerms.kif 1211-1211 instance SellersOtherItemsFn and QuaternaryFunction
(range SellersOtherItemsFn Collection) UXExperimentalTerms.kif 1221-1221 range SellersOtherItemsFn and Collection

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

consequent
-------------------------


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


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

Show without tree


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