WebPage - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - WebPage

WebPage(web page)

web_page, webpage

appearance as argument number 1

(documentation WebPage EnglishLanguage "An instance of WebPage is a chunk of DigitalData typically displayed (metaphorically) as one page by a web browser. Note that a WebPage might be dynamically generated, might include data assembled from many different files or storage media (e.g., databases), and so might not exist as a unitary ComputerFile.")	Media.kif 1475-1481
(subclass WebPage DigitalData)	Media.kif 1482-1482	Web page is a subclass of digital data

appearance as argument number 2

(subclass ProductDescriptionPage WebPage)	UXExperimentalTerms.kif 2233-2233	Product description page is a subclass of web page
(subclass SearchResultsPage WebPage)	UXExperimentalTerms.kif 2729-2729	Search results page is a subclass of web page
(subclass ViewItemPage WebPage)	UXExperimentalTerms.kif 2264-2264	Next generation view item is a subclass of web page
(termFormat EnglishLanguage WebPage "web page")	Media.kif 1483-1483

appearance as argument number 3

(domain homePage 1 WebPage)	UXExperimentalTerms.kif 2172-2172	The number 1 argument of homepage is an instance of web page
(domain treatedPage 1 WebPage)	UXExperimentalTerms.kif 4318-4318	The number 1 argument of treated page is an instance of web page
(domain webPageURL 1 WebPage)	ComputingBrands.kif 4391-4391	The number 1 argument of url is an instance of web page

antecedent

(=> (and (instance ?ACCESSING AccessingWebPage) (instance ?PAGE WebPage) (instance ?TRANSFER DataTransfer) (instance ?SERVER Server) (instance ?REQUESTING Requesting) (instance ?BROWSER WebBrowser) (instance ?INTERVAL TimeInterval) (patient ?ACCESSING ?PAGE) (agent ?REQUESTING ?BROWSER) (destination ?REQUESTING ?SERVER) (patient ?REQUESTING ?PAGE) (origin ?TRANSFER ?SERVER) (destination ?TRANSFER ?BROWSER) (patient ?TRANSFER ?PAGE) (subProcess ?TRANSFER ?ACCESSING) (subProcess ?REQUESTING ?ACCESSING) (equal (EndFn (WhenFn ?REQUESTING)) (BeginFn ?INTERVAL)) (equal (EndFn (WhenFn ?TRANSFER)) (EndFn ?INTERVAL))) (equal (SiteSpeedFn ?ACCESSING) ?INTERVAL))	UXExperimentalTerms.kif 3965-3990	If an accessing web page is an instance of accessing web page and an entity is an instance of web page and a process is an instance of data transfer and an object is an instance of server and another process is an instance of requesting and an agent is an instance of web browser and a time interval is an instance of time interval and the entity is a patient of the accessing web page and the agent is an agent of the other process and the other process ends up at the object and the entity is a patient of the other process and the process originates at the object and the process ends up at the agent and the entity is a patient of the process and the process is a subprocess of the accessing web page and the other process is a subprocess of the accessing web page and the end of the time of existence of the other process is equal to the beginning of the time interval and the end of the time of existence of the process is equal to the end of the time interval, then the time to access in the accessing web page is equal to the time interval
(=> (and (instance ?VISITOR Human) (instance ?QPVIEWS Collection) (forall (?PAGE ?ACCESSING ?EXPERIMENT) (=> (and (instance ?PAGE WebPage) (instance ?ACCESSING AccessingWebPage) (instance ?EXPERIMENT Experimenting) (agent ?ACCESSING ?VISITOR) (patient ?ACCESSING ?PAGE) (treatedPage ?PAGE ?EXPERIMENT)) (member ?ACCESSING ?QPVIEWS)))) (equal ?QPVIEWS (QPViewsFn ?VISITOR)))	UXExperimentalTerms.kif 4381-4396	If a human is an instance of human and a collection is an instance of collection and for all a web page, a process and an experimenting if the web page is an instance of web page and the process is an instance of accessing web page and the experimenting is an instance of experimenting and the human is an agent of the process and the web page is a patient of the process and the web page is the object of study of the experimenting, then the process is a member of the collection , then the collection is equal to all the treated web page views from the human
(=> (and (instance ?VISITS Collection) (instance ?PURCHASES Collection) (subCollection ?PURCHASES ?VISITS) (forall (?MEMBER) (=> (member ?MEMBER ?VISITS) (instance ?MEMBER AccessingWebPage))) (forall (?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE) (=> (and (instance ?VISITOR Human) (instance ?BUYING Buying) (instance ?ACCESSING AccessingWebPage) (instance ?PAGE WebPage) (member ?ACCESSING ?VISITS) (destination ?ACCESSING ?PAGE) (agent ?BUYING ?VISITOR) (agent ?ACCESSING ?VISITOR) (during (WhenFn ?BUYING) (WhenFn ?ACCESSING)) (instrument ?BUYING ?PAGE)) (member ?BUYING ?PURCHASES)))) (exists (?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL) (equal (SCRFn ?VISITS ?INTERVAL) (DivisionFn (CardinalityFn (KappaFn ?PURCHASE_IN_INTERVAL (and (member ?PURCHASE_IN_INTERVAL ?PURCHASES) (during (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL)))) (CardinalityFn (KappaFn ?VISIT_IN_INTERVAL (and (member ?VISIT_IN_INTERVAL ?VISITS) (during (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))	UXExperimentalTerms.kif 3874-3910	If a collection is an instance of collection and another collection is an instance of collection and the other collection is a proper sub-collection of the collection and for all a physical if the physical is a member of the collection, then the physical is an instance of accessing web page and for all a process, an agent,, , another process,, , the process and an object if the agent is an instance of human and the process is an instance of buying and the other process is an instance of accessing web page and the object is an instance of web page and the other process is a member of the collection and the other process ends up at the object and the agent is an agent of the process and the agent is an agent of the other process and the time of existence of the process takes place during the time of existence of the other process and the object is an instrument for the process, then the process is a member of the other collection , then there exist a time interval, an entity_IN_INTERVAL and another entity_IN_INTERVAL such that purchases made in the collection during the time interval is equal to the number of instances in the class described by the entity_IN_INTERVAL and the number of instances in the class described by the other entity_IN_INTERVAL
(=> (and (treatedPageDefinition ?EXPERIMENT ?FORMULA) (instance ?PAGE WebPage) (refers ?FORMULA ?PAGE)) (treatedPage ?PAGE ?EXPERIMENT))	UXExperimentalTerms.kif 4358-4363	If the definition of a treated page in an experimenting is a formula and a web page is an instance of web page and the formula includes a reference to the web page, then the web page is the object of study of the experimenting

consequent

(=> (and (inList ?ITEM ?RESULTS) (instance ?RESULTS SRPResults)) (or (instance ?ITEM WebListing) (instance ?ITEM WebPage)))	UXExperimentalTerms.kif 2689-2695	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 web page
(=> (and (instance ?SEO SEO) (patient ?SEO ?PAGE)) (instance ?PAGE WebPage))	UXExperimentalTerms.kif 2588-2592	If a process is an instance of search engine optimization and an entity is a patient of the process, then the entity is an instance of web page
(=> (and (instance ?STORE WebStore) (member ?PAGE ?STORE)) (instance ?PAGE WebPage))	UXExperimentalTerms.kif 2347-2351	If a collection is an instance of web store and a physical is a member of the collection, then the physical is an instance of web page
(=> (and (viewedItemList ?USER ?LIST) (inList ?ACCESSING ?LIST)) (and (instance ?ACCESSING AccessingWebPage) (agent ?ACCESSING ?USER) (exists (?DEST) (and (instance ?DEST WebPage) (destination ?ACCESSING WebPage)))))	UXExperimentalTerms.kif 961-971	If a list is the list of items viewed by an agent and a process is a member of the list, then the process is an instance of accessing web page and the agent is an agent of the process and there exists an entity such that the entity is an instance of web page and the process ends up at web page
(=> (browserID ?STRING ?BROWSER ?SITE) (exists (?WEBPAGE ?ACCESSING ?AGENT) (and (instance ?WEBPAGE WebPage) (component ?WEBPAGE ?SITE) (instance ?ACCESSING AccessingWebPage) (instance ?AGENT AutonomousAgent) (agent ?ACCESSING ?AGENT) (instrument ?ACCESSING ?BROWSER) (destination ?ACCESSING ?WEBPAGE) (represents ?STRING ?AGENT))))	UXExperimentalTerms.kif 921-932	If an identifier is the ID of a web browser when accessing a web site, then there exist a corpuscular object, a process and an agent such that the corpuscular object is an instance of web page and the corpuscular object is a component of the web site and the process is an instance of accessing web page and the agent is an instance of agent and the agent is an agent of the process and the web browser is an instrument for the process and the process ends up at the corpuscular object and the identifier expresses the agent
(=> (hostedOn ?LISTING ?SITE) (exists (?PAGE) (and (instance ?PAGE WebPage) (component ?LISTING ?PAGE) (component ?PAGE ?SITE))))	UXExperimentalTerms.kif 157-163	If a web listing is hosted on a web site, then there exists a corpuscular object such that the corpuscular object is an instance of web page and the web listing is a component of the corpuscular object and the corpuscular object is a component of the web site
(=> (instance ?ACT DownloadingOverNetwork) (exists (?FILE) (and (patient ?ACT ?FILE) (instance ?FILE WebPage))))	ComputerInput.kif 2667-2672	If a process is an instance of downloading, then there exists an entity such that the entity is a patient of the process and the entity is an instance of web page
(=> (instance ?MODULE WebPageModule) (exists (?PAGE) (and (instance ?PAGE WebPage) (component ?MODULE ?PAGE))))	UXExperimentalTerms.kif 2195-2200	If a corpuscular object is an instance of module, then there exists another corpuscular object such that the other corpuscular object is an instance of web page and the corpuscular object is a component of the other corpuscular object
(=> (instance ?SITE WebSite) (exists (?PAGE) (and (instance ?PAGE WebPage) (component ?PAGE ?SITE))))	Media.kif 1495-1500	If a corpuscular object is an instance of web site, then there exists another corpuscular object such that the other corpuscular object is an instance of web page and the other corpuscular object is a component of the corpuscular object
(=> (qualifiedPageView ?EXPERIMENT ?ACCESSING) (exists (?PAGE) (and (instance ?PAGE WebPage) (patient ?ACCESSING ?PAGE) (treatedPage ?EXPERIMENT ?PAGE))))	UXExperimentalTerms.kif 4285-4291	If an accessing web page is accessed during a web page, then there exists an experimenting such that the experimenting is an instance of web page and the experimenting is a patient of the accessing web page and the web page is the object of study of the experimenting
(=> (userDatabase ?DATABASE ?WEBSITE) (exists (?PART ?USERS) (and (instance ?USERS Collection) (part ?PART ?DATABASE) (represents ?PART ?USERS) (forall (?MEMBER) (=> (member ?MEMBER ?USERS) (and (instance ?MEMBER AutonomousAgent) (exists (?ACCESSING ?PAGE) (and (instance ?ACCESSING AccessingWebPage) (instance ?PAGE WebPage) (patient ?ACCESSING Page) (agent ?ACCESSING AutonomousAgent) (component ?PAGE ?WEBSITE)))))))))	UXExperimentalTerms.kif 2379-2397	If a database is the user database for a web site, then there exist an object and a collection such that the collection is an instance of collection and the object is a part of the database and the object expresses the collection and for all a physical if the physical is a member of the collection, then the physical is an instance of agent and there exist a process and a corpuscular object such that the process is an instance of accessing web page and the corpuscular object is an instance of web page and page is a patient of the process and agent is an agent of the process and the corpuscular object is a component of the web site
(=> (viewedListing ?AGENT ?LISTING) (exists (?PAGE ?ACCESSING) (and (instance ?PAGE WebPage) (instance ?ACCESSING AccessingWebPage) (component ?LISTING ?PAGE) (agent ?ACCESSING ?AGENT) (destination ?ACCESSING ?PAGE))))	UXExperimentalTerms.kif 1742-1750	If an agent viewed a web listing, then there exist a corpuscular object and a process such that the corpuscular object is an instance of web page and the process is an instance of accessing web page and the web listing is a component of the corpuscular object and the agent is an agent of the process and the process ends up at the corpuscular object
(=> (webStoreAdvertisement ?ADVERT ?STORE) (exists (?ITEM ?PAGE) (and (refers ?ADVERT ?ITEM) (component ?ADVERT ?PAGE) (instance ?PAGE WebPage) (member ?PAGE ?STORE))))	UXExperimentalTerms.kif 546-553	If a web store has advertisement an advertising, then there exist an entity and a corpuscular object such that the advertising includes a reference to the entity and the advertising is a component of the corpuscular object and the corpuscular object is an instance of web page and the corpuscular object is a member of the web store
(=> (webVisitor ?A ?WS) (exists (?AWS ?WP) (and (instance ?AWS AccessingWebPage) (instance ?WP WebPage) (component ?WP ?WS) (agent ?AWS ?A) (patient ?AWS ?WP))))	ComputerInput.kif 2954-2962	If an agent is a visitor to a web site, then there exist the agentWS and a corpuscular object such that the agentWS is an instance of accessing web page and the corpuscular object is an instance of web page and the corpuscular object is a component of the web site and the agent is an agent of the agentWS and the corpuscular object is a patient of the agentWS
(=> (webVisitor ?VISITOR ?SITE) (exists (?ACCESSING ?PAGE) (and (instance ?ACCESSING AccessingWebPage) (instance ?PAGE WebPage) (patient ?ACCESSING ?PAGE) (component ?PAGE ?SITE) (agent ?ACCESSING ?VISITOR))))	UXExperimentalTerms.kif 1415-1423	If an agent is a visitor to a web site, then there exist a process and a corpuscular object such that the process is an instance of accessing web page and the corpuscular object is an instance of web page and the corpuscular object is a patient of the process and the corpuscular object is a component of the web site and the agent is an agent of the process

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