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