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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SellersItemsFn

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 989-990
(domain SellersItemsFn 1 AutonomousAgent) UXExperimentalTerms.kif 981-981
(domain SellersItemsFn 2 WebSite) UXExperimentalTerms.kif 983-983
(instance SellersItemsFn BinaryFunction) UXExperimentalTerms.kif 979-979
(range SellersItemsFn Collection) UXExperimentalTerms.kif 985-985

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 987-987

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 1033-1060

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 992-1008


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