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 24592-24596
(subclass Identifier Name) Mid-level-ontology.kif 24591-24591 Identifier ist eine teilkategorie von Name

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


(subclass EmployeeNumber Identifier) Media.kif 3026-3026 EmployeeNumber ist eine teilkategorie von Identifier
(subclass FormalIdentifier Identifier) Media.kif 2935-2935 FormalIdentifier ist eine teilkategorie von Identifier
(subclass PartyID Identifier) Media.kif 3020-3020 PartyID ist eine teilkategorie von Identifier
(subclass ProductID Identifier) Media.kif 3003-3003 ProductID ist eine teilkategorie von Identifier
(subclass ProprietaryIdentifier Identifier) Media.kif 3001-3001 ProprietaryIdentifier ist eine teilkategorie von Identifier
(subclass StandardIdentifier Identifier) Media.kif 2933-2933 StandardIdentifier ist eine teilkategorie von Identifier
(termFormat EnglishLanguage Identifier "identifier") Mid-level-ontology.kif 24597-24597

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


(domain browserID 1 Identifier) UXExperimentalTerms.kif 732-732 Die Zahl 1 Argument von browserID ist ein fall von Identifier %n{nicht}
(domain categoryID 1 Identifier) UXExperimentalTerms.kif 163-163 Die Zahl 1 Argument von categoryID ist ein fall von Identifier %n{nicht}
(domain experimentID 1 Identifier) UXExperimentalTerms.kif 4015-4015 Die Zahl 1 Argument von experimentID ist ein fall von Identifier %n{nicht}
(domain userIDString 1 Identifier) UXExperimentalTerms.kif 1089-1089 Die Zahl 1 Argument von userIDString ist ein fall von Identifier %n{nicht}

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


(=>
    (instance ?ACCOUNT UserAccount)
    (exists (?STRING)
        (and
            (instance ?STRING Identifier)
            (userIDString ?STRING ?ACCOUNT))))
UXExperimentalTerms.kif 1105-1110
(=>
    (webVisitor ?VISITOR ?SITE)
    (exists (?ID ?BROWSER)
        (and
            (instance ?ID Identifier)
            (instance ?BROWSER WebBrowser)
            (browserID ?ID ?BROWSER ?SITE)
            (represents ?ID ?VISITOR))))
UXExperimentalTerms.kif 1209-1216


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