| Identifier | | identifier |
| appearance as argument number 1 |
|
|
| s__documentation(s__Identifier,s__EnglishLanguage,'"Identifier is the Class of ContentBearingObjects that identify some entity, such as a bank account, a person, or a location (e.g., as identified by a specific street address or GPS coordinates), perhaps uniquely under some circumstances."')
|
Mid-level-ontology.kif 22319-22323 | |
| s__subclass(s__Identifier,s__Name) s__instance(s__Identifier,s__SetOrClass) s__instance(s__Name,s__SetOrClass)
|
Mid-level-ontology.kif 22318-22318 | Identifier is a subclass of Name |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| s__domain(s__browserID__m,n__1,s__Identifier)
|
UXExperimentalTerms.kif 911-911 | The number 1 argument of browser identifier string is an instance of Identifier |
| s__domain(s__categoryID__m,n__1,s__Identifier)
|
UXExperimentalTerms.kif 205-205 | The number 1 argument of category identifier string is an instance of Identifier |
| s__domain(s__experimentID__m,n__1,s__Identifier)
|
UXExperimentalTerms.kif 4217-4217 | The number 1 argument of experiment identifier string is an instance of Identifier |
| s__domain(s__userIDString__m,n__1,s__Identifier)
|
UXExperimentalTerms.kif 1283-1283 | The number 1 argument of user identifier string is an instance of Identifier |
| consequent |
|
|
| ( ! [V__ACCOUNT] : (s__instance(V__ACCOUNT,s__UserAccount) => ( ? [V__STRING] : ((s__instance(V__STRING,s__Identifier) & s__userIDString(V__STRING,V__ACCOUNT)))) ) )
|
UXExperimentalTerms.kif 1299-1304 |
|
| ( ! [V__VISITOR,V__SITE] : ((s__instance(V__VISITOR,s__Agent) & s__instance(V__SITE,s__WebSite)) => s__webVisitor(V__VISITOR,V__SITE) => ( ? [V__ID, V__BROWSER] : ((s__instance(V__ID,s__Identifier) & s__instance(V__BROWSER,s__WebBrowser) & s__browserID(V__ID,V__BROWSER,V__SITE) & s__represents(V__ID,V__VISITOR)))) ) )
|
UXExperimentalTerms.kif 1403-1410 |
|
|
|
|