ThisIsAMathematicalFunction

Description

A mathematical function is declared. The entity type ClassOfFunctionalMapping is given.

Definition

A mathematical function (x1) is marked as such.

../../_images/ThisIsAMathematicalFunction.svg
ThisIsAMathematicalFunction(x1) <->
    ClassOfFunctionalMapping(x1) .

Roles

  1. hasThis

Restrictions

Role filler of hasThis must have entity type ClassOfFunctionalMapping.