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 22344-22348
(subclass Identifier Name) Mid-level-ontology.kif 22343-22343 IdentifierNamesubclass

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


(subclass EmployeeNumber Identifier) Media.kif 2996-2996 EmployeeNumberIdentifiersubclass
(subclass FormalIdentifier Identifier) Media.kif 2905-2905 FormalIdentifierIdentifiersubclass
(subclass PartyID Identifier) Media.kif 2990-2990 PartyIDIdentifiersubclass
(subclass ProductID Identifier) Media.kif 2973-2973 ProductIDIdentifiersubclass
(subclass ProprietaryIdentifier Identifier) Media.kif 2971-2971 ProprietaryIdentifierIdentifiersubclass
(subclass StandardIdentifier Identifier) Media.kif 2903-2903 StandardIdentifierIdentifiersubclass

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


(domain browserID 1 Identifier) UXExperimentalTerms.kif 911-911 browserID 的 1 数量 是 Identifierinstance
(domain categoryID 1 Identifier) UXExperimentalTerms.kif 205-205 categoryID 的 1 数量 是 Identifierinstance
(domain experimentID 1 Identifier) UXExperimentalTerms.kif 4217-4217 experimentID 的 1 数量 是 Identifierinstance
(domain userIDString 1 Identifier) UXExperimentalTerms.kif 1283-1283 userIDString 的 1 数量 是 Identifierinstance

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


(=>
    (instance ?ACCOUNT UserAccount)
    (exists (?STRING)
        (and
            (instance ?STRING Identifier)
            (userIDString ?STRING ?ACCOUNT))))
UXExperimentalTerms.kif 1299-1304
(=>
    (webVisitor ?VISITOR ?SITE)
    (exists (?ID ?BROWSER)
        (and
            (instance ?ID Identifier)
            (instance ?BROWSER WebBrowser)
            (browserID ?ID ?BROWSER ?SITE)
            (represents ?ID ?VISITOR))))
UXExperimentalTerms.kif 1403-1410


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