=== Base Template !ClassifiedDescription ===

[[br]]This is a template for typed description of things. 
[[br]]
[[br]]!ClassifiedDescription(a, b, c) means that b is a string (or any !ClassOfInformationRepresentation) and c a type of description assignment, and that b is a c-type description for a. 
[[br]]
[[br]]Roles: 
[[br]]1 hasObject Thing 
[[br]]2 hasDescription !ClassOfInformationRepresentation 
[[br]]3 hasContext !ClassOfClassOfDescription 

Axiom: 
{{{
ClassifiedDescription(x1, x2, x3) <-> 
Thing(x1) & 
ClassOfInformationRepresentation(x2) & 
ClassOfClassOfDescription(x3) & 
exists u(ClassOfDescriptionTriple(u, x2, x1) & 
ClassificationTemplate(u, x3)) . 
}}}

EXAMPLE The statement !ClassifiedDescription(Activity123,'DELIVERY OF 3TQ10W01', XYZ Company Activity Description)