Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| WebBrowser(web browser) |
| appearance as argument number 1 |
|
| (subclass WebBrowser ComputerProgram) | UXExperimentalTerms.kif 2098-2098 | Web browser is a subclass of computer program |
| (documentation WebBrowser EnglishLanguage "A ComputerProgram which is the instrument of AccessingWebPage.") | UXExperimentalTerms.kif 2102-2103 | Web browser is a subclass of computer program |
| appearance as argument number 2 |
|
|
| 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 |
|
|
| (=> (instance ?BROWSER WebBrowser) (hasPurpose ?BROWSER (exists (?ACCESSING) (and (instance ?ACCESSING AccessingWebPage) (instrument ?ACCESSING ?BROWSER))))) |
UXExperimentalTerms.kif 2105-2111 | If X is an instance of web browser, then X has the purpose there exists Y such that Y is an instance of accessing web page and X is an instrument for Y |
| (=> (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 3756-3781 | If All of the following hold: (1) X is an instance of accessing web page (2) Y is an instance of web page (3) Z is an instance of data transfer (4) W is an instance of server (5) V is an instance of requesting (6) U is an instance of web browser (7) T is an instance of timeframe (8) Y is a patient of X (9) U is an agent of V (10) V ends up at W (11) Y is a patient of V (12) Z originates at W (13) Z ends up at U (14) Y is a patient of Z (15) Z is a subprocess of X (16) V is a subprocess of X (17) equal the end of the time of existence of V and the beginning of T (18) equal the end of the time of existence of Z and the end of T, then equal the time to access in X and T |
| consequent |
|
|
| (=> (browserID ?STRING ?BROWSER ?SITE) (modalAttribute (not (exists (?BROWSER2) (and (instance ?BROWSER2 WebBrowser) (browserID ?STRING ?BROWSER2 ?SITE)))) Likely)) |
UXExperimentalTerms.kif 750-758 | If X is the ID of Y when accessing Z, then the statement there doesn't exist W such that W is an instance of web browser and X is the ID of W when accessing Z 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 X is a visitor to Y, then there exist Z, W such that Z is an instance of identifier, W is an instance of web browser, Z is the ID of W when accessing Y, and Z expresses X |
|