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
-------------------------


s__documentation(s__webVisitor__m,s__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
s__documentation(s__webVisitor__m,s__EnglishLanguage,'"A relationship between an Agent and a WebSite, stating that the agent has visited the site."')

ComputerInput.kif 2979-2980
s__domain(s__webVisitor__m,n__1,s__Agent)

ComputerInput.kif 2977-2977 The number 1 argument of web visitor is an instance of agent
s__domain(s__webVisitor__m,n__1,s__Human)

UXExperimentalTerms.kif 1397-1397 The number 1 argument of web visitor is an instance of human
s__domain(s__webVisitor__m,n__2,s__WebSite)

ComputerInput.kif 2978-2978 The number 2 argument of web visitor is an instance of WebSite
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__webVisitor__m,s__BinaryPredicate)

UXExperimentalTerms.kif 1395-1395 web visitor is an instance of binary predicate
s__instance(s__CaseRole,s__Class)

s__instance(s__webVisitor__m,s__CaseRole)

ComputerInput.kif 2976-2976 web visitor is an instance of case role

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


s__format(s__ChineseLanguage,s__webVisitor__m,'"%1 是对于 %2 的 visitor "')

domainEnglishFormat.kif 4983-4983
s__format(s__ChineseTraditionalLanguage,s__webVisitor__m,'"%1 是對於 %2 的 visitor "')

domainEnglishFormat.kif 4982-4982
s__format(s__EnglishLanguage,s__webVisitor__m,'"%1 is a visitor to %2"')

domainEnglishFormat.kif 4981-4981
s__termFormat(s__EnglishLanguage,s__webVisitor__m,'"web visitor"')

UXExperimentalTerms.kif 1401-1401

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


( ! [V__A,V__WS] :
   (((s__instance(V__A,s__Agent) &
         s__instance(V__WS,s__WebSite))
       =>
       ((s__webVisitor(V__A,V__WS)
         =>
         (( ? [V__AWS, V__WP] :
             ((s__instance(V__AWS,s__AccessingWebPage) &
                 s__instance(V__WP,s__WebPage) &
                 s__component(V__WP,V__WS)
               &
               s__agent(V__AWS,V__A)
             &
             s__patient(V__AWS,V__WP))))))))
)
)

ComputerInput.kif 2982-2990
( ! [V__VISITOR,V__SITE] :
   (((s__instance(V__VISITOR,s__Agent) &
         s__instance(V__SITE,s__WebSite))
       =>
       ((s__webVisitor(V__VISITOR,V__SITE)
         =>
         (( ? [V__ACCESSING, V__PAGE] :
             ((s__instance(V__ACCESSING,s__AccessingWebPage) &
                 s__instance(V__PAGE,s__WebPage) &
                 s__patient(V__ACCESSING,V__PAGE)
               &
               s__component(V__PAGE,V__SITE)
             &
             s__agent(V__ACCESSING,V__VISITOR))))))))
)
)

UXExperimentalTerms.kif 1415-1423
( ! [V__VISITOR,V__SITE] :
   (((s__instance(V__VISITOR,s__Agent) &
         s__instance(V__SITE,s__WebSite))
       =>
       ((s__webVisitor(V__VISITOR,V__SITE)
         =>
         (( ? [V__ID, V__BROWSER] :
             ((s__instance(V__ID,s__Identifier) &
                 s__instance(V__BROWSER,s__WebBrowser) &
                 s__browserID(V__ID,V__BROWSER,V__SITE)
               &
               s__represents(V__ID,V__VISITOR))))))))
)
)

UXExperimentalTerms.kif 1406-1413

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


( ! [V__HUMAN,V__SITE] :
   (((s__instance(V__HUMAN,s__Human) &
         s__instance(V__SITE,s__WebSite))
       =>
       ((s__underageUser(V__HUMAN,V__SITE)
         =>
         (s__webVisitor(V__HUMAN,V__SITE)))))
)
)

UXExperimentalTerms.kif 1271-1273
No TPTP formula. May not be expressible in strict first order. 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 3.0 is open source software produced by Articulate Software and its partners