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 4577-4577	Chrome is a subclass of web browser
(subclass FireFoxBrowser WebBrowser)	UXExperimentalTerms.kif 4597-4597	Firefox is a subclass of web browser
(subclass IEBrowser WebBrowser)	UXExperimentalTerms.kif 4587-4587	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 3759-3784	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
(=> (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