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

Formal Language: 



KB Term:  Term intersection
English Word: 

  browserID

Sigma KEE - browserID
browserID

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


s__documentation(s__browserID__m,s__EnglishLanguage,'"Machine identifier based on browser cookies. (browserID ?STRING ?BROWSER ?SITE) means that ?STRING is the Identifier of the Agent of AccessingWebPage of a Webpage which is a component of ?SITE, where ?BROWSER was the instrument of the accessing. i.e. ?STRING represents the users who use the browser to access the site while the string is stored in the browser. browserIDs are highly likely to be unique."')

UXExperimentalTerms.kif 907-911
s__domain(s__browserID__m,n__1,s__Identifier)

UXExperimentalTerms.kif 915-915 The number 1 argument of browser identifier string is an instance of Identifier
s__domain(s__browserID__m,n__2,s__WebBrowser)

UXExperimentalTerms.kif 917-917 The number 2 argument of browser identifier string is an instance of web browser
s__domain(s__browserID__m,n__3,s__WebSite)

UXExperimentalTerms.kif 919-919 The number 3 argument of browser identifier string is an instance of WebSite
s__instance(s__browserID__m,s__TernaryPredicate)

s__instance(s__TernaryPredicate,s__Class)

UXExperimentalTerms.kif 905-905 browser identifier string is an instance of ternary predicate

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


s__format(s__ChineseLanguage,s__browserID__m,'"%1 是 %2 的 ID 当取用 %3 "')

domainEnglishFormat.kif 2927-2927
s__format(s__ChineseTraditionalLanguage,s__browserID__m,'"%1 是 %2 的 ID 當取用 %3 "')

domainEnglishFormat.kif 2926-2926
s__format(s__EnglishLanguage,s__browserID__m,'"%1 is the ID of %2 when accessing %3"')

domainEnglishFormat.kif 2925-2925
s__termFormat(s__EnglishLanguage,s__browserID__m,'"browser identifier string"')

UXExperimentalTerms.kif 913-913

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


( ! [V__STRING,V__SITE,V__BROWSER] :
   (((s__instance(V__STRING,s__Identifier) &
         s__instance(V__SITE,s__WebSite) &
         s__instance(V__BROWSER,s__WebBrowser) &
         s__instance(V__BROWSER,s__Object))
       =>
       ((s__browserID(V__STRING,V__BROWSER,V__SITE)
         =>
         (( ? [V__WEBPAGE, V__ACCESSING, V__AGENT] :
             ((s__instance(V__WEBPAGE,s__WebPage) &
                 s__component(V__WEBPAGE,V__SITE)
               &
               s__instance(V__ACCESSING,s__AccessingWebPage) &
               s__instance(V__AGENT,s__Agent) &
               s__agent(V__ACCESSING,V__AGENT)
             &
             s__instrument(V__ACCESSING,V__BROWSER)
           &
           s__destination(V__ACCESSING,V__WEBPAGE)
         &
         s__represents(V__STRING,V__AGENT))))))))
)
)

UXExperimentalTerms.kif 921-932
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 934-942

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 934-942
( ! [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


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