TreeView Knowledge Base Browser

appearance as argument number 1

s__documentation(s__WebListing,s__EnglishLanguage,'"A subclass of Avertising which is hostedOn a WebSite. The Creator of the WebListing must be a webSeller on the WebSite it is hostedOn."')

UXExperimentalTerms.kif 34-35

s__instance(s__WebListing,s__Class)

s__subclass(s__WebListing,s__Advertising)

s__instance(s__Advertising,s__Class)

UXExperimentalTerms.kif 30-30

Web listing is a subclass of advertising

appearance as argument number 2

s__termFormat(s__EnglishLanguage,s__WebListing,'"web listing"')

UXExperimentalTerms.kif 32-32

appearance as argument number 3

s__domain(s__SellersOtherItemsFn__m,n__3,s__WebListing)	UXExperimentalTerms.kif 1217-1217	The number 3 argument of sellers other items is an instance of web listing
s__domain(s__hostedOn__m,n__1,s__WebListing)	UXExperimentalTerms.kif 148-148	The number 1 argument of hosted on is an instance of web listing
s__domain(s__listingBidder__m,n__1,s__WebListing)	UXExperimentalTerms.kif 125-125	The number 1 argument of listing bidder is an instance of web listing
s__domain(s__listingBuyer__m,n__1,s__WebListing)	UXExperimentalTerms.kif 94-94	The number 1 argument of listing buyer is an instance of web listing
s__domain(s__listingSeller__m,n__1,s__WebListing)	UXExperimentalTerms.kif 58-58	The number 1 argument of listing seller is an instance of web listing
s__domain(s__searchResult__m,n__1,s__WebListing)	UXExperimentalTerms.kif 2532-2532	The number 1 argument of search result is an instance of web listing
s__domain(s__viewedListing__m,n__2,s__WebListing)	UXExperimentalTerms.kif 1741-1741	The number 2 argument of viewed listing is an instance of web listing

antecedent

( ! [V__ITEM1,V__LISTING2,V__LISTING1,V__CATEG,V__ITEM2] : (((s__instance(V__CATEG,s__WebListingCategory) & s__instance(V__LISTING1,s__WebListing) & s__instance(V__LISTING2,s__WebListing) & s__instance(V__ITEM1,s__Object) & s__instance(V__ITEM2,s__Object) & s__member(V__LISTING1,V__CATEG) & s__member(V__LISTING2,V__CATEG) & s__patient(V__ITEM1,V__LISTING1) & s__patient(V__ITEM2,V__LISTING2)) => (( ? [V__CLASS] : ((s__instance(V__CLASS,s__Class) & s__instance(V__ITEM1,V__CLASS) & s__instance(V__ITEM2,V__CLASS)))))) ) )	UXExperimentalTerms.kif 182-197	If a collection is an instance of web listing category and a physical is an instance of web listing and another physical is an instance of web listing and a process is an instance of object and another process is an instance of object and the physical is a member of the collection and the other physical is a member of the collection and the physical is a patient of the process and the other physical is a patient of the other process, then there exists a class such that the class is an instance of class and the process is an instance of the class and the other process is an instance of the class
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3130-3147	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of web listing , then the number of instances in the class described by a symbolic string is equal to number of bids in the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3055-3079	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of web listing , then the number of instances in the class described by a symbolic string and the number of instances in the collection is equal to number of bids in the collection
( ! [V__AGENT,V__TIME,V__SITE,V__LISTING,V__COLL] : (((s__instance(V__COLL,s__Collection) & s__instance(V__SITE,s__WebSite) & s__instance(V__AGENT,s__Agent) & s__instance(V__LISTING,s__WebListing) & s__instance(V__TIME,s__TimePoint) & s__listingSeller(V__LISTING,V__AGENT) & ~(s__member(V__LISTING,V__COLL)) & ( ! [V__ITEM, V__MEMBER] : ((((s__instance(V__ITEM,s__WebListing) & s__member(V__ITEM,s__SellersItemsFn(V__AGENT,V__SITE)) & s__temporalPart(V__TIME,s__WhenFn(V__ITEM)) & ~((V__ITEM = V__LISTING))) => (s__member(V__ITEM,V__COLL))) & (s__member(V__MEMBER,V__COLL) => ((s__temporalPart(V__TIME,s__WhenFn(V__ITEM)) & s__instance(V__MEMBER,s__WebListing)))))))) => ((s__SellersOtherItemsFn(V__AGENT,V__SITE,V__LISTING,V__TIME) = V__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
( ! [V__ITEM,V__LISTING] : (((s__instance(V__ITEM,s__Object) & s__instance(V__LISTING,s__WebListing) & s__attribute(V__LISTING,s__ForSaleByOwner) & s__patient(V__LISTING,V__ITEM)) => (s__instance(V__ITEM,s__Vehicle))) ) )	UXExperimentalTerms.kif 464-470	If an entity is an instance of object and an object is an instance of web listing and FSBO is an attribute of the object and the entity is a patient of the object, then the entity is an instance of vehicle
( ! [V__OWNER,V__ITEM,V__LISTING] : (((s__instance(V__ITEM,s__Object) & s__instance(V__LISTING,s__WebListing) & s__instance(V__OWNER,s__Agent) & s__attribute(V__LISTING,s__ForSaleByOwner) & s__possesses(V__OWNER,V__ITEM)) => (s__instance(V__OWNER,s__Human))) ) )	UXExperimentalTerms.kif 472-479	If an object is an instance of object and another object is an instance of web listing and an agent is an instance of agent and FSBO is an attribute of the other object and the agent possesses the object, then the agent is an instance of human
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 393-405	If an object is an instance of web listing and a process is an instance of object and a cognitive agent is an instance of agent and auction attribute is an attribute of the object and the object is a patient of the process and the cognitive agent created the object, then the cognitive agent desires there exists an entity such that the entity is an instance of auction and the process is a patient of the entity
( ! [V__AGENT,V__SITE,V__LISTING] : ((s__instance(V__AGENT,s__Human) => (((s__instance(V__LISTING,s__WebListing) & s__instance(V__SITE,s__WebSite) & s__hostedOn(V__LISTING,V__SITE) & s__creator(V__LISTING,V__AGENT)) => (s__webSeller(V__AGENT,V__SITE))))) ) )	UXExperimentalTerms.kif 44-50	If an agent is an instance of web listing and a WebSite is an instance of WebSite and the agent is hosted on the WebSite and the agent created a human, then the human is a seller at the WebSite
( ! [V__PAGE,V__ITEM,V__ADVERTISING] : (((s__instance(V__PAGE,s__ViewItemPage) & s__instance(V__ADVERTISING,s__WebListing) & s__component(V__ADVERTISING,V__PAGE) & s__patient(V__ADVERTISING,V__ITEM) & s__instance(V__ITEM,s__Physical)) => (( ? [V__DESCRIPTION, V__STATING, V__DESCRIPTIONCONTENT] : ((s__instance(V__DESCRIPTION,s__Process) & s__instance(V__DESCRIPTIONCONTENT,s__Object) & (s__instance(V__STATING,s__Stating) & s__patient(V__STATING,V__DESCRIPTION) & s__refers(V__DESCRIPTION,V__ITEM) & s__result(V__DESCRIPTION,V__DESCRIPTIONCONTENT) & s__part(V__DESCRIPTIONCONTENT,V__PAGE))))))) ) )	UXExperimentalTerms.kif 2287-2300	If a corpuscular object is an instance of next generation view item and a process is an instance of web listing and the process is a component of the corpuscular object and an entity is a patient of the process and the entity is an instance of physical, then there exist another process, a third process and the other processCONTENT such that the third process is an instance of stating and the other process is a patient of the third process and the other process includes a reference to the entity and the other processCONTENT is a result of the other process and the other processCONTENT is a part of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1454-1468	If user an agent on a WebSite is watching a collection and a process is an instance of web listing and an entity is an instance of object and the entity is a patient of the process and the process is a member of the collection, then the statement the agent desires there exists another entity such that the other entity is an instance of buying and the entity is a patient of the other entity and the agent is an agent of the other entity has the modal force of likely
( ! [V__LISTING] : ((s__instance(V__LISTING,s__WebListing) => (( ? [V__SITE] : ((s__instance(V__SITE,s__WebSite) & s__hostedOn(V__LISTING,V__SITE)))))) ) )	UXExperimentalTerms.kif 37-42	If a web listing is an instance of web listing, then there exists a WebSite such that the WebSite is an instance of WebSite and the web listing is hosted on the WebSite

consequent

( ! [V__LISTING,V__ATTRIBUTE] : ((s__instance(V__LISTING,s__Object) => (((s__attribute(V__LISTING,V__ATTRIBUTE) & s__instance(V__ATTRIBUTE,s__ListingAttribute)) => (s__instance(V__LISTING,s__WebListing))))) ) )	UXExperimentalTerms.kif 375-379	If an attribute is an attribute of an object and the attribute is an instance of web listing attribute, then the object is an instance of web listing
( ! [V__RESULTS,V__ITEM] : (((s__inList(V__ITEM,V__RESULTS) & s__instance(V__RESULTS,s__SRPResults)) => ((s__instance(V__ITEM,s__WebListing) \| s__instance(V__ITEM,s__WebPage)))) ) )	UXExperimentalTerms.kif 2693-2699	If an entity is a member of a list and the list is an instance of search results, then the entity is an instance of web listing or the entity is an instance of WebPage
( ! [V__AGENT,V__SITE] : (((s__instance(V__AGENT,s__Agent) & s__instance(V__SITE,s__WebSite)) => (( ? [V__COLL] : ((s__instance(V__COLL,s__Collection) & ( ! [V__LISTING] : (((s__instance(V__LISTING,s__WebListing) & s__hostedOn(V__LISTING,V__SITE) & s__listingSeller(V__LISTING,V__AGENT)) => (s__member(V__LISTING,V__COLL))))) & (s__SellersItemsFn(V__AGENT,V__SITE) = V__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
( ! [V__CATEG,V__LISTING] : ((s__instance(V__LISTING,s__Physical) => (((s__instance(V__CATEG,s__WebListingCategory) & s__member(V__LISTING,V__CATEG)) => (s__instance(V__LISTING,s__WebListing))))) ) )	UXExperimentalTerms.kif 176-180	If a collection is an instance of web listing category and a physical is a member of the collection, then the physical is an instance of web listing
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3130-3147	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of web listing , then the number of instances in the class described by a symbolic string is equal to number of bids in the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3055-3079	If a collection is an instance of collection and for all a physical if the physical is a member of the collection, then the physical is an instance of web listing , then the number of instances in the class described by a symbolic string and the number of instances in the collection is equal to number of bids in the collection
( ! [V__PAGE,V__SITE] : (((s__instance(V__PAGE,s__ViewItemPage) & s__instance(V__SITE,s__WebSite) & s__component(V__PAGE,V__SITE)) => (( ? [V__ITEM, V__ADVERTISING] : ((s__instance(V__ITEM,s__Object) & s__instance(V__ADVERTISING,s__WebListing) & s__component(V__ADVERTISING,V__PAGE) & s__hostedOn(V__ADVERTISING,V__SITE) & s__patient(V__ADVERTISING,V__ITEM)))))) ) )	UXExperimentalTerms.kif 2274-2285	If a corpuscular object is an instance of next generation view item and a WebSite is an instance of WebSite and the corpuscular object is a component of the WebSite, then there exist an entity and a web listing such that the entity is an instance of object and the web listing is an instance of web listing and the web listing is a component of the corpuscular object and the web listing is hosted on the WebSite and the entity is a patient of the web listing
( ! [V__USER,V__SITE,V__LISTING,V__COLL] : (((s__instance(V__USER,s__Agent) & s__instance(V__SITE,s__WebSite) & s__instance(V__LISTING,s__Physical) & s__instance(V__COLL,s__Collection)) => (((s__watchingListings(V__USER,V__COLL,V__SITE) & s__member(V__LISTING,V__COLL)) => (s__instance(V__LISTING,s__WebListing))))) ) )	UXExperimentalTerms.kif 1448-1452	If user an agent on a WebSite is watching a collection and a physical is a member of the collection, then the physical is an instance of web listing
( ! [V__CHARGE] : ((s__instance(V__CHARGE,s__FinalValueFee) => (( ? [V__ADVERT, V__SELLING, V__OWNER, V__ITEM, V__SITE] : ((s__instance(V__SITE,s__WebSite) & (s__instance(V__ADVERT,s__WebListing) & s__instance(V__SELLING,s__Selling) & s__instance(V__OWNER,s__Agent) & s__instance(V__ITEM,s__Physical) & s__instance(V__ADVERT,s__WebListing) & s__patient(V__ADVERT,V__ITEM) & s__patient(V__SELLING,V__ITEM) & s__causes(V__SELLING,V__CHARGE) & s__agent(V__CHARGE,V__OWNER) & s__hostedOn(V__ADVERT,V__SITE) & s__possesses(V__OWNER,V__SITE) & s__eCommerceSite(V__SELLING,V__OWNER))))))) ) )	UXExperimentalTerms.kif 307-322	If a process is an instance of final fee, then there exist a web listing, a financial transaction,, , an agent,, , an entity and a WebSite such that the web listing is an instance of web listing and the financial transaction is an instance of selling and the agent is an instance of agent and the entity is an instance of physical and the web listing is an instance of web listing and the entity is a patient of the web listing and the entity is a patient of the financial transaction and the financial transaction causes the process and the agent is an agent of the process and the web listing is hosted on the WebSite and the agent possesses the WebSite and the agent facilitates the financial transaction
( ! [V__CHARGE] : ((s__instance(V__CHARGE,s__InsertionFee) => (( ? [V__ADVERT, V__PROC, V__OWNER] : ((s__instance(V__ADVERT,s__WebListing) & s__instance(V__PROC,s__ListOnSite) & s__instance(V__OWNER,s__Agent) & s__patient(V__PROC,V__ADVERT) & s__causes(V__PROC,V__CHARGE) & s__agent(V__CHARGE,V__OWNER) & s__agent(V__PROC,V__OWNER)))))) ) )	UXExperimentalTerms.kif 282-292	If a process is an instance of insertion fee, then there exist an entity, another process and an agent such that the entity is an instance of web listing and the other process is an instance of list on site and the agent is an instance of agent and the entity is a patient of the other process and the other process causes the process and the agent is an agent of the process and the agent is an agent of the other process
( ! [V__CHARGE] : ((s__instance(V__CHARGE,s__InsertionFee) => (( ? [V__SITE, V__OWNER, V__ADVERT] : ((s__instance(V__SITE,s__WebSite) & s__instance(V__OWNER,s__Agent) & s__instance(V__ADVERT,s__WebListing) & s__hostedOn(V__ADVERT,V__SITE) & s__possesses(V__OWNER,V__SITE) & s__agent(V__CHARGE,V__OWNER)))))) ) )	UXExperimentalTerms.kif 271-280	If a process is an instance of insertion fee, then there exist a WebSite, an agent and a web listing such that the WebSite is an instance of WebSite and the agent is an instance of agent and the web listing is an instance of web listing and the web listing is hosted on the WebSite and the agent possesses the WebSite and the agent is an agent of the process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 338-358	If a time interval is an instance of list on site, then there exist an object, an entity,, , another time interval and a third time interval such that the object is an instance of WebSite and the entity is an instance of web listing and the other time interval is an instance of time interval and the third time interval is an instance of time interval and the entity is a patient of the time interval and the end of the other time interval is equal to the end of the time interval and the time interval happens earlier than the third time interval and the time interval meets the third time interval and not the entity is hosted on the object holds during the other time interval and the entity is hosted on the object holds during the third time interval and an agent is an agent of the time interval and the agent possesses the object
( ! [V__SELLER,V__SITE] : (((s__instance(V__SELLER,s__Human) & s__instance(V__SITE,s__WebSite)) => ((s__webSeller(V__SELLER,V__SITE) => (( ? [V__LISTING] : ((s__instance(V__LISTING,s__WebListing) & s__listingSeller(V__LISTING,V__SELLER) & s__hostedOn(V__LISTING,V__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

KB Term:			Term intersection

English Word: