listingSeller - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - listingSeller

listingSeller

appearance as argument number 1

(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
(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
(instance listingSeller BinaryPredicate)	UXExperimentalTerms.kif 47-47	listing seller is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage listingSeller "%2 sells %1 ")	domainEnglishFormat.kif 3776-3776
(format ChineseTraditionalLanguage listingSeller "%2 sells %1 ")	domainEnglishFormat.kif 3775-3775
(format EnglishLanguage listingSeller "%2 sells %1")	domainEnglishFormat.kif 3774-3774
(termFormat EnglishLanguage listingSeller "listing seller")	UXExperimentalTerms.kif 50-50

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	If a collection is an instance of collection and a web site is an instance of web site and an agent is an instance of agent and a web listing is an instance of web listing and a time point is an instance of time point and the agent sells the web listing and the web listing is not a member of the collection and for all a physical and another physical if the physical is an instance of web listing and the physical is a member of items for sale by the agent at the web site and the time point is a part of the time of existence of the physical and the physical is not equal to the web listing, then the physical is a member of the collection and if the other physical is a member of the collection, then the time point is a part of the time of existence of the physical and the other physical is an instance of web listing , then things for sale by the agent not listed in the web listing at the web site during the time point is equal to the collection
(=> (and (listingSeller ?LISTING ?AGENT) (hostedOn ?LISTING ?SITE)) (webSeller ?AGENT ?SITE))	UXExperimentalTerms.kif 70-74	If a human sells a web listing and the web listing is hosted on a web site, then the human is a seller at the web site
(=> (and (listingSeller ?LISTING ?AGENT) (instance ?OBJ Object) (patient ?LISTING ?OBJ)) (desires ?AGENT (exists (?SELLING) (patient ?SELLING ?OBJ))))	UXExperimentalTerms.kif 61-68	If a cognitive agent sells a web listing and an entity is an instance of object and the entity is a patient of the web listing, then the cognitive agent desires there exists another entity such that the entity is a patient of the other entity
(=> (listingSeller ?LISTING ?AGENT) (creator ?LISTING ?AGENT))	UXExperimentalTerms.kif 57-59	If an agent sells another agent, then the other agent created the agent

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

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