Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Identifier

Sigma KEE - Identifier
Identifieridentifier

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


(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 23888-23892
(subclass Identifier Name) Mid-level-ontology.kif 23887-23887 Identifier is a subclass of Name

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


(subclass EmployeeNumber Identifier) Media.kif 3014-3014 EmployeeNumber is a subclass of Identifier
(subclass FormalIdentifier Identifier) Media.kif 2923-2923 FormalIdentifier is a subclass of Identifier
(subclass PartyID Identifier) Media.kif 3008-3008 PartyID is a subclass of Identifier
(subclass ProductID Identifier) Media.kif 2991-2991 ProductID is a subclass of Identifier
(subclass ProprietaryIdentifier Identifier) Media.kif 2989-2989 ProprietaryIdentifier is a subclass of Identifier
(subclass StandardIdentifier Identifier) Media.kif 2921-2921 StandardIdentifier is a subclass of Identifier

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


(domain browserID 1 Identifier) UXExperimentalTerms.kif 915-915 The number 1 argument of browser identifier string is an instance of Identifier
(domain categoryID 1 Identifier) UXExperimentalTerms.kif 205-205 The number 1 argument of category identifier string is an instance of Identifier
(domain experimentID 1 Identifier) UXExperimentalTerms.kif 4222-4222 The number 1 argument of experiment identifier string is an instance of Identifier
(domain userIDString 1 Identifier) UXExperimentalTerms.kif 1286-1286 The number 1 argument of user identifier string is an instance of Identifier

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


(=>
    (instance ?ACCOUNT UserAccount)
    (exists (?STRING)
        (and
            (instance ?STRING Identifier)
            (userIDString ?STRING ?ACCOUNT))))
UXExperimentalTerms.kif 1302-1307
(=>
    (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 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 is open source software produced by Articulate Software and its partners