Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  exploits

 Sigma KEE - browserID
browserID

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


(instance browserID TernaryPredicate) UXExperimentalTerms.kif 722-722 browser identifier string is an instance of ternary predicate
(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 browser identifier string is an instance of ternary predicate
(domain browserID 1 Identifier) UXExperimentalTerms.kif 732-732 The number 1 argument of browser identifier string is an instance of identifier
(domain browserID 2 WebBrowser) UXExperimentalTerms.kif 733-733 The number 2 argument of browser identifier string is an instance of web browser
(domain browserID 3 WebSite) UXExperimentalTerms.kif 734-734 The number 3 argument of browser identifier string is an instance of web site

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


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

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 If X is the ID of Y when accessing Z, then All of the following hold: (1) there exist W, V,, , U (2) T such that W is an instance of web page (3) W is a sub-string of Z (4) V is an instance of accessing web page (5) U is an instance of agent (6) U is an agent of V (7) Y is a program running of T (8) T causes V (9) V ends up at W (10) X expresses U
(=>
    (browserID ?STRING ?BROWSER ?SITE)
    (modalAttribute
        (not
            (exists (?BROWSER2)
                (and
                    (instance ?BROWSER2 WebBrowser)
                    (browserID ?STRING ?BROWSER2 ?SITE)))) Likely))		 UXExperimentalTerms.kif 750-758 If X is the ID of Y when accessing Z, then the statement there doesn't exist W such that W is an instance of web browser and X is the ID of W when accessing Z has the modal force of likely

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


(=>
    (browserID ?STRING ?BROWSER ?SITE)
    (modalAttribute
        (not
            (exists (?BROWSER2)
                (and
                    (instance ?BROWSER2 WebBrowser)
                    (browserID ?STRING ?BROWSER2 ?SITE)))) Likely))		 UXExperimentalTerms.kif 750-758 If X is the ID of Y when accessing Z, then the statement there doesn't exist W such that W is an instance of web browser and X is the ID of W when accessing Z has the modal force of likely
(=>
    (webVisitor ?VISITOR ?SITE)
    (exists (?ID ?BROWSER)
        (and
            (instance ?ID Identifier)
            (instance ?BROWSER WebBrowser)
            (browserID ?ID ?BROWSER ?SITE)
            (represents ?ID ?VISITOR))))		 UXExperimentalTerms.kif 1209-1216 If X is a visitor to Y, then there exist Z, W such that Z is an instance of identifier, W is an instance of web browser, Z is the ID of W when accessing Y, and Z expresses X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners