===================================== ThisIsAMathematicalFunctionDefinition ===================================== .. rubric:: Description A mathematical function definition is declared. The entity type ClassOfInformationRepresentation is given. .. rubric:: Definition A mathematical function definition (x1) is marked as such. .. image:: ThisIsAMathematicalFunctionDefinition.svg :: ThisIsAMathematicalFunctionDefinition(x1) <-> ClassOfInformationRepresentation(x1) . .. rubric:: Roles 1. hasThis .. rubric:: Restrictions Role filler of hasThis must have entity type ClassOfInformationRepresentation.