Deductions
- type of mathematical function has quality abstract entity ⇐ (property is a abstract entity), (type of mathematical function has quality property)
- second-order class is for example type of mathematical function ⇐ (type of mathematical function is a second-order class), (is a is inverse of is for example)
- type of mathematical function has quality entity ⇐ (property is a entity), (type of mathematical function has quality property)
- type of mathematical function has quality class ⇐ (type of property is subclass of class), (type of mathematical function has quality type of property)
- type of mathematical function has quality property ⇐ (type of mathematical function is subclass of type), (type has quality property)
- type of mathematical function has quality criterion ⇐ (type of mathematical function is subclass of type), (type has quality criterion)
- type of mathematical function has quality type of property ⇐ (type of mathematical function is subclass of type), (type has quality type of property)
- type of mathematical function has quality quality ⇐ (type of mathematical function is subclass of type), (type has quality quality)
- type of mathematical function has quality class ⇐ (type of mathematical function is subclass of type), (type has quality class)
- type of mathematical function has quality existence ⇐ (type of mathematical function is subclass of type), (type has quality existence)
- type of mathematical function is for example power function ⇐ (power function is a type of mathematical function), (is a is inverse of is for example)