TreeView Knowledge Base Browser - AccessingWebPage

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

AccessingWebPage

Sigma KEE - AccessingWebPage

AccessingWebPage(accessing web page)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2664-2665
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2663-2663	Accessing web page is a subclass of network communication

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 64373-64373

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3953-3953	The number 1 argument of site speed is an instance of accessing web page
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1698-1698	The number 2 argument of TTFx is an instance of accessing web page
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4280-4280	The number 2 argument of qualified page view is an instance of accessing web page

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1702-1724	If a time interval is an instance of the time interval_CLASS and the time interval_CLASS is a subclass of process and an accessing web page is an instance of accessing web page and an agent is an instance of agent and the agent is an agent of the time interval and the agent is an agent of the accessing web page and the time interval takes place during the accessing web page and a physical is an instance of time interval and there doesn't exist the time interval2 such that the time interval2 is an instance of the time interval_CLASS and the agent is an agent of the time interval2 and the time interval2 takes place during the accessing web page and the beginning of the time of existence of the time interval2 happens before the beginning of the time of existence of the time interval and the beginning of the time of existence of the accessing web page is equal to the beginning of the time of existence of the physical and the beginning of the time of existence of the time interval is equal to the end of the time of existence of the physical, then the time of the accessing web page in the class the time interval_CLASS is equal to the physical
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1776-1787	If a process is an instance of view item request and another process is an instance of accessing web page and a corpuscular object is an instance of next generation view item and an agent is an instance of agent and a web listing is an instance of advertising and the other process is a subprocess of the process and the corpuscular object is a component of the web listing and the other process ends up at the corpuscular object and the agent is an agent of the other process, then the agent viewed the web listing
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3539-3562	If a collection is an instance of collection and a corpuscular object is an instance of hyperlink and for all a physical the physical is a member of another collection and the physical is an instance of accessing web page and the other collection is a component of the corpuscular object, then there exists a third collection such that the third collection is an instance of collection and for all a process if the process is an instance of requesting hyperlink and the corpuscular object is a patient of the process, then the process is a member of the third collection and the rate of clicking through the corpuscular object in the collection is equal to the number of instances in the third collection and the number of instances in the collection
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 973-987	If a list is the list of items viewed by an agent and a physical is an instance of accessing web page and the first of the list is equal to the physical, then there doesn't exist the physical2 such that the physical2 is an instance of accessing web page and the agent is an agent of the physical2 and the time of existence of the physical2 happens earlier than the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 989-1007	If a list is the list of items viewed by an agent and a process is an instance of accessing web page and another process is an instance of accessing web page and the agent is an agent of the process and the agent is an agent of the other process and a positive integer is an instance of positive integer and another positive integer is an instance of positive integer and the positive integerth element of the list is equal to the process and the other positive integerth element of the list is equal to the other process and the positive integer is greater than the other positive integer, then the time of existence of the other process happens earlier than the time of existence of the process

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3301-3320	If an experimenting is an instance of experimenting and a time interval is an instance of time interval, then the number of instances in the class described by a symbolic string and the number of instances in the class described by another symbolic string is equal to purchases per user in the experimenting during the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3262-3279	If an experimenting is an instance of experimenting and an entity is an instance of time interval, then the number of instances in the class described by a symbolic string and the number of instances in the class described by another symbolic string is equal to purchases per user in the experimenting
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 973-987	If a list is the list of items viewed by an agent and a physical is an instance of accessing web page and the first of the list is equal to the physical, then there doesn't exist the physical2 such that the physical2 is an instance of accessing web page and the agent is an agent of the physical2 and the time of existence of the physical2 happens earlier than the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2310-2316	If a physical is an instance of web browser, then the physical has the purpose there exists an entity such that the entity is an instance of accessing web page and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1765-1774	If a process is an instance of view item request, then there exist another process, a third process and an entity such that the other process is an instance of requesting hyperlink and the entity is an instance of next generation view item and the third process is an instance of accessing web page and the other process causes the third process and the third process ends up at the entity and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4331-4342	If a web page is the object of study of an experimenting, then there exist an agent, another agent and a process such that the agent is a member of events in the experimenting and if the other agent is an instance of human and the process is an instance of accessing web page and the other agent is an agent of the process and the process ends up at the web page, then the agent experiences the other agent
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 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