WebSite - Sigma Knowledge base Browser

appearance as argument number 1

(documentation WebSite EnglishLanguage "An instance of WebSite is a body of ComputerData that can be accessed at a specific virtual location identified by a UniformResourceLocator and rendered as WebPages by a web browser.")	Media.kif 1492-1496
(subclass WebSite DigitalData)	Media.kif 1497-1497	subclass WebSite and DigitalData

appearance as argument number 2

(instance IBookstore WebSite)	ComputingBrands.kif 3283-3283	instance iBookstore and WebSite
(subclass Blog WebSite)	ComputerInput.kif 2833-2833	subclass Blog and WebSite
(subclass Wiki WebSite)	ComputerInput.kif 2837-2837	subclass Wiki and WebSite

appearance as argument number 3

(domain SellersItemsFn 2 WebSite)	UXExperimentalTerms.kif 1176-1176	domain SellersItemsFn, 2 and WebSite
(domain SellersOtherItemsFn 2 WebSite)	UXExperimentalTerms.kif 1211-1211	domain SellersOtherItemsFn, 2 and WebSite
(domain SiteWideNewBuyersFn 2 WebSite)	UXExperimentalTerms.kif 3569-3569	domain SiteWideNewBuyersFn, 2 and WebSite
(domain SiteWideNewRegistrationsFn 2 WebSite)	UXExperimentalTerms.kif 3621-3621	domain SiteWideNewRegistrationsFn, 2 and WebSite
(domain SiteWideNewSellersFn 2 WebSite)	UXExperimentalTerms.kif 3668-3668	domain SiteWideNewSellersFn, 2 and WebSite
(domain accountAtSite 2 WebSite)	UXExperimentalTerms.kif 774-774	domain accountAtSite, 2 and WebSite
(domain advertisedOn 2 WebSite)	UXExperimentalTerms.kif 240-240	domain advertisedOn, 2 and WebSite
(domain browserID 3 WebSite)	UXExperimentalTerms.kif 915-915	domain browserID, 3 and WebSite
(domain categoryOf 2 WebSite)	UXExperimentalTerms.kif 225-225	domain categoryOf, 2 and WebSite
(domain confirmedRegisteredUser 2 WebSite)	UXExperimentalTerms.kif 1088-1088	domain confirmedRegisteredUser, 2 and WebSite
(domain eCommerceSite 2 WebSite)	UXExperimentalTerms.kif 1910-1910	domain eCommerceSite, 2 and WebSite
(domain firstTimeBuyers 2 WebSite)	UXExperimentalTerms.kif 3720-3720	domain firstTimeBuyers, 2 and WebSite
(domain firstTimeSellers 2 WebSite)	UXExperimentalTerms.kif 3768-3768	domain firstTimeSellers, 2 and WebSite
(domain homePage 2 WebSite)	UXExperimentalTerms.kif 2172-2172	domain homePage, 2 and WebSite
(domain hostedOn 2 WebSite)	UXExperimentalTerms.kif 150-150	domain hostedOn, 2 and WebSite
(domain newRegisteredUsers 2 WebSite)	UXExperimentalTerms.kif 3816-3816	domain newRegisteredUsers, 2 and WebSite
(domain prohibitedItem 2 WebSite)	UXExperimentalTerms.kif 488-488	domain prohibitedItem, 2 and WebSite
(domain registeredUser 2 WebSite)	UXExperimentalTerms.kif 1049-1049	domain registeredUser, 2 and WebSite
(domain siteCatalog 2 WebSite)	UXExperimentalTerms.kif 2437-2437	domain siteCatalog, 2 and WebSite
(domain underageUser 2 WebSite)	UXExperimentalTerms.kif 1262-1262	domain underageUser, 2 and WebSite
(domain userDatabase 2 WebSite)	UXExperimentalTerms.kif 2368-2368	domain userDatabase, 2 and WebSite
(domain visitorParameter 3 WebSite)	UXExperimentalTerms.kif 1359-1359	domain visitorParameter, 3 and WebSite
(domain watchingListings 3 WebSite)	UXExperimentalTerms.kif 1439-1439	domain watchingListings, 3 and WebSite
(domain webPurchases 3 WebSite)	UXExperimentalTerms.kif 1015-1015	domain webPurchases, 3 and WebSite
(domain webSales 3 WebSite)	UXExperimentalTerms.kif 1110-1110	domain webSales, 3 and WebSite

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=> (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 1185-1201	instance Agent and Agent instance WebSite and WebSite Collection instance Collection and Collection WebListing instance WebListing and WebListing hostedOn WebListing and WebSite listingSeller WebListing and Agent member WebListing and Collection equal SellersItemsFn Agent and WebSite and Collection
(=> (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) (=> (and (instance ?ITEM WebListing) (member ?ITEM (SellersItemsFn ?AGENT ?SITE)) (temporalPart ?TIME (WhenFn ?ITEM)) (not (equal ?ITEM ?LISTING))) (member ?ITEM ?COLL))) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (and (temporalPart ?TIME (WhenFn ?ITEM)) (instance ?MEMBER WebListing))))) (equal (SellersOtherItemsFn ?AGENT ?SITE ?LISTING ?TIME) ?COLL))	UXExperimentalTerms.kif 1226-1253	instance Collection and Collection instance WebSite and WebSite instance Agent and Agent instance WebListing and WebListing instance TimePoint and TimePoint listingSeller WebListing and Agent member WebListing and Collection Object instance Object and WebListing member Object and SellersItemsFn Agent and WebSite temporalPart TimePoint and WhenFn Object equal Object and WebListing member Object and Collection Object member Object and Collection temporalPart TimePoint and WhenFn Object instance Object and WebListing equal SellersOtherItemsFn Agent, WebSite, WebListing and TimePoint and Collection
(=> (and (instance ?INTERVAL TimeInterval) (instance ?SITE WebSite)) (exists (?NEWBUYERS) (and (instance ?NEWBUYERS Collection) (forall (?AGENT) (=> (member ?AGENT ?NEWBUYERS) (and (exists (?BUYING) (and (instance ?AGENT Agent) (instance ?BUYING Buying) (agent ?BUYING ?AGENT) (instrument ?BUYING ?SITE) (during ?BUYING ?INTERVAL))) (not (exists (?INTERVAL_BEFORE) (and (instance ?INTERVAL_BEFORE TimeInterval) (earlier ?INTERVAL_BEFORE ?INTERVAL) (holdsDuring ?INTERVAL_BEFORE (exists (?BUYING_BEFORE) (and (instance ?BUYING_BEFORE Buying) (agent ?BUYING_BEFORE ?AGENT) (instrument ?BUYING_BEFORE ?SITE) (during ?BUYING_BEFORE ?INTERVAL)))))))))) (equal (SiteWideNewBuyersFn ?INTERVAL ?SITE) ?NEWBUYERS))))	UXExperimentalTerms.kif 3579-3611	instance TimeInterval and TimeInterval instance WebSite and WebSite Collection instance Collection and Collection Agent member Agent and Collection TimeInterval instance Agent and Agent instance TimeInterval and Buying agent TimeInterval and Agent instrument TimeInterval and WebSite during TimeInterval and TimeInterval TimeInterval_BEFORE instance TimeInterval_BEFORE and TimeInterval earlier TimeInterval_BEFORE and TimeInterval holdsDuring TimeInterval_BEFORE and TimeInterval_BEFORE instance TimeInterval_BEFORE and Buying agent TimeInterval_BEFORE and Agent instrument TimeInterval_BEFORE and WebSite during TimeInterval_BEFORE and TimeInterval equal SiteWideNewBuyersFn TimeInterval and WebSite and Collection
(=> (and (instance ?INTERVAL TimeInterval) (instance ?SITE WebSite)) (exists (?NEWREGISTRATIONS) (and (instance ?NEWREGISTRATIONS Collection) (forall (?USER) (=> (and (instance ?USER Human) (not (exists (?INTERVAL_BEFORE) (and (instance ?INTERVAL_BEFORE TimeInterval) (earlier ?INTERVAL_BEFORE ?INTERVAL) (holdsDuring ?INTERVAL_BEFORE (registeredUser ?USER ?SITE))))) (exists (?INTERVAL_DURING) (and (instance ?INTERVAL_DURING TimeInterval) (during ?INTERVAL_DURING ?INTERVAL) (holdsDuring ?INTERVAL (registeredUser ?USER ?SITE))))) (member ?USER ?NEWREGISTRATIONS))) (equal ?NEWREGISTRATIONS (SiteWideNewRegistrationsFn ?INTERVAL ?SITE)))))	UXExperimentalTerms.kif 3631-3658	instance TimeInterval and TimeInterval instance WebSite and WebSite Collection instance Collection and Collection Object instance Object and Human TimeInterval_BEFORE instance TimeInterval_BEFORE and TimeInterval earlier TimeInterval_BEFORE and TimeInterval holdsDuring TimeInterval_BEFORE and registeredUser Object and WebSite TimeInterval_DURING instance TimeInterval_DURING and TimeInterval during TimeInterval_DURING and TimeInterval holdsDuring TimeInterval and registeredUser Object and WebSite member Object and Collection equal Collection and SiteWideNewRegistrationsFn TimeInterval and WebSite
(=> (and (instance ?INTERVAL TimeInterval) (instance ?SITE WebSite)) (exists (?NEWSELLERS) (and (instance ?NEWSELLERS Collection) (forall (?AGENT) (=> (member ?AGENT ?NEWSELLERS) (and (exists (?SELLING) (and (instance ?AGENT Agent) (instance ?SELLING Selling) (agent ?SELLING ?AGENT) (instrument ?SELLING ?SITE) (during ?SELLING ?INTERVAL))) (not (exists (?INTERVAL_BEFORE) (and (instance ?INTERVAL_BEFORE TimeInterval) (earlier ?INTERVAL_BEFORE ?INTERVAL) (holdsDuring ?INTERVAL_BEFORE (exists (?SELLING_BEFORE) (and (instance ?SELLING_BEFORE Selling) (agent ?SELLING_BEFORE ?AGENT) (instrument ?SELLING_BEFORE ?SITE) (during ?SELLING_BEFORE ?INTERVAL)))))))))) (equal (SiteWideNewSellersFn ?INTERVAL ?SITE) ?NEWSELLERS))))	UXExperimentalTerms.kif 3678-3710	instance TimeInterval and TimeInterval instance WebSite and WebSite Collection instance Collection and Collection Agent member Agent and Collection TimeInterval instance Agent and Agent instance TimeInterval and Selling agent TimeInterval and Agent instrument TimeInterval and WebSite during TimeInterval and TimeInterval TimeInterval_BEFORE instance TimeInterval_BEFORE and TimeInterval earlier TimeInterval_BEFORE and TimeInterval holdsDuring TimeInterval_BEFORE and TimeInterval_BEFORE instance TimeInterval_BEFORE and Selling agent TimeInterval_BEFORE and Agent instrument TimeInterval_BEFORE and WebSite during TimeInterval_BEFORE and TimeInterval equal SiteWideNewSellersFn TimeInterval and WebSite and Collection
(=> (and (instance ?LISTING WebListing) (instance ?SITE WebSite) (hostedOn ?LISTING ?SITE) (creator ?LISTING ?AGENT)) (webSeller ?AGENT ?SITE))	UXExperimentalTerms.kif 44-50	instance Agent and WebListing instance WebSite and WebSite hostedOn Agent and WebSite creator Agent and Human webSeller Human and WebSite
(=> (and (instance ?PAGE ViewItemPage) (instance ?SITE WebSite) (component ?PAGE ?SITE)) (exists (?ITEM ?ADVERTISING) (and (instance ?ITEM Object) (instance ?ADVERTISING WebListing) (component ?ADVERTISING ?PAGE) (hostedOn ?ADVERTISING ?SITE) (patient ?ADVERTISING ?ITEM))))	UXExperimentalTerms.kif 2269-2280	instance CorpuscularObject and ViewItemPage instance WebSite and WebSite component CorpuscularObject and WebSite Entity WebListing instance Entity and Object instance WebListing and WebListing component WebListing and CorpuscularObject hostedOn WebListing and WebSite patient WebListing and Entity
(=> (and (listingBuyer ?LISTING ?BUYER) (instance ?OBJ Object) (instance ?SITE WebSite) (patient ?LISTING ?OBJECT) (hostedOn ?LISTING ?SITE)) (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?OBJ) (eCommerceSite ?BUYING ?SITE) (agent ?BUYING ?BUYER))))	UXExperimentalTerms.kif 105-117	listingBuyer WebListing and Agent instance Entity and Object instance WebSite and WebSite patient WebListing and EntityECT hostedOn WebListing and WebSite FinancialTransaction instance FinancialTransaction and Buying patient FinancialTransaction and Entity eCommerceSite FinancialTransaction and WebSite agent FinancialTransaction and Agent
(=> (instance ?SITE WebSite) (exists (?PAGE) (and (instance ?PAGE WebPage) (component ?PAGE ?SITE))))	Media.kif 1498-1503	instance CorpuscularObject and WebSite CorpuscularObject instance CorpuscularObject and WebPage component CorpuscularObject and CorpuscularObject

consequent

(=> (and (instance ?ATC AddToCart) (instance ?OBJ Object) (patient ?ATC ?OBJ) (agent ?ATC ?USER)) (exists (?COLL ?SITE ?AFTER) (and (instance ?COLL Collection) (instance ?SITE WebSite) (instance ?INTERVAL TimeInterval) (webcart ?USER ?COLL ?SITE) (equal (BeginFn ?INTERVAL) (EndFn ?ATC)) (holdsDuring ?AFTER (member ?OBJ ?COLL)))))	UXExperimentalTerms.kif 1520-1536	instance TimeInterval and AddToCart instance Entity and Object patient TimeInterval and Entity agent TimeInterval and Agent Collection WebSite and TimePosition instance Collection and Collection instance WebSite and WebSite instance TimeInterval and TimeInterval webcart Agent, Collection and WebSite equal BeginFn TimeInterval and EndFn TimeInterval holdsDuring TimePosition and member Entity and Collection
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (equal (DivisionFn (CardinalityFn (KappaFn ?LISTING (and (instance ?LISTING WebListing) (instance ?SITE WebSite) (instance ?ITEM Physical) (member ?LISTING ?COLL) (patient ?LISTING ?ITEM) (hostedOn ?LISTING ?SITE) (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?ITEM) (eCommerceSite ?BUYING ?SITE)))))) (CardinalityFn ?COLL)) (BidCountFn ?COLL)))	UXExperimentalTerms.kif 3050-3074	instance Collection and Collection Object member Object and Collection instance Object and WebListing equal DivisionFn CardinalityFn KappaFn SymbolicString and instance SymbolicString and WebListing instance entity and WebSite instance entity and Physical member SymbolicString and Collection patient SymbolicString and entity hostedOn SymbolicString and entity entity instance entity and Buying patient entity and entity eCommerceSite entity and entity and CardinalityFn Collection and BidCountFn Collection
(=> (and (instance ?TRANS FinancialTransaction) (attribute ?TRANS BusinessToBusiness)) (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE) (and (instance ?ACCT1 UserAccount) (instance ?ACCT2 UserAccount) (instance ?USER1 Agent) (instance ?USER2 Agent) (instance ?SITE WebSite) (agent ?TRANS ?USER1) (destination ?TRANS ?USER2) (instrument ?TRANS ?SITE) (hasAccount ?USER1 ?ACCT1) (hasAccount ?USER2 ?ACCT2) (accountAtSite ?ACCT1 ?SITE) (accountAtSite ?ACCT2 ?SITE) (attribute ?ACC1 BusinessAccount) (attribute ?ACC2 BusinessAccount))))	UXExperimentalTerms.kif 1930-1949	instance Object and FinancialTransaction attribute Object and BusinessToBusiness UserAccount UserAccount, Agent, Agent and WebSite instance UserAccount and UserAccount instance UserAccount and UserAccount instance Agent and Agent instance Agent and Agent instance WebSite and WebSite agent Object and Agent destination Object and Agent instrument Object and WebSite hasAccount Agent and UserAccount hasAccount Agent and UserAccount accountAtSite UserAccount and WebSite accountAtSite UserAccount and WebSite attribute Object and BusinessAccount attribute Object and BusinessAccount
(=> (and (instance ?TRANS FinancialTransaction) (attribute ?TRANS BusinessToConsumer)) (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE) (and (instance ?ACCT1 UserAccount) (instance ?ACCT2 UserAccount) (instance ?USER1 Agent) (instance ?USER2 Agent) (instance ?SITE WebSite) (agent ?TRANS ?USER1) (destination ?TRANS ?USER2) (instrument ?TRANS ?SITE) (hasAccount ?USER1 ?ACCT1) (hasAccount ?USER2 ?ACCT2) (accountAtSite ?ACCT1 ?SITE) (accountAtSite ?ACCT2 ?SITE) (attribute ?ACCOUNT1 BusinessAccount) (attribute ?ACCOUNT2 ConsumerAccount))))	UXExperimentalTerms.kif 1962-1981	instance Object and FinancialTransaction attribute Object and BusinessToConsumer UserAccount UserAccount, Agent, Agent and WebSite instance UserAccount and UserAccount instance UserAccount and UserAccount instance Agent and Agent instance Agent and Agent instance WebSite and WebSite agent Object and Agent destination Object and Agent instrument Object and WebSite hasAccount Agent and UserAccount hasAccount Agent and UserAccount accountAtSite UserAccount and WebSite accountAtSite UserAccount and WebSite attribute Object and BusinessAccount attribute Object and ConsumerAccount
(=> (and (instance ?TRANS FinancialTransaction) (attribute ?TRANS ConsumerToConsumer)) (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE) (and (instance ?ACCT1 UserAccount) (instance ?ACCT2 UserAccount) (instance ?USER1 Agent) (instance ?USER2 Agent) (instance ?SITE WebSite) (agent ?TRANS ?USER1) (destination ?TRANS ?USER2) (instrument ?TRANS ?SITE) (hasAccount ?USER1 ?ACCT1) (hasAccount ?USER2 ?ACCT2) (accountAtSite ?ACCT1 ?SITE) (accountAtSite ?ACCT2 ?SITE) (attribute ?ACCOUNT1 ConsumerAccount) (attribute ?ACCOUNT2 ConsumerAccount))))	UXExperimentalTerms.kif 1994-2013	instance Object and FinancialTransaction attribute Object and ConsumerToConsumer UserAccount UserAccount, Agent, Agent and WebSite instance UserAccount and UserAccount instance UserAccount and UserAccount instance Agent and Agent instance Agent and Agent instance WebSite and WebSite agent Object and Agent destination Object and Agent instrument Object and WebSite hasAccount Agent and UserAccount hasAccount Agent and UserAccount accountAtSite UserAccount and WebSite accountAtSite UserAccount and WebSite attribute Object and ConsumerAccount attribute Object and ConsumerAccount
(=> (and (instance ?WATCH WatchItem) (instance ?OBJ Object) (patient ?WATCH ?OBJ) (agent ?WATCH ?USER)) (exists (?COLL ?SITE ?AFTER) (and (instance ?COLL Collection) (instance ?SITE WebSite) (instance ?INTERVAL TimeInterval) (watchingListings ?USER ?COLL ?SITE) (equal (BeginFn ?INTERVAL) (EndFn ?WATCH)) (holdsDuring ?AFTER (member ?OBJ ?COLL)))))	UXExperimentalTerms.kif 1809-1825	instance TimeInterval and WatchItem instance Entity and Object patient TimeInterval and Entity agent TimeInterval and Agent Collection WebSite and TimePosition instance Collection and Collection instance WebSite and WebSite instance TimeInterval and TimeInterval watchingListings Agent, Collection and WebSite equal BeginFn TimeInterval and EndFn TimeInterval holdsDuring TimePosition and member Entity and Collection
(=> (instance ?CHARGE InsertionFee) (exists (?SITE ?OWNER ?ADVERT) (and (instance ?SITE WebSite) (instance ?OWNER Agent) (instance ?ADVERT WebListing) (hostedOn ?ADVERT ?SITE) (possesses ?OWNER ?SITE) (agent ?CHARGE ?OWNER))))	UXExperimentalTerms.kif 269-278	instance Process and InsertionFee WebSite Agent and WebListing instance WebSite and WebSite instance Agent and Agent instance WebListing and WebListing hostedOn WebListing and WebSite possesses Agent and WebSite agent Process and Agent
(=> (instance ?LIST ListOnSite) (exists (?SITE ?ADVERT ?EARLIER ?AFTER) (and (instance ?SITE WebSite) (instance ?ADVERT WebListing) (instance ?EARLIER TimeInterval) (instance ?AFTER TimeInterval) (patient ?LIST ?ADVERT) (equal (EndFn ?EARLIER) (EndFn ?LIST)) (earlier ?LIST ?AFTER) (meetsTemporally ?LIST ?AFTER) (holdsDuring ?EARLIER (not (hostedOn ?ADVERT ?SITE))) (holdsDuring ?AFTER (hostedOn ?ADVERT ?SITE)) (agent ?LIST ?OWNER) (possesses ?OWNER ?SITE))))	UXExperimentalTerms.kif 336-356	instance TimeInterval and ListOnSite Object Entity, TimeInterval and TimeInterval instance Object and WebSite instance Entity and WebListing instance TimeInterval and TimeInterval instance TimeInterval and TimeInterval patient TimeInterval and Entity equal EndFn TimeInterval and EndFn TimeInterval earlier TimeInterval and TimeInterval meetsTemporally TimeInterval and TimeInterval holdsDuring TimeInterval and hostedOn Entity and Object holdsDuring TimeInterval and hostedOn Entity and Object agent TimeInterval and Agent possesses Agent and Object
(=> (instance ?LISTING WebListing) (exists (?SITE) (and (instance ?SITE WebSite) (hostedOn ?LISTING ?SITE))))	UXExperimentalTerms.kif 37-42	instance WebListing and WebListing WebSite instance WebSite and WebSite hostedOn WebListing and WebSite
(=> (instance ?PROFILE VisitorProfile) (exists (?USER ?SITE) (and (instance ?USER Agent) (instance ?SITE WebSite) (forall (?FORMULA) (=> (and (member ?FORMULA ?PROFILE) (instance ?FORMULA Formula)) (visitorParameter ?USER ?FORMULA ?SITE))))))	UXExperimentalTerms.kif 1334-1345	instance Collection and VisitorProfile Agent WebSite instance Agent and Agent instance WebSite and WebSite Formula member Formula and Collection instance Formula and Formula visitorParameter Agent, Formula and WebSite
(=> (instance ?STORE WebStore) (exists (?SITE) (and (instance ?SITE WebSite) (component ?STORE ?SITE))))	UXExperimentalTerms.kif 2330-2335	instance CorpuscularObject and WebStore CorpuscularObject instance CorpuscularObject and WebSite component CorpuscularObject and CorpuscularObject

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: