Base Template ClassifiedDescription
This is a template for typed description of things.
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.
Roles:
1 hasObject Thing
2 hasDescription ClassOfInformationRepresentation
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)