SWEET Ontology Representation Mathematics Operation

Classes ↑

area integral
biharmonic
binary operation
cross product
definite integral
derivative
difference
differentiation
division
dot product
double
fraction
gradient
half
indefinite integral
inflection point
integral
integration
laplacian
line integral
logarithm
mathematical process
multiple integral
multiplication
normalization
operation
operation on function
partial derivative
product
quotient
ratio
saddle point
scalar field operation
scalar valued operation
slope
square
square root
subtraction
sum
summation
surface integral
tensor field operation
ternary operation
unary operation
vector field operation
vector valued operation
volume integral

area integral^c

URI	`http://sweetontology.net/reprMathOperation/AreaIntegral`
Super-classes	sorepmo:MultipleIntegral^c

biharmonic^c

URI	`http://sweetontology.net/reprMathOperation/Biharmonic`
Super-classes	sorepmo:VectorFieldOperation^c

binary operation^c

URI	`http://sweetontology.net/reprMathOperation/BinaryOperation`
Super-classes	sorepmo:Operation^c
Restrictions	sorelm:hasInput only sorepm:OrderedPair^c
Sub-classes	sorepmo:Division^c sorepmo:Subtraction^c sorepmo:Summation^c sorepmo:Multiplication^c

cross product^c

URI	`http://sweetontology.net/reprMathOperation/CrossProduct`
Super-classes	sorepmo:Product^c sorepmo:VectorValuedOperation^c sorepmo:VectorFieldOperation^c

definite integral^c

URI	`http://sweetontology.net/reprMathOperation/DefiniteIntegral`
Super-classes	sorepmo:Integral^c
Restrictions	sorelm:hasInterval^op exactly 1

derivative^c

URI	`http://sweetontology.net/reprMathOperation/Derivative`
Super-classes	sorepmo:OperationOnFunction^c
Restrictions	sorelm:isDerivativeOf only sorepmf:Function^c sorelm:derivativeWithRespectTo only sorepm:Variable^c sorelm:hasOutput only sorepmf:Function^c
Sub-classes	sorepmo:Slope^c sorepmo:PartialDerivative^c sorepmo:Gradient^c

difference^c

URI	`http://sweetontology.net/reprMathOperation/Difference`

differentiation^c

URI	`http://sweetontology.net/reprMathOperation/Differentiation`

division^c

URI	`http://sweetontology.net/reprMathOperation/Division`
Super-classes	sorepmo:BinaryOperation^c
Sub-classes	sorepmo:Ratio^c sorepmo:Fraction^c

dot product^c

URI	`http://sweetontology.net/reprMathOperation/DotProduct`
Super-classes	sorepmo:VectorFieldOperation^c sorepmo:ScalarValuedOperation^c sorepmo:Product^c

double^c

URI	`http://sweetontology.net/reprMathOperation/Double`
Super-classes	sorepmo:UnaryOperation^c

fraction^c

URI	`http://sweetontology.net/reprMathOperation/Fraction`
Super-classes	sorepmo:Division^c

gradient^c

URI	`http://sweetontology.net/reprMathOperation/Gradient`
Super-classes	sorepmo:VectorValuedOperation^c sorepmo:Derivative^c

half^c

URI	`http://sweetontology.net/reprMathOperation/Half`
Super-classes	sorepmo:UnaryOperation^c

indefinite integral^c

URI	`http://sweetontology.net/reprMathOperation/IndefiniteIntegral`
Super-classes	sorepmo:Integral^c
Restrictions	sorelm:hasInterval^op exactly 0

inflection point^c

URI	`http://sweetontology.net/reprMathOperation/InflectionPoint`
Super-classes	sorepmo:Operation^c

integral^c

URI	`http://sweetontology.net/reprMathOperation/Integral`
Super-classes	sorepmo:OperationOnFunction^c
Restrictions	sorelm:withRespectTo^op exactly 1 sorelm:hasFunction^op exactly 1
Sub-classes	sorepmo:LineIntegral^c sorepmo:DefiniteIntegral^c sorepmo:IndefiniteIntegral^c

integration^c

URI	`http://sweetontology.net/reprMathOperation/Integration`

laplacian^c

URI	`http://sweetontology.net/reprMathOperation/Laplacian`
Super-classes	sorepmo:VectorFieldOperation^c

line integral^c

URI	`http://sweetontology.net/reprMathOperation/LineIntegral`
Super-classes	sorepmo:Integral^c

logarithm^c

URI	`http://sweetontology.net/reprMathOperation/Logarithm`
Super-classes	sorepmo:UnaryOperation^c

mathematical process^c

URI	`http://sweetontology.net/reprMathOperation/MathematicalProcess`
Super-classes	soproc:Process^c
Sub-classes	sorepmo:Operation^c

multiple integral^c

URI	`http://sweetontology.net/reprMathOperation/MultipleIntegral`
Super-classes	sorepmo:OperationOnFunction^c
Restrictions	sorelm:hasFunction^op some sorepmo:Integral^c
Sub-classes	sorepmo:AreaIntegral^c sorepmo:VolumeIntegral^c sorepmo:SurfaceIntegral^c

multiplication^c

URI	`http://sweetontology.net/reprMathOperation/Multiplication`
Super-classes	sorepmo:BinaryOperation^c

normalization^c

URI	`http://sweetontology.net/reprMathOperation/Normalization`
Super-classes	sorepmo:Operation^c

operation^c

URI	`http://sweetontology.net/reprMathOperation/Operation`
Super-classes	sorepmo:MathematicalProcess^c
Sub-classes	sorepmo:OperationOnFunction^c sorepmo:BinaryOperation^c sorepmo:SaddlePoint^c sorepmo:InflectionPoint^c sorepmo:UnaryOperation^c sorepmo:Normalization^c sorepmo:TernaryOperation^c

operation on function^c

URI	`http://sweetontology.net/reprMathOperation/OperationOnFunction`
Super-classes	sorepmo:Operation^c
Restrictions	sorelm:hasInput only sorepmf:Function^c
Sub-classes	sorepmo:VectorValuedOperation^c sorepmo:ScalarFieldOperation^c sorepmo:Derivative^c sorepmo:TensorFieldOperation^c sorepmo:ScalarValuedOperation^c sorepmo:VectorFieldOperation^c sorepmo:MultipleIntegral^c sorepmo:Integral^c

partial derivative^c

URI	`http://sweetontology.net/reprMathOperation/PartialDerivative`
Super-classes	sorepmo:VectorFieldOperation^c sorepmo:Derivative^c

product^c

URI	`http://sweetontology.net/reprMathOperation/Product`
Sub-classes	sorepmo:CrossProduct^c sorepmo:DotProduct^c

quotient^c

URI	`http://sweetontology.net/reprMathOperation/Quotient`

ratio^c

URI	`http://sweetontology.net/reprMathOperation/Ratio`
Super-classes	sorepmo:Division^c

saddle point^c

URI	`http://sweetontology.net/reprMathOperation/SaddlePoint`
Super-classes	sorepmo:Operation^c

scalar field operation^c

URI	`http://sweetontology.net/reprMathOperation/ScalarFieldOperation`
Super-classes	sorepmo:OperationOnFunction^c
Restrictions	sorelm:hasInput only sorepmf:ScalarField^c

scalar valued operation^c

URI	`http://sweetontology.net/reprMathOperation/ScalarValuedOperation`
Super-classes	sorepmo:OperationOnFunction^c
Restrictions	sorelm:hasOutput only sorepmf:ScalarField^c
Sub-classes	sorepmo:DotProduct^c

slope^c

URI	`http://sweetontology.net/reprMathOperation/Slope`
Super-classes	sorepmo:Derivative^c

square^c

URI	`http://sweetontology.net/reprMathOperation/Square`
Super-classes	sorepmo:UnaryOperation^c

square root^c

URI	`http://sweetontology.net/reprMathOperation/SquareRoot`
Super-classes	sorepmo:UnaryOperation^c

subtraction^c

URI	`http://sweetontology.net/reprMathOperation/Subtraction`
Super-classes	sorepmo:BinaryOperation^c

sum^c

URI	`http://sweetontology.net/reprMathOperation/Sum`

summation^c

URI	`http://sweetontology.net/reprMathOperation/Summation`
Super-classes	sorepmo:BinaryOperation^c

surface integral^c

URI	`http://sweetontology.net/reprMathOperation/SurfaceIntegral`
Super-classes	sorepmo:MultipleIntegral^c

tensor field operation^c

URI	`http://sweetontology.net/reprMathOperation/TensorFieldOperation`
Super-classes	sorepmo:OperationOnFunction^c
Restrictions	sorelm:hasInput only sorepmf:TensorField^c

ternary operation^c

URI	`http://sweetontology.net/reprMathOperation/TernaryOperation`
Super-classes	sorepmo:Operation^c
Restrictions	sorelm:hasInput only sorepm:OrderedTriple^c

unary operation^c

URI	`http://sweetontology.net/reprMathOperation/UnaryOperation`
Super-classes	sorepmo:Operation^c
Restrictions	sorelm:hasInput only sorepm:Scalar^c
Sub-classes	sorepmo:SquareRoot^c sorepmo:Half^c sorepmo:Logarithm^c sorepmo:Double^c sorepmo:Square^c

vector field operation^c

URI	`http://sweetontology.net/reprMathOperation/VectorFieldOperation`
Super-classes	sorepmo:OperationOnFunction^c
Restrictions	sorelm:hasInput only sorepmf:VectorField^c
Sub-classes	sorepmo:Biharmonic^c sorepmo:DotProduct^c sorepmo:Laplacian^c sorepmo:PartialDerivative^c sorepmo:CrossProduct^c

vector valued operation^c

URI	`http://sweetontology.net/reprMathOperation/VectorValuedOperation`
Super-classes	sorepmo:OperationOnFunction^c
Restrictions	sorelm:hasOutput only sorepmf:VectorField^c
Sub-classes	sorepmo:Gradient^c sorepmo:CrossProduct^c

volume integral^c

URI	`http://sweetontology.net/reprMathOperation/VolumeIntegral`
Super-classes	sorepmo:MultipleIntegral^c

^c	Classes
^op	Object Properties
^fp	Functional Properties
^dp	Data Properties
^dp	Annotation Properties
^p	Properties
ⁿⁱ	Named Individuals

SWEET Ontology Representation Mathematics Operation

Metadata

Table of Contents

Overview

Classes ↑

area integralc

biharmonicc

binary operationc

cross productc

definite integralc

derivativec

differencec

differentiationc

divisionc

dot productc

doublec

fractionc

gradientc

halfc

indefinite integralc

inflection pointc

integralc

integrationc

laplacianc

line integralc

logarithmc

mathematical processc

multiple integralc

multiplicationc

normalizationc

operationc

operation on functionc

partial derivativec

productc

quotientc

ratioc

saddle pointc

scalar field operationc

scalar valued operationc

slopec

squarec

square rootc

subtractionc

sumc

summationc

surface integralc

tensor field operationc

ternary operationc

unary operationc

vector field operationc

vector valued operationc

volume integralc

Object Properties ↑

hasFunctionop

hasIntervalop

withRespectToop

Named Individuals ↑

Namespaces ↑

Legend

area integral^c

biharmonic^c

binary operation^c

cross product^c

definite integral^c

derivative^c

difference^c

differentiation^c

division^c

dot product^c

double^c

fraction^c

gradient^c

half^c

indefinite integral^c

inflection point^c

integral^c

integration^c

laplacian^c

line integral^c

logarithm^c

mathematical process^c

multiple integral^c

multiplication^c

normalization^c

operation^c

operation on function^c

partial derivative^c

product^c

quotient^c

ratio^c

saddle point^c

scalar field operation^c

scalar valued operation^c

slope^c

square^c

square root^c

subtraction^c

sum^c

summation^c

surface integral^c

tensor field operation^c

ternary operation^c

unary operation^c

vector field operation^c

vector valued operation^c

volume integral^c

hasFunction^op

hasInterval^op

withRespectTo^op