TreeView Knowledge Base Browser - listingSeller

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 Agent 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 64-67
(domain listingSeller 1 WebListing)	UXExperimentalTerms.kif 58-58	The number 1 argument of listing seller is an instance of web listing
(domain listingSeller 2 Agent)	UXExperimentalTerms.kif 60-60	The number 2 argument of listing seller is an instance of agent
(instance listingSeller BinaryRelation)	UXExperimentalTerms.kif 56-56	listing seller is an instance of binary relation

appearance as argument number 2

(format ChineseLanguage listingSeller "%2 sells %1 ")	domainEnglishFormat.kif 3787-3787
(format ChineseTraditionalLanguage listingSeller "%2 sells %1 ")	domainEnglishFormat.kif 3786-3786
(format EnglishLanguage listingSeller "%2 sells %1")	domainEnglishFormat.kif 3785-3785
(termFormat EnglishLanguage listingSeller "listing seller")	UXExperimentalTerms.kif 62-62

antecedent

(=> (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	If a collection is an instance of collection and a WebSite is an instance of WebSite 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 WebSite 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 WebSite during the time point is equal to the collection
(=> (and (listingSeller ?LISTING ?AGENT) (hostedOn ?LISTING ?SITE)) (webSeller ?AGENT ?SITE))	UXExperimentalTerms.kif 82-86	If a human sells a web listing and the web listing is hosted on a WebSite, then the human is a seller at the WebSite
(=> (and (listingSeller ?LISTING ?AGENT) (instance ?OBJ Object) (patient ?LISTING ?OBJ)) (desires ?AGENT (exists (?SELLING) (patient ?SELLING ?OBJ))))	UXExperimentalTerms.kif 73-80	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 69-71	If an agent sells another agent, then the other agent created the agent

consequent

(=> (and (instance ?AGENT Agent) (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 1189-1205	If an agent is an instance of agent and a WebSite is an instance of WebSite, 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 WebSite 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 WebSite is equal to the collection
(=> (webSeller ?SELLER ?SITE) (exists (?LISTING) (and (instance ?LISTING WebListing) (listingSeller ?LISTING ?SELLER) (hostedOn ?LISTING ?SITE))))	UXExperimentalTerms.kif 1156-1162	If a human is a seller at a WebSite, 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 WebSite

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