Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  webVisitor

Sigma KEE - webVisitor
webVisitor

appearance as argument number 1
-------------------------


(documentation webVisitor EnglishLanguage "(webvisitor ?HUMAN ?SITE) means that there exists an AccessingWebPage where ?HUMAN is the agent, and the page accessed is a component of ?SITE.") UXExperimentalTerms.kif 1403-1404
(documentation webVisitor EnglishLanguage "A relationship between an Agent and a WebSite, stating that the agent has visited the site.") ComputerInput.kif 2356-2357
(domain webVisitor 1 Agent) ComputerInput.kif 2354-2354
(domain webVisitor 1 Human) UXExperimentalTerms.kif 1397-1397
(domain webVisitor 2 WebSite) ComputerInput.kif 2355-2355
(domain webVisitor 2 Website) UXExperimentalTerms.kif 1399-1399
(instance webVisitor BinaryPredicate) UXExperimentalTerms.kif 1395-1395
(instance webVisitor CaseRole) ComputerInput.kif 2353-2353

appearance as argument number 2
-------------------------


(format EnglishLanguage webVisitor "%1 is a visitor to %2") domainEnglishFormat.kif 1254-1254
(termFormat EnglishLanguage webVisitor "web visitor") UXExperimentalTerms.kif 1401-1401

antecedent
-------------------------


(=>
    (webVisitor ?A ?WS)
    (exists (?AWS ?WP)
        (and
            (instance ?AWS AccessingWebPage)
            (instance ?WP WebPage)
            (component ?WP ?WS)
            (agent ?AWS ?A)
            (patient ?AWS ?WP))))
ComputerInput.kif 2359-2367
(=>
    (webVisitor ?VISITOR ?SITE)
    (exists (?ACCESSING ?PAGE)
        (and
            (instance ?ACCESSING AccessingWebPage)
            (instance ?PAGE WebPage)
            (patient ?ACCESSING ?PAGE)
            (component ?PAGE ?SITE)
            (agent ?ACCESSING ?VISITOR))))
UXExperimentalTerms.kif 1415-1423
(=>
    (webVisitor ?VISITOR ?SITE)
    (exists (?ID ?BROWSER)
        (and
            (instance ?ID Identifier)
            (instance ?BROWSER WebBrowser)
            (browserID ?ID ?BROWSER ?SITE)
            (represents ?ID ?VISITOR))))
UXExperimentalTerms.kif 1406-1413

consequent
-------------------------


(=>
    (underageUser ?HUMAN ?SITE)
    (webVisitor ?HUMAN ?SITE))
UXExperimentalTerms.kif 1270-1272
(=>
    (visitorParameter ?VISITOR ?FORMULA ?SITE)
    (webVisitor ?VISITOR ?SITE))
UXExperimentalTerms.kif 1368-1370


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners