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


KB Term:  Term intersection
English Word: 

Sigma KEE - Identifier
Identifier(identifier)identifier

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


(subclass Identifier Name) Mid-level-ontology.kif 26833-26833 Identifier is a subclass of name
(documentation Identifier 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 26834-26838 Identifier is a subclass of name

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


(termFormat EnglishLanguage Identifier "identifier") Mid-level-ontology.kif 26839-26839
(subclass StandardIdentifier Identifier) Media.kif 2880-2880 Standard identifier is a subclass of identifier
(subclass FormalIdentifier Identifier) Media.kif 2882-2882 Formal identifier is a subclass of identifier
(subclass ProprietaryIdentifier Identifier) Media.kif 2948-2948 Proprietary identifier is a subclass of identifier
(subclass ProductID Identifier) Media.kif 2950-2950 Product iD is a subclass of identifier
(subclass PartyID Identifier) Media.kif 2967-2967 Party ID is a subclass of identifier
(subclass EmployeeNumber Identifier) Media.kif 2973-2973 Employee number is a subclass of identifier

appearance as argument number 3
-------------------------


(domain categoryID 1 Identifier) UXExperimentalTerms.kif 163-163 The number 1 argument of category identifier string is an instance of identifier
(domain browserID 1 Identifier) UXExperimentalTerms.kif 732-732 The number 1 argument of browser identifier string is an instance of identifier
(domain userIDString 1 Identifier) UXExperimentalTerms.kif 1089-1089 The number 1 argument of user identifier string is an instance of identifier
(domain experimentID 1 Identifier) UXExperimentalTerms.kif 4012-4012 The number 1 argument of experiment identifier string is an instance of identifier

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


(=>
    (instance ?ACCOUNT UserAccount)
    (exists (?STRING)
        (and
            (instance ?STRING Identifier)
            (userIDString ?STRING ?ACCOUNT))))		 UXExperimentalTerms.kif 1105-1110 If X is an instance of user account, then there exists Y such that Y is an instance of identifier and the ID for X is Y
(=>
    (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 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners