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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Identifier
Identifier

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 24005-24009
(subclass Identifier Name) Mid-level-ontology.kif 24004-24004 subclass Identifier and Name

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


(subclass EmployeeNumber Identifier) Media.kif 3012-3012 subclass EmployeeNumber and Identifier
(subclass FormalIdentifier Identifier) Media.kif 2921-2921 subclass FormalIdentifier and Identifier
(subclass PartyID Identifier) Media.kif 3006-3006 subclass PartyID and Identifier
(subclass ProductID Identifier) Media.kif 2989-2989 subclass ProductID and Identifier
(subclass ProprietaryIdentifier Identifier) Media.kif 2987-2987 subclass ProprietaryIdentifier and Identifier
(subclass StandardIdentifier Identifier) Media.kif 2919-2919 subclass StandardIdentifier and Identifier

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


(domain browserID 1 Identifier) UXExperimentalTerms.kif 915-915 domain browserID, 1 and Identifier
(domain categoryID 1 Identifier) UXExperimentalTerms.kif 205-205 domain categoryID, 1 and Identifier
(domain experimentID 1 Identifier) UXExperimentalTerms.kif 4224-4224 domain experimentID, 1 and Identifier
(domain userIDString 1 Identifier) UXExperimentalTerms.kif 1286-1286 domain userIDString, 1 and 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 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