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


(documentation browserID 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 724-728
(domain browserID 1 Identifier) UXExperimentalTerms.kif 732-732 Le nombre 1 argument de browserID est une instance de Identifier
(domain browserID 2 WebBrowser) UXExperimentalTerms.kif 733-733 Le nombre 2 argument de browserID est une instance de WebBrowser
(domain browserID 3 WebSite) UXExperimentalTerms.kif 734-734 Le nombre 3 argument de browserID est une instance de WebSite
(instance browserID TernaryPredicate) UXExperimentalTerms.kif 722-722 browserID est une instance de pr�dicat ternaire

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


(format ChineseLanguage browserID "%1 是 %2 的 ID 当取用 %3 ") domainEnglishFormat.kif 2918-2918
(format ChineseTraditionalLanguage browserID "%1 是 %2 的 ID 當取用 %3 ") domainEnglishFormat.kif 2917-2917
(format EnglishLanguage browserID "%1 is the ID of %2 when accessing %3") domainEnglishFormat.kif 2916-2916
(termFormat EnglishLanguage browserID "browser identifier string") UXExperimentalTerms.kif 730-730

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


(=>
    (browserID ?STRING ?BROWSER ?SITE)
    (exists (?WEBPAGE ?ACCESSING ?AGENT ?BPROC)
        (and
            (instance ?WEBPAGE WebPage)
            (subString ?WEBPAGE ?SITE)
            (instance ?ACCESSING AccessingWebPage)
            (instance ?AGENT AutonomousAgent)
            (agent ?ACCESSING ?AGENT)
            (programRunning ?BPROC ?BROWSER)
            (causes ?BPROC ?ACCESSING)
            (destination ?ACCESSING ?WEBPAGE)
            (represents ?STRING ?AGENT))))		 UXExperimentalTerms.kif 736-748
(=>
    (browserID ?STRING ?BROWSER ?SITE)
    (modalAttribute
        (not
            (exists (?BROWSER2)
                (and
                    (instance ?BROWSER2 WebBrowser)
                    (browserID ?STRING ?BROWSER2 ?SITE)))) Likely))		 UXExperimentalTerms.kif 750-758

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


(=>
    (browserID ?STRING ?BROWSER ?SITE)
    (modalAttribute
        (not
            (exists (?BROWSER2)
                (and
                    (instance ?BROWSER2 WebBrowser)
                    (browserID ?STRING ?BROWSER2 ?SITE)))) Likely))		 UXExperimentalTerms.kif 750-758
(=>
    (webVisitor ?VISITOR ?SITE)
    (exists (?ID ?BROWSER)
        (and
            (instance ?ID Identifier)
            (instance ?BROWSER WebBrowser)
            (browserID ?ID ?BROWSER ?SITE)
            (represents ?ID ?VISITOR))))		 UXExperimentalTerms.kif 1209-1216


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