WebBrowser - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - WebBrowser

WebBrowser(web browser)

appearance as argument number 1

(documentation WebBrowser EnglishLanguage "A ComputerProgram which is the instrument of AccessingWebPage.")	UXExperimentalTerms.kif 2101-2102
(subclass WebBrowser ComputerProgram)	UXExperimentalTerms.kif 2097-2097	Web browser is a subclass of computer program

appearance as argument number 2

(subclass AppleSafari WebBrowser)	ComputingBrands.kif 974-974	Safari is a subclass of web browser
(subclass ChromeBrowser WebBrowser)	UXExperimentalTerms.kif 4576-4576	Chrome is a subclass of web browser
(subclass FireFoxBrowser WebBrowser)	UXExperimentalTerms.kif 4596-4596	Firefox is a subclass of web browser
(subclass IEBrowser WebBrowser)	UXExperimentalTerms.kif 4586-4586	IE is a subclass of web browser
(termFormat EnglishLanguage WebBrowser "web browser")	UXExperimentalTerms.kif 2099-2099	IE is a subclass of web browser

appearance as argument number 3

(domain browserID 2 WebBrowser)

UXExperimentalTerms.kif 733-733

The number 2 argument of browser identifier string is an instance of web browser

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 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 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 the time to access in the accessing web page and the time interval
(=> (instance ?BROWSER WebBrowser) (hasPurpose ?BROWSER (exists (?ACCESSING) (and (instance ?ACCESSING AccessingWebPage) (instrument ?ACCESSING ?BROWSER)))))	UXExperimentalTerms.kif 2104-2110	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

consequent

(=> (browserID ?STRING ?BROWSER ?SITE) (modalAttribute (not (exists (?BROWSER2) (and (instance ?BROWSER2 WebBrowser) (browserID ?STRING ?BROWSER2 ?SITE)))) Likely))	UXExperimentalTerms.kif 750-758	If an identifier is the ID of a web browser when accessing a web site, then the statement there doesn't exist the web browser2 such that the web browser2 is an instance of web browser and the identifier is the ID of the web browser2 when accessing the web site has the modal force of likely
(=> (webVisitor ?VISITOR ?SITE) (exists (?ID ?BROWSER) (and (instance ?ID Identifier) (instance ?BROWSER WebBrowser) (browserID ?ID ?BROWSER ?SITE) (represents ?ID ?VISITOR))))	UXExperimentalTerms.kif 1209-1216	If an agent is a visitor to a web site, then there exist an identifier and a web browser such that the identifier is an instance of identifier and the web browser is an instance of web browser and the identifier is the ID of the web browser when accessing the web site and the identifier expresses the agent

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