SWEET Ontology
type: Ontology
version info: 2.3
imports: repr.owl
imports: relaMath.owl

Interval
type: Class
subclass of: NumericalEntity
disjoint with: Point
subclass of: Restriction
  has value: 1
  on property: hasDimension

NormalizedRange
type: Interval
has lower bound: 0
has upper bound: 1.0

Point
type: Class
subclass of: NumericalEntity
subclass of: Restriction
  has value: 0
  on property: hasDimension

OrderedPair
type: Class
subclass of: Array
subclass of: 2D
subclass of: Restriction
  on property: hasFirstOperand
  cardinality: 1
subclass of: Restriction
  on property: hasSecondOperand
  cardinality: 1

OrderedTriple
type: Class
subclass of: Array
subclass of: 3D
subclass of: Restriction
  on property: hasFirstOperand
  cardinality: 1
subclass of: Restriction
  on property: hasSecondOperand
  cardinality: 1
subclass of: Restriction
  on property: hasThirdOperand
  cardinality: 1

Vector
type: Class
subclass of: Array
disjoint with: Scalar
comment: Any quantity, such as force, velocity, or acceleration, that has both magnitude and direction at each point in space, as opposed to a scalar that has magnitude only.

Equation
type: Class
subclass of: Relation
comment: An equation is a mathematical statement, in symbols, that two things are exactly the same (or equivalent). [Wikipedia]

Relation
type: Class
subclass of: NumericalEntity
comment: In mathematics, the concept of a relation is a generalization of 2-place relations, such as the relation of equality, less than, greater than, etc.. [Wikipedia]