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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Identifier

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 24615-24619
(subclass Identifier Name) Mid-level-ontology.kif 24614-24614 IdentifierNamesubclass

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


(subclass EmployeeNumber Identifier) Media.kif 3026-3026 EmployeeNumberIdentifiersubclass
(subclass FormalIdentifier Identifier) Media.kif 2935-2935 FormalIdentifierIdentifiersubclass
(subclass PartyID Identifier) Media.kif 3020-3020 PartyIDIdentifiersubclass
(subclass ProductID Identifier) Media.kif 3003-3003 ProductIDIdentifiersubclass
(subclass ProprietaryIdentifier Identifier) Media.kif 3001-3001 ProprietaryIdentifierIdentifiersubclass
(subclass StandardIdentifier Identifier) Media.kif 2933-2933 StandardIdentifierIdentifiersubclass
(termFormat EnglishLanguage Identifier "identifier") Mid-level-ontology.kif 24620-24620

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


(domain browserID 1 Identifier) UXExperimentalTerms.kif 915-915 browserID 的 1 数量 是 Identifierinstance
(domain categoryID 1 Identifier) UXExperimentalTerms.kif 205-205 categoryID 的 1 数量 是 Identifierinstance
(domain experimentID 1 Identifier) UXExperimentalTerms.kif 4221-4221 experimentID 的 1 数量 是 Identifierinstance
(domain userIDString 1 Identifier) UXExperimentalTerms.kif 1286-1286 userIDString 的 1 数量 是 Identifierinstance

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