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 1488-1492
(subclass WebSite DigitalData)	Media.kif 1493-1493	subclass WebSite and DigitalData

appearance as argument number 2

(instance EBayWebSite WebSite)	ComputingBrands.kif 4639-4639	instance EBayWebSite and WebSite
(instance IBookstore WebSite)	ComputingBrands.kif 3261-3261	instance iBookstore and WebSite
(subclass Blog WebSite)	ComputerInput.kif 2867-2867	subclass Blog and WebSite
(subclass Toutiao WebSite)	ComputingBrands.kif 4573-4573	subclass Toutiao and WebSite
(subclass Wiki WebSite)	ComputerInput.kif 2871-2871	subclass Wiki and WebSite
(subclass YouTube WebSite)	ComputingBrands.kif 4589-4589	subclass YouTube and WebSite

appearance as argument number 3

(domain SellersItemsFn 2 WebSite)	UXExperimentalTerms.kif 1180-1180	domain SellersItemsFn, 2 and WebSite
(domain SellersOtherItemsFn 2 WebSite)	UXExperimentalTerms.kif 1215-1215	domain SellersOtherItemsFn, 2 and WebSite
(domain SiteWideNewBuyersFn 2 WebSite)	UXExperimentalTerms.kif 3576-3576	domain SiteWideNewBuyersFn, 2 and WebSite
(domain SiteWideNewRegistrationsFn 2 WebSite)	UXExperimentalTerms.kif 3628-3628	domain SiteWideNewRegistrationsFn, 2 and WebSite
(domain SiteWideNewSellersFn 2 WebSite)	UXExperimentalTerms.kif 3675-3675	domain SiteWideNewSellersFn, 2 and WebSite
(domain accountAtSite 2 WebSite)	UXExperimentalTerms.kif 778-778	domain accountAtSite, 2 and WebSite
(domain advertisedOn 2 WebSite)	UXExperimentalTerms.kif 240-240	domain advertisedOn, 2 and WebSite
(domain browserID 3 WebSite)	UXExperimentalTerms.kif 919-919	domain browserID, 3 and WebSite
(domain categoryOf 2 WebSite)	UXExperimentalTerms.kif 225-225	domain categoryOf, 2 and WebSite
(domain confirmedRegisteredUser 2 WebSite)	UXExperimentalTerms.kif 1092-1092	domain confirmedRegisteredUser, 2 and WebSite
(domain eCommerceSite 2 WebSite)	UXExperimentalTerms.kif 1915-1915	domain eCommerceSite, 2 and WebSite
(domain firstTimeBuyers 2 WebSite)	UXExperimentalTerms.kif 3727-3727	domain firstTimeBuyers, 2 and WebSite
(domain firstTimeSellers 2 WebSite)	UXExperimentalTerms.kif 3775-3775	domain firstTimeSellers, 2 and WebSite
(domain homePage 2 WebSite)	UXExperimentalTerms.kif 2177-2177	domain homePage, 2 and WebSite
(domain hostedOn 2 WebSite)	UXExperimentalTerms.kif 150-150	domain hostedOn, 2 and WebSite
(domain newRegisteredUsers 2 WebSite)	UXExperimentalTerms.kif 3823-3823	domain newRegisteredUsers, 2 and WebSite
(domain prohibitedItem 2 WebSite)	UXExperimentalTerms.kif 491-491	domain prohibitedItem, 2 and WebSite
(domain registeredUser 2 WebSite)	UXExperimentalTerms.kif 1053-1053	domain registeredUser, 2 and WebSite
(domain siteCatalog 2 WebSite)	UXExperimentalTerms.kif 2442-2442	domain siteCatalog, 2 and WebSite
(domain underageUser 2 WebSite)	UXExperimentalTerms.kif 1266-1266	domain underageUser, 2 and WebSite
(domain userDatabase 2 WebSite)	UXExperimentalTerms.kif 2373-2373	domain userDatabase, 2 and WebSite
(domain visitorParameter 3 WebSite)	UXExperimentalTerms.kif 1362-1362	domain visitorParameter, 3 and WebSite
(domain watchingListings 3 WebSite)	UXExperimentalTerms.kif 1442-1442	domain watchingListings, 3 and WebSite
(domain webPurchases 3 WebSite)	UXExperimentalTerms.kif 1019-1019	domain webPurchases, 3 and WebSite
(domain webSales 3 WebSite)	UXExperimentalTerms.kif 1114-1114	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 1189-1205	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 ?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	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 Physical Physical instance Physical and WebListing member Physical and SellersItemsFn Agent and WebSite temporalPart TimePoint and WhenFn Physical equal Physical and WebListing member Physical and Collection member Physical and Collection temporalPart TimePoint and WhenFn Physical instance Physical 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 3586-3618	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 3638-3665	instance TimeInterval and TimeInterval instance WebSite and WebSite Collection instance Collection and Collection Physical instance Physical and Human TimeInterval_BEFORE instance TimeInterval_BEFORE and TimeInterval earlier TimeInterval_BEFORE and TimeInterval holdsDuring TimeInterval_BEFORE and registeredUser Physical and WebSite TimeInterval_DURING instance TimeInterval_DURING and TimeInterval during TimeInterval_DURING and TimeInterval holdsDuring TimeInterval and registeredUser Physical and WebSite member Physical 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 3685-3717	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 ?P DigitalPost) (instance ?A Agent) (instance ?W WebSite) (component ?P ?W) (creator ?A ?P) (registeredUser ?A ?W)) (hasPurpose ?P (exists (?D) (and (instance ?D Disseminating) (agent ?D ?A) (patient ?D ?P) (instrument ?D ?W)))))	ComputerInput.kif 2826-2840	instance CorpuscularObject and DigitalPost instance Agent and Agent instance WebSite and WebSite component CorpuscularObject and WebSite creator Agent and CorpuscularObject registeredUser Agent and WebSite hasPurpose CorpuscularObject and entity instance entity and Disseminating agent entity and Agent patient entity and CorpuscularObject instrument entity 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 2274-2285	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 1494-1499	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 1523-1539	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 3055-3079	instance Collection and Collection Physical member Physical and Collection instance Physical 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 1935-1954	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 1967-1986	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 1999-2018	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 1812-1828	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 271-280	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 338-358	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 1337-1348	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 2335-2340	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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: