Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - listingSeller
listingSeller

appearance as argument number 1
-------------------------


(instance listingSeller BinaryPredicate) UXExperimentalTerms.kif 47-47 listing seller is an instance of binary predicate
(domain listingSeller 1 WebListing) UXExperimentalTerms.kif 48-48 The number 1 argument of listing seller is an instance of web listing
(domain listingSeller 2 AutonomousAgent) UXExperimentalTerms.kif 49-49 The number 2 argument of listing seller is an instance of agent
(documentation listingSeller EnglishLanguage "(listingSeller ?LISTING ?AGENT) relates an AutonomousAgent to a WebListing. It represents that ?AGENT is the entity that desires the Selling of the patient of the ?LISTING. It also means that ?AGENT is the creator of ?LISTING and that ?AGENT is a webSeller on the WebSite that ?LISTING is hostedOn.") UXExperimentalTerms.kif 52-55 The number 2 argument of listing seller is an instance of agent

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


(termFormat EnglishLanguage listingSeller "listing seller") UXExperimentalTerms.kif 50-50
(format EnglishLanguage listingSeller "%2 sells %1") domainEnglishFormat.kif 3778-3778
(format ChineseTraditionalLanguage listingSeller "%2 sells %1 ") domainEnglishFormat.kif 3779-3779
(format ChineseLanguage listingSeller "%2 sells %1 ") domainEnglishFormat.kif 3780-3780

antecedent
-------------------------


(=>
    (listingSeller ?LISTING ?AGENT)
    (creator ?LISTING ?AGENT))		 UXExperimentalTerms.kif 57-59 If X sells Y, then Y created X
(=>
    (and
        (listingSeller ?LISTING ?AGENT)
        (instance ?OBJ Object)
        (patient ?LISTING ?OBJ))
    (desires ?AGENT
        (exists (?SELLING)
            (patient ?SELLING ?OBJ))))		 UXExperimentalTerms.kif 61-68 If X sells Y, Z is an instance of object, and Z is a patient of Y, then X desires there exists W such that Z is a patient of W
(=>
    (and
        (listingSeller ?LISTING ?AGENT)
        (hostedOn ?LISTING ?SITE))
    (webSeller ?AGENT ?SITE))		 UXExperimentalTerms.kif 70-74 If X sells Y and Y is hosted on Z, then X is a seller at Z
(=>
    (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 If All of the following hold: (1) X is an instance of collection (2) Y is an instance of web site (3) Z is an instance of agent (4) W is an instance of web listing (5) V is an instance of time point (6) Z sells W (7) W is not a member of X (8) For all Physicals U and T: if U is an instance of web listing, U is a member of items for sale by Z at Y, V is a part of the time of existence of U, and equal U and W, then U is a member of X and if T is a member of X, then V is a part of the time of existence of U and T is an instance of web listing, then equal things for sale by Z not listed in W at Y during V and X

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


(=>
    (webSeller ?SELLER ?SITE)
    (exists (?LISTING)
        (and
            (instance ?LISTING WebListing)
            (listingSeller ?LISTING ?SELLER)
            (hostedOn ?LISTING ?SITE))))		 UXExperimentalTerms.kif 959-965 If X is a seller at Y, then there exists Z such that Z is an instance of web listing, X sells Z, and Z is hosted on Y
(=>
    (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 If X is an instance of agent and Y is an instance of web site, then there exists Z such that Z is an instance of collection, W W is an instance of web listing, W is hosted on Y, X sells WW is a member of Z, equal items for sale by X at Y, and Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners