=== Base Template !ClassifiedIdentification === [[br]]This is a template for typed naming of things. [[br]] [[br]]!ClassifiedIdentification(a, b, c) means that b is a string and c a type of name assignment, and that b is a c-type name for a. [[br]] [[br]]Roles: [[br]]1 hasObject Thing [[br]]2 valIdentifier !ExpressString [[br]]3 hasContext !ClassOfClassOfIdentification Axiom: {{{ ClassifiedIdentification(x1, x2, x3) <-> Thing(x1) & ExpressString(x2) & ClassOfClassOfIdentification(x3) & exists u(ClassOfIdentificationTriple(u, x2, x1) & ClassificationTemplate(u, x3)) . }}} EXAMPLE The statement !ClassifiedIdentification(Alfred,PN4723, Employee No. ACME Co.) (e.g., an assignment of employee number) NOTE This template assigns names to things, and a type (a classifier) to the assignments themselves. An intended use is for the classifier to represent a context in which the name assignment is valid.