(=>
(webVisitor ?A ?WS)
(exists (?AWS ?WP)
(and
(instance ?AWS AccessingWebPage)
(instance ?WP WebPage)
(component ?WP ?WS)
(agent ?AWS ?A)
(patient ?AWS ?WP)))) |
ComputerInput.kif 2972-2980 |
If X is a visitor to Y, then there exist Z, W such that Z is an instance of accessing web page, W is an instance of web page, W is a component of Y, X is an agent of Z, and W is a patient of Z |
(=>
(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 |
(=>
(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 X is a visitor to Y, then there exist Z, W such that Z is an instance of accessing web page, W is an instance of web page, W is a patient of Z, W is a component of Y, and X is an agent of Z |
