| 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 907-911 | |
| (domain browserID 1 Identifier) | UXExperimentalTerms.kif 915-915 | The number 1 argument of browser identifier string is an instance of identifier |
| (domain browserID 2 WebBrowser) | UXExperimentalTerms.kif 917-917 | The number 2 argument of browser identifier string is an instance of web browser |
| (domain browserID 3 WebSite) | UXExperimentalTerms.kif 919-919 | The number 3 argument of browser identifier string is an instance of web site |
| (instance browserID TernaryPredicate) | UXExperimentalTerms.kif 905-905 | browser identifier string is an instance of ternary predicate |
| 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 913-913 |
| antecedent |
|
|
| (=> (browserID ?STRING ?BROWSER ?SITE) (exists (?WEBPAGE ?ACCESSING ?AGENT) (and (instance ?WEBPAGE WebPage) (component ?WEBPAGE ?SITE) (instance ?ACCESSING AccessingWebPage) (instance ?AGENT AutonomousAgent) (agent ?ACCESSING ?AGENT) (instrument ?ACCESSING ?BROWSER) (destination ?ACCESSING ?WEBPAGE) (represents ?STRING ?AGENT)))) |
UXExperimentalTerms.kif 921-932 |
|
| (=> (browserID ?STRING ?BROWSER ?SITE) (modalAttribute (not (exists (?BROWSER2) (and (instance ?BROWSER2 WebBrowser) (browserID ?STRING ?BROWSER2 ?SITE)))) Likely)) |
UXExperimentalTerms.kif 934-942 |
|
| consequent |
|
|
| (=> (browserID ?STRING ?BROWSER ?SITE) (modalAttribute (not (exists (?BROWSER2) (and (instance ?BROWSER2 WebBrowser) (browserID ?STRING ?BROWSER2 ?SITE)))) Likely)) |
UXExperimentalTerms.kif 934-942 |
|
| (=> (webVisitor ?VISITOR ?SITE) (exists (?ID ?BROWSER) (and (instance ?ID Identifier) (instance ?BROWSER WebBrowser) (browserID ?ID ?BROWSER ?SITE) (represents ?ID ?VISITOR)))) |
UXExperimentalTerms.kif 1406-1413 |
|
|
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 3.0 is open source software produced by Articulate Software and its partners