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, 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 1477-1483
(subclass WebPage DigitalData)	Media.kif 1484-1484	WebPage is a subclass of DigitalData

appearance as argument number 2

(subclass ProductDescriptionPage WebPage)	UXExperimentalTerms.kif 2027-2027	ProductDescriptionPage is a subclass of WebPage
(subclass SearchResultsPage WebPage)	UXExperimentalTerms.kif 2523-2523	SearchResultsPage is a subclass of WebPage
(subclass ViewItemPage WebPage)	UXExperimentalTerms.kif 2058-2058	ViewItemPage is a subclass of WebPage
(termFormat EnglishLanguage WebPage "web page")	Media.kif 1485-1485	ViewItemPage is a subclass of WebPage

appearance as argument number 3

(domain homePage 1 WebPage)	UXExperimentalTerms.kif 1966-1966	The number 1 argument of homePage is an instance of WebPage
(domain treatedPage 1 WebPage)	UXExperimentalTerms.kif 4111-4111	The number 1 argument of treatedPage is an instance of WebPage
(domain webPageURL 1 WebPage)	ComputingBrands.kif 4388-4388	The number 1 argument of webPageURL is an instance of WebPage

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 3758-3783	If an AccessingWebPage is an instance of AccessingWebPage and an entity is an instance of WebPage and a process is an instance of DataTransfer and an object is an instance of Server and another process is an instance of requesting and an agent is an instance of WebBrowser and a time interval is an instance of time interval and the entity is a patient of the AccessingWebPage 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 AccessingWebPage and the other process is a subprocess of the AccessingWebPage and equal the end of the time of existence of the other process and the beginning of the time interval and equal the end of the time of existence of the process and the end of the time interval, then equal SiteSpeedFn the AccessingWebPage and 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 4174-4189	If a human is an instance of human and a collection is an instance of collection and for all a WebPage, a process and an Experimenting if the WebPage is an instance of WebPage and the process is an instance of AccessingWebPage and the Experimenting is an instance of Experimenting and the human is an agent of the process and the WebPage is a patient of the process and treatedPage the WebPage and the Experimenting, then the process is a member of the collection , then equal the collection and QPViewsFn 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 3667-3703	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 AccessingWebPage 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 AccessingWebPage and the object is an instance of WebPage 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 equal SCRFn the collection and the time interval and 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 4151-4156	If treatedPageDefinition an Experimenting and a formula and a WebPage is an instance of WebPage and the formula includes a reference to the WebPage, then treatedPage the WebPage and the Experimenting

consequent

(=> (and (inList ?ITEM ?RESULTS) (instance ?RESULTS SRPResults)) (or (instance ?ITEM WebListing) (instance ?ITEM WebPage)))	UXExperimentalTerms.kif 2483-2489	If an entity is a member of a list and the list is an instance of SRPResults, then the entity is an instance of WebListing or the entity is an instance of WebPage
(=> (and (instance ?SEO SEO) (patient ?SEO ?PAGE)) (instance ?PAGE WebPage))	UXExperimentalTerms.kif 2382-2386	If a process is an instance of SEO and an entity is a patient of the process, then the entity is an instance of WebPage
(=> (and (instance ?STORE WebStore) (member ?PAGE ?STORE)) (instance ?PAGE WebPage))	UXExperimentalTerms.kif 2141-2145	If a collection is an instance of WebStore and a physical is a member of the collection, then the physical is an instance of WebPage
(=> (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 771-781	If viewedItemList an agent and a list and a process is a member of the list, then the process is an instance of AccessingWebPage and the agent is an agent of the process and there exists an entity such that the entity is an instance of WebPage and the process ends up at WebPage
(=> (browserID ?STRING ?BROWSER ?SITE) (exists (?WEBPAGE ?ACCESSING ?AGENT ?BPROC) (and (instance ?WEBPAGE WebPage) (subString ?WEBPAGE ?SITE) (instance ?ACCESSING AccessingWebPage) (instance ?AGENT AutonomousAgent) (agent ?ACCESSING ?AGENT) (programRunning ?BPROC ?BROWSER) (causes ?BPROC ?ACCESSING) (destination ?ACCESSING ?WEBPAGE) (represents ?STRING ?AGENT))))	UXExperimentalTerms.kif 736-748	If browserID an Identifier, a WebBrowser and a WebSite, then there exist a symbolic string, a process,, , an agent and a ComputerProcess such that the symbolic string is an instance of WebPage and subString the symbolic string and the WebSite and the process is an instance of AccessingWebPage and the agent is an instance of agent and the agent is an agent of the process and programRunning the ComputerProcess and the WebBrowser and the ComputerProcess causes the process and the process ends up at the symbolic string and the Identifier expresses the agent
(=> (hostedOn ?LISTING ?SITE) (exists (?PAGE) (and (instance ?PAGE WebPage) (subString ?LISTING ?PAGE) (subString ?PAGE ?SITE))))	UXExperimentalTerms.kif 125-131	If hostedOn a symbolic string and a WebSite, then there exists another symbolic string such that the other symbolic string is an instance of WebPage and subString the symbolic string and the other symbolic string and subString the other symbolic string and the WebSite
(=> (instance ?ACT DownloadingOverNetwork) (exists (?FILE) (and (patient ?ACT ?FILE) (instance ?FILE WebPage))))	ComputerInput.kif 2667-2672	If a process is an instance of DownloadingOverNetwork, then there exists an entity such that the entity is a patient of the process and the entity is an instance of WebPage
(=> (instance ?MODULE WebPageModule) (exists (?PAGE) (and (instance ?PAGE WebPage) (component ?MODULE ?PAGE))))	UXExperimentalTerms.kif 1989-1994	If a corpuscular object is an instance of WebPageModule, then there exists another corpuscular object such that the other corpuscular object is an instance of WebPage 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 1497-1502	If a corpuscular object is an instance of WebSite, then there exists another corpuscular object such that the other corpuscular object is an instance of WebPage 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 4078-4084	If qualifiedPageView a WebPage and an AccessingWebPage, then there exists an Experimenting such that the Experimenting is an instance of WebPage and the Experimenting is a patient of the AccessingWebPage and treatedPage the WebPage and 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 2173-2191	If userDatabase a Database and a WebSite, 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 AccessingWebPage and the corpuscular object is an instance of WebPage 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 WebSite
(=> (viewedListing ?AGENT ?LISTING) (exists (?PAGE ?ACCESSING) (and (instance ?PAGE WebPage) (instance ?ACCESSING AccessingWebPage) (component ?LISTING ?PAGE) (agent ?ACCESSING ?AGENT) (destination ?ACCESSING ?PAGE))))	UXExperimentalTerms.kif 1536-1544	If viewedListing an agent and a WebListing, then there exist a corpuscular object and a process such that the corpuscular object is an instance of WebPage and the process is an instance of AccessingWebPage and the WebListing 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 434-441	If webStoreAdvertisement an advertising and a WebStore, 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 WebPage and the corpuscular object is a member of the WebStore
(=> (webVisitor ?A ?WS) (exists (?AWS ?WP) (and (instance ?AWS AccessingWebPage) (instance ?WP WebPage) (component ?WP ?WS) (agent ?AWS ?A) (patient ?AWS ?WP))))	ComputerInput.kif 2956-2964	If webVisitor an agent and a WebSite, then there exist the agentWS and a corpuscular object such that the agentWS is an instance of AccessingWebPage and the corpuscular object is an instance of WebPage and the corpuscular object is a component of the WebSite 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 1218-1226	If webVisitor an agent and a WebSite, then there exist a process and a corpuscular object such that the process is an instance of AccessingWebPage and the corpuscular object is an instance of WebPage and the corpuscular object is a patient of the process and the corpuscular object is a component of the WebSite 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