DefinitionA <Template> is a <ClassOfInformationRepresentation> and a <MultidimensionalObject> that is a set comprising of a first-order logic predicate for which a definition is stated as an axiom, a template signature and a template axiom expansion, as defined in ISO 15926-7