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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 903-907
(domain browserID 1 Identifier) UXExperimentalTerms.kif 911-911
(domain browserID 2 WebBrowser) UXExperimentalTerms.kif 913-913
(domain browserID 3 WebSite) UXExperimentalTerms.kif 915-915
(instance browserID TernaryPredicate) UXExperimentalTerms.kif 901-901

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


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

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


(=>
    (browserID ?STRING ?BROWSER ?SITE)
    (exists (?WEBPAGE ?ACCESSING ?AGENT)
        (and
            (instance ?WEBPAGE WebPage)
            (component ?WEBPAGE ?SITE)
            (instance ?ACCESSING AccessingWebPage)
            (instance ?AGENT Agent)
            (agent ?ACCESSING ?AGENT)
            (instrument ?ACCESSING ?BROWSER)
            (destination ?ACCESSING ?WEBPAGE)
            (represents ?STRING ?AGENT))))
UXExperimentalTerms.kif 917-928
(=>
    (browserID ?STRING ?BROWSER ?SITE)
    (modalAttribute
        (not
            (exists (?BROWSER2)
                (and
                    (instance ?BROWSER2 WebBrowser)
                    (browserID ?STRING ?BROWSER2 ?SITE)))) Likely))
UXExperimentalTerms.kif 930-938

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


(=>
    (browserID ?STRING ?BROWSER ?SITE)
    (modalAttribute
        (not
            (exists (?BROWSER2)
                (and
                    (instance ?BROWSER2 WebBrowser)
                    (browserID ?STRING ?BROWSER2 ?SITE)))) Likely))
UXExperimentalTerms.kif 930-938
(=>
    (webVisitor ?VISITOR ?SITE)
    (exists (?ID ?BROWSER)
        (and
            (instance ?ID Identifier)
            (instance ?BROWSER WebBrowser)
            (browserID ?ID ?BROWSER ?SITE)
            (represents ?ID ?VISITOR))))
UXExperimentalTerms.kif 1403-1410


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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