SWEET Ontology Relationships Mathematical

Classes ↑

Coordinate^c

URI	`http://sweetontology.net/repr/Coordinate`
In range of	sorelm:coordinate_4^op sorelm:coordinate_1^op sorelm:coordinate_2^op sorelm:coordinate_3^op

Coordinates^c

URI	`http://sweetontology.net/repr/Coordinates`
In range of	sorelm:hasCoordinates^op

Representation^c

URI	`http://sweetontology.net/repr/Representation`
In range of	sorelm:hasRepresentation^op

Scale^c

URI	`http://sweetontology.net/repr/Scale`
In range of	sorelm:hasScale^op

Interval^c

URI	`http://sweetontology.net/reprMath/Interval`
In range of	sorelm:hasInterval^op

NumericalEntity^c

URI	`http://sweetontology.net/reprMath/NumericalEntity`
In range of	sorelm:hasInput^op sorelm:hasOutput^op sorelm:hasOperand^op sorelm:eachElementHasType^op

OrderedPair^c

URI	`http://sweetontology.net/reprMath/OrderedPair`
In range of	sorelm:hasOrderedPair^op

Seq^c

URI	`http://sweetontology.net/reprMath/Seq`
In domain of	sorelm:hasAverage^op

Set^c

URI	`http://sweetontology.net/reprMath/Set`
In range of	sorelm:setRelation^op

UnorderedPair^c

URI	`http://sweetontology.net/reprMath/UnorderedPair`
In range of	sorelm:hasUnorderedPair^op

Variable^c

URI	`http://sweetontology.net/reprMath/Variable`
In range of	sorelm:withRespectTo^op

BasisFunction^c

URI	`http://sweetontology.net/reprMathFunction/BasisFunction`
In range of	sorelm:hasBasisFunction^op

Field^c

URI	`http://sweetontology.net/reprMathFunction/Field`
In range of	sorelm:hasField^op

Function^c

URI	`http://sweetontology.net/reprMathFunction/Function`
In range of	sorelm:hasFunction^op

Arc^c

URI	`http://sweetontology.net/reprMathGraph/Arc`
In range of	sorelm:hasArc^op

Edge^c

URI	`http://sweetontology.net/reprMathGraph/Edge`
In range of	sorelm:hasEdge^op

OrderedVertexPair^c

URI	`http://sweetontology.net/reprMathGraph/OrderedVertexPair`
In range of	sorelm:hasOrderedVertexPair^op

UnorderedVertexPair^c

URI	`http://sweetontology.net/reprMathGraph/UnorderedVertexPair`
In range of	sorelm:hasUnorderedVertexPair^op

Vertex^c

URI	`http://sweetontology.net/reprMathGraph/Vertex`
In range of	sorelm:hasVertex^op

WeightedEdge^c

URI	`http://sweetontology.net/reprMathGraph/WeightedEdge`
In range of	sorelm:hasWeightedEdge^op

Difference^c

URI	`http://sweetontology.net/reprMathOperation/Difference`
In range of	sorelm:minus^op

Product^c

URI	`http://sweetontology.net/reprMathOperation/Product`
In range of	sorelm:productOf^op

Quotient^c

URI	`http://sweetontology.net/reprMathOperation/Quotient`
In range of	sorelm:dividedBy^op

Sum^c

URI	`http://sweetontology.net/reprMathOperation/Sum`
In range of	sorelm:plus^op

HypothesisTest^c

URI	`http://sweetontology.net/reprMathStatistics/HypothesisTest`
In range of	sorelm:hasTest^op

StatisticalDistribution^c

URI	`http://sweetontology.net/reprMathStatistics/StatisticalDistribution`
In range of	sorelm:hasStatisticalDistribution^op

Object Properties ↑

approximates
average over
based on
coordinate 1
coordinate 2
coordinate 3
coordinate 4
derivative with respect to
deviation from
divided by
each element has type
equals
estimate of
fuzzy greater than
fuzzy less than
greater than
greater than or equal
has arc
has average
has basis function
has condition
has constant
has coordinates
has edge
has exponent
has field
has first operand
has function
has gradient
has input
has interval
has maximum
has minimum
has operand
has ordered pair
has ordered vertex pair
has output
has representation
has scale
has second operand
has statistical distribution
has test
has third operand
has threshold
has unordered pair
has unordered vertex pair
has vertex
has weighted edge
inequality
is derivative of
isomorphic
less than
less than or equal
maximum of
minimum of
minus
ordinal relation
plus
product of
projection
relation
representation of
set exclusion
set relation
subset of
superset of
times
with respect to

approximates^op

URI	`http://sweetontology.net/relaMath/approximates`

average over^op

URI	`http://sweetontology.net/relaMath/averageOver`
Domain(s)	sopropfu:Average^c

based on^op

URI	`http://sweetontology.net/relaMath/basedOn`

coordinate 1^op

URI	`http://sweetontology.net/relaMath/coordinate_1`
Range(s)	sorep:Coordinate^c

coordinate 2^op

URI	`http://sweetontology.net/relaMath/coordinate_2`
Range(s)	sorep:Coordinate^c

coordinate 3^op

URI	`http://sweetontology.net/relaMath/coordinate_3`
Range(s)	sorep:Coordinate^c

coordinate 4^op

URI	`http://sweetontology.net/relaMath/coordinate_4`
Range(s)	sorep:Coordinate^c

derivative with respect to^op

URI	`http://sweetontology.net/relaMath/derivativeWithRespectTo`

deviation from^op

URI	`http://sweetontology.net/relaMath/deviationFrom`
Domain(s)	sopropdife:Deviation^c

divided by^op

URI	`http://sweetontology.net/relaMath/dividedBy`
Inverse properties	sorelm:productOf^op
Range(s)	sorepmo:Quotient^c

each element has type^op

URI	`http://sweetontology.net/relaMath/eachElementHasType`
Range(s)	sorepm:NumericalEntity^c

equals^op

URI	`http://sweetontology.net/relaMath/equals`
Super-properties	sorelm:relation^op

estimate of^op

URI	`http://sweetontology.net/relaMath/estimateOf`

fuzzy greater than^op

URI	`http://sweetontology.net/relaMath/fuzzyGreaterThan`
Super-properties	sorelm:relation^op

fuzzy less than^op

URI	`http://sweetontology.net/relaMath/fuzzyLessThan`
Super-properties	sorelm:relation^op

greater than^op

URI	`http://sweetontology.net/relaMath/greaterThan`
Super-properties	sorelm:ordinalRelation^op sorelm:inequality^op
Inverse properties	sorelm:lessThanOrEqual^op

greater than or equal^op

URI	`http://sweetontology.net/relaMath/greaterThanOrEqual`
Super-properties	sorelm:ordinalRelation^op
Inverse properties	sorelm:lessThan^op

has arc^op

URI	`http://sweetontology.net/relaMath/hasArc`
Super-properties	sorelm:hasEdge^op
Range(s)	sorepmg:Arc^c

has average^op

URI	`http://sweetontology.net/relaMath/hasAverage`
Domain(s)	sorepm:Seq^c
Range(s)	sopropfu:Average^c

has basis function^op

URI	`http://sweetontology.net/relaMath/hasBasisFunction`
Range(s)	sorepmf:BasisFunction^c

has condition^op

URI	`http://sweetontology.net/relaMath/hasCondition`

has constant^op

URI	`http://sweetontology.net/relaMath/hasConstant`

has coordinates^op

URI	`http://sweetontology.net/relaMath/hasCoordinates`
Range(s)	sorep:Coordinates^c

has edge^op

URI	`http://sweetontology.net/relaMath/hasEdge`
Range(s)	sorepmg:Edge^c

has exponent^op

URI	`http://sweetontology.net/relaMath/hasExponent`

has field^op

URI	`http://sweetontology.net/relaMath/hasField`
Range(s)	sorepmf:Field^c

has first operand^op

URI	`http://sweetontology.net/relaMath/hasFirstOperand`
Super-properties	sorelm:hasOperand^op

has function^op

URI	`http://sweetontology.net/relaMath/hasFunction`
Range(s)	sorepmf:Function^c

has gradient^op

URI	`http://sweetontology.net/relaMath/hasGradient`

has input^op

URI	`http://sweetontology.net/relaMath/hasInput`
Range(s)	sorepm:NumericalEntity^c

has interval^op

URI	`http://sweetontology.net/relaMath/hasInterval`
Range(s)	sorepm:Interval^c

has maximum^op

URI	`http://sweetontology.net/relaMath/hasMaximum`
Range(s)	sopropfu:Maximum^c

has minimum^op

URI	`http://sweetontology.net/relaMath/hasMinimum`
Range(s)	sopropfu:Minimum^c

has operand^op

URI	`http://sweetontology.net/relaMath/hasOperand`
Range(s)	sorepm:NumericalEntity^c

has ordered pair^op

URI	`http://sweetontology.net/relaMath/hasOrderedPair`
Range(s)	sorepm:OrderedPair^c

has ordered vertex pair^op

URI	`http://sweetontology.net/relaMath/hasOrderedVertexPair`
Super-properties	sorelm:hasOrderedPair^op
Range(s)	sorepmg:OrderedVertexPair^c

has output^op

URI	`http://sweetontology.net/relaMath/hasOutput`
Range(s)	sorepm:NumericalEntity^c

has representation^op

URI	`http://sweetontology.net/relaMath/hasRepresentation`
Equivalent properties	sorelm:representationOf^op
Range(s)	sorep:Representation^c

has scale^op

URI	`http://sweetontology.net/relaMath/hasScale`
Range(s)	sorep:Scale^c

has second operand^op

URI	`http://sweetontology.net/relaMath/hasSecondOperand`
Super-properties	sorelm:hasOperand^op

has statistical distribution^op

URI	`http://sweetontology.net/relaMath/hasStatisticalDistribution`
Range(s)	sorepmst:StatisticalDistribution^c

has test^op

URI	`http://sweetontology.net/relaMath/hasTest`
Range(s)	sorepmst:HypothesisTest^c

has third operand^op

URI	`http://sweetontology.net/relaMath/hasThirdOperand`
Super-properties	sorelm:hasOperand^op

has threshold^op

URI	`http://sweetontology.net/relaMath/hasThreshold`
Range(s)	sopropfu:Threshold^c

has unordered pair^op

URI	`http://sweetontology.net/relaMath/hasUnorderedPair`
Range(s)	sorepm:UnorderedPair^c

has unordered vertex pair^op

URI	`http://sweetontology.net/relaMath/hasUnorderedVertexPair`
Super-properties	sorelm:hasUnorderedPair^op
Range(s)	sorepmg:UnorderedVertexPair^c

has vertex^op

URI	`http://sweetontology.net/relaMath/hasVertex`
Range(s)	sorepmg:Vertex^c

has weighted edge^op

URI	`http://sweetontology.net/relaMath/hasWeightedEdge`
Range(s)	sorepmg:WeightedEdge^c

inequality^op

URI	`http://sweetontology.net/relaMath/inequality`
Super-properties	sorelm:relation^op

is derivative of^op

URI	`http://sweetontology.net/relaMath/isDerivativeOf`

isomorphic^op

URI	`http://sweetontology.net/relaMath/isomorphic`
Super-properties	sorelm:relation^op

less than^op

URI	`http://sweetontology.net/relaMath/lessThan`
Super-properties	sorelm:inequality^op sorelm:ordinalRelation^op

less than or equal^op

URI	`http://sweetontology.net/relaMath/lessThanOrEqual`
Super-properties	sorelm:ordinalRelation^op

maximum of^op

URI	`http://sweetontology.net/relaMath/maximumOf`

minimum of^op

URI	`http://sweetontology.net/relaMath/minimumOf`

minus^op

URI	`http://sweetontology.net/relaMath/minus`
Inverse properties	sorelm:plus^op
Range(s)	sorepmo:Difference^c

ordinal relation^op

URI	`http://sweetontology.net/relaMath/ordinalRelation`
Super-properties	sorelm:relation^op

plus^op

URI	`http://sweetontology.net/relaMath/plus`
Range(s)	sorepmo:Sum^c

product of^op

URI	`http://sweetontology.net/relaMath/productOf`
Equivalent properties	sorelm:times^op
Range(s)	sorepmo:Product^c

projection^op

URI	`http://sweetontology.net/relaMath/projection`
Super-properties	sorelm:subsetOf^op

relation^op

URI	`http://sweetontology.net/relaMath/relation`

representation of^op

URI	`http://sweetontology.net/relaMath/representationOf`

set exclusion^op

URI	`http://sweetontology.net/relaMath/setExclusion`
Super-properties	sorelm:setRelation^op

set relation^op

URI	`http://sweetontology.net/relaMath/setRelation`
Super-properties	sorelm:relation^op
Range(s)	sorepm:Set^c

subset of^op

URI	`http://sweetontology.net/relaMath/subsetOf`
Super-properties	sorelm:setRelation^op
Inverse properties	sorelm:supersetOf^op

superset of^op

URI	`http://sweetontology.net/relaMath/supersetOf`
Super-properties	sorelm:setRelation^op

times^op

URI	`http://sweetontology.net/relaMath/times`

with respect to^op

URI	`http://sweetontology.net/relaMath/withRespectTo`
Range(s)	sorepm:Variable^c

Datatype Properties ↑

has base
has degree
has dimension
has error
has integer value
has lower bound
has order
has scaling number
has shifting number
has tolerance
has upper bound
has weight
lower bound
to the power
tolerance
upper bound

has base^dp

URI	`http://sweetontology.net/relaMath/hasBase`

has degree^dp

URI	`http://sweetontology.net/relaMath/hasDegree`

has dimension^dp

URI	`http://sweetontology.net/relaMath/hasDimension`
Range(s)	xsd:integer^c

has error^dp

URI	`http://sweetontology.net/relaMath/hasError`
Range(s)	xsd:decimal^c

has integer value^dp

URI	`http://sweetontology.net/relaMath/hasIntegerValue`
Range(s)	xsd:integer^c

has lower bound^dp

URI	`http://sweetontology.net/relaMath/hasLowerBound`
Equivalent properties	sorelm:lowerBound^dp

has order^dp

URI	`http://sweetontology.net/relaMath/hasOrder`
Range(s)	xsd:integer^c

has scaling number^dp

URI	`http://sweetontology.net/relaMath/hasScalingNumber`
Range(s)	xsd:decimal^c

has shifting number^dp

URI	`http://sweetontology.net/relaMath/hasShiftingNumber`
Range(s)	xsd:decimal^c

has tolerance^dp

URI	`http://sweetontology.net/relaMath/hasTolerance`
Equivalent properties	sorelm:tolerance^dp
Range(s)	xsd:decimal^c

has upper bound^dp

URI	`http://sweetontology.net/relaMath/hasUpperBound`
Equivalent properties	sorelm:upperBound^dp

has weight^dp

URI	`http://sweetontology.net/relaMath/hasWeight`

lower bound^dp

URI	`http://sweetontology.net/relaMath/lowerBound`

to the power^dp

URI	`http://sweetontology.net/relaMath/toThePower`
Range(s)	xsd:decimal^c

tolerance^dp

URI	`http://sweetontology.net/relaMath/tolerance`

upper bound^dp

URI	`http://sweetontology.net/relaMath/upperBound`

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

SWEET Ontology Relationships Mathematical

Metadata

Table of Contents

Overview

Classes ↑

Coordinatec

Coordinatesc

Representationc

Scalec

Intervalc

NumericalEntityc

OrderedPairc

Seqc

Setc

UnorderedPairc

Variablec

BasisFunctionc

Fieldc

Functionc

Arcc

Edgec

OrderedVertexPairc

UnorderedVertexPairc

Vertexc

WeightedEdgec

Differencec

Productc

Quotientc

Sumc

HypothesisTestc

StatisticalDistributionc

Object Properties ↑

approximatesop

average overop

based onop

coordinate 1op

coordinate 2op

coordinate 3op

coordinate 4op

derivative with respect toop

deviation fromop

divided byop

each element has typeop

equalsop

estimate ofop

fuzzy greater thanop

fuzzy less thanop

greater thanop

greater than or equalop

has arcop

has averageop

has basis functionop

has conditionop

has constantop

has coordinatesop

has edgeop

has exponentop

has fieldop

has first operandop

has functionop

has gradientop

has inputop

has intervalop

has maximumop

has minimumop

has operandop

has ordered pairop

has ordered vertex pairop

has outputop

has representationop

has scaleop

has second operandop

has statistical distributionop

has testop

has third operandop

has thresholdop

has unordered pairop

has unordered vertex pairop

has vertexop

has weighted edgeop

Coordinate^c

Coordinates^c

Representation^c

Scale^c

Interval^c

NumericalEntity^c

OrderedPair^c

Seq^c

Set^c

UnorderedPair^c

Variable^c

BasisFunction^c

Field^c

Function^c

Arc^c

Edge^c

OrderedVertexPair^c

UnorderedVertexPair^c

Vertex^c

WeightedEdge^c

Difference^c

Product^c

Quotient^c

Sum^c

HypothesisTest^c

StatisticalDistribution^c

approximates^op

average over^op

based on^op

coordinate 1^op

coordinate 2^op

coordinate 3^op

coordinate 4^op

derivative with respect to^op

deviation from^op

divided by^op

each element has type^op

equals^op

estimate of^op

fuzzy greater than^op

fuzzy less than^op

greater than^op

greater than or equal^op

has arc^op

has average^op

has basis function^op

has condition^op

has constant^op

has coordinates^op

has edge^op

has exponent^op

has field^op

has first operand^op

has function^op

has gradient^op

has input^op

has interval^op

has maximum^op

has minimum^op

has operand^op

has ordered pair^op

has ordered vertex pair^op

has output^op

has representation^op

has scale^op

has second operand^op

has statistical distribution^op

has test^op

has third operand^op

has threshold^op

has unordered pair^op

has unordered vertex pair^op

has vertex^op

has weighted edge^op

inequality^op

is derivative of^op

isomorphic^op

less than^op

less than or equal^op

maximum of^op