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 | browserID の数値 1 引数は Identifier の instance では %n |
(domain browserID 2 WebBrowser) | UXExperimentalTerms.kif 733-733 | browserID の数値 2 引数は WebBrowser の instance では %n |
(domain browserID 3 WebSite) | UXExperimentalTerms.kif 734-734 | browserID の数値 3 引数は WebSite の instance では %n |
(instance browserID TernaryPredicate) | UXExperimentalTerms.kif 722-722 | browserID は 3進述語 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage browserID "%1 是 %2 的 ID 当取用 %3 ") | domainEnglishFormat.kif 2926-2926 | |
(format ChineseTraditionalLanguage browserID "%1 是 %2 的 ID 當取用 %3 ") | domainEnglishFormat.kif 2925-2925 | |
(format EnglishLanguage browserID "%1 is the ID of %2 when accessing %3") | domainEnglishFormat.kif 2924-2924 | |
(termFormat EnglishLanguage browserID "browser identifier string") | UXExperimentalTerms.kif 730-730 |
antecedent |
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 |
|