GeoAMMO
type: Ontology
comment: This ontology models geographic amounts

Additive
type: Class
comment: Property of a measurement function which holds that sums in the funtion's domain are preserved in the range.

Amount
type: Class
equivalent class: Class
  intersection of: Quantity
  intersection of: Restriction
    on property: isElementOf
    some values from: AmountD
subclass of: Quantity
subclass of: Restriction
  on property: isElementOf
  some values from: AmountD
disjoint with: AmountOfAmountM
disjoint with: ArchimedeanMagnitude
disjoint with: ExtensiveM
disjoint with: IntensiveM
disjoint with: Magnitude
disjoint with: MagnitudeOfAmountM
disjoint with: Measurement
disjoint with: ProportionalMagnitude
disjoint with: AccumulationM
disjoint with: CapacityM
disjoint with: ContentM
disjoint with: DurationM
disjoint with: DurationMagnitude
disjoint with: DynamicM
disjoint with: IntervalM
disjoint with: OccupancyM
disjoint with: RegionM
disjoint with: SizeM
disjoint with: SizeMagnitude
disjoint with: SpacetimeM
disjoint with: TimespaceM
disjoint with: ValueM
disjoint with: ValueMagnitude
comment: Mereological quantity.

AmountD
type: Class
subclass of: QuantityDomain
subclass of: Restriction
  on property: hasElement
  some values from: Amount
disjoint with: AmountOfAmountMF
disjoint with: ArchimedeanMagnitudeD
disjoint with: ExtensiveMF
disjoint with: IntensiveMF
disjoint with: MagnitudeD
disjoint with: MagnitudeOfAmountMF
disjoint with: MeasurementFunction
disjoint with: ProportionalMagnitudeD
disjoint with: AccumulationMF
disjoint with: CapacityMF
disjoint with: ContentMF
disjoint with: DurationMF
disjoint with: DurationMagnitudeD
disjoint with: DynamicMF
disjoint with: IntervalMF
disjoint with: OccupancyMF
disjoint with: RegionMF
disjoint with: SizeMF
disjoint with: SizeMagnitudeD
disjoint with: SpacetimeMF
disjoint with: TimespaceMF
disjoint with: ValueMF
disjoint with: ValueMagnitudeD
comment: Domain of mereological quantities.

AmountOfAmountM
type: Class
equivalent class: Class
  intersection of: Measurement
  intersection of: Restriction
    on property: hasControl
    some values from: Amount
  intersection of: Restriction
    on property: hasMeasure
    some values from: Amount
equivalent class: Class
  intersection of: Measurement
  intersection of: Restriction
    on property: isElementOf
    some values from: AmountOfAmountMF
subclass of: Measurement
subclass of: Restriction
  on property: isElementOf
  some values from: AmountOfAmountMF
disjoint with: ArchimedeanMagnitude
disjoint with: Magnitude
disjoint with: ProportionalMagnitude
disjoint with: Quantity
disjoint with: ContentAmount
disjoint with: DurationMagnitude
disjoint with: SizeMagnitude
disjoint with: SpaceAmount
disjoint with: TimeAmount
disjoint with: ValueMagnitude
comment: A measurement from some amount to another amount

AmountOfAmountMF
type: Class
equivalent class: Class
  intersection of: MeasurementFunction
  intersection of: Restriction
    on property: hasControlD
    some values from: AmountD
  intersection of: Restriction
    on property: hasMeasureD
    some values from: AmountD
equivalent class: Class
  intersection of: Restriction
    on property: hasControlD
    some values from: AmountD
  intersection of: Restriction
    on property: hasMeasureD
    some values from: AmountD
subclass of: MeasurementFunction
disjoint with: ArchimedeanMagnitudeD
disjoint with: MagnitudeD
disjoint with: MagnitudeOfAmountMF
disjoint with: ProportionalMagnitudeD
disjoint with: QuantityDomain
disjoint with: ContentAmountD
disjoint with: DurationMF
disjoint with: DurationMagnitudeD
disjoint with: SizeMF
disjoint with: SizeMagnitudeD
disjoint with: SpaceAmountD
disjoint with: TimeAmountD
disjoint with: ValueMF
disjoint with: ValueMagnitudeD
comment: A measurement function where both the the domain and range are populated by amounts.

ArchimedeanMagnitude
type: Class
equivalent class: Class
  intersection of: Quantity
  intersection of: Restriction
    on property: isElementOf
    some values from: ArchimedeanMagnitudeD
subclass of: Magnitude
subclass of: Restriction
  on property: isElementOf
  some values from: ArchimedeanMagnitudeD
disjoint with: ExtensiveM
disjoint with: IntensiveM
disjoint with: MagnitudeOfAmountM
disjoint with: Measurement
disjoint with: ProportionalMagnitude
disjoint with: AccumulationM
disjoint with: CapacityM
disjoint with: ContentAmount
disjoint with: ContentM
disjoint with: DurationM
disjoint with: DynamicM
disjoint with: IntervalM
disjoint with: OccupancyM
disjoint with: RegionM
disjoint with: SizeM
disjoint with: SpaceAmount
disjoint with: SpacetimeM
disjoint with: TimeAmount
disjoint with: TimespaceM
disjoint with: ValueM
comment: Quantities that are sizes, extents, or effects of amounts in terms of a unit.

ArchimedeanMagnitudeD
type: Class
subclass of: MagnitudeD
subclass of: Restriction
  on property: hasElement
  some values from: ArchimedeanMagnitude
disjoint with: ExtensiveMF
disjoint with: IntensiveMF
disjoint with: MagnitudeOfAmountMF
disjoint with: MeasurementFunction
disjoint with: ProportionalMagnitudeD
disjoint with: AccumulationMF
disjoint with: CapacityMF
disjoint with: ContentAmountD
disjoint with: ContentMF
disjoint with: DurationMF
disjoint with: DynamicMF
disjoint with: IntervalMF
disjoint with: OccupancyMF
disjoint with: RegionMF
disjoint with: SizeMF
disjoint with: SpaceAmountD
disjoint with: SpacetimeMF
disjoint with: TimeAmountD
disjoint with: TimespaceMF
disjoint with: ValueMF
comment: Domain of quantities that are sizes, extents, or effects of amounts in terms of a unit.

ExtensiveM
type: Class
equivalent class: Class
  intersection of: Measurement
  intersection of: Restriction
    on property: isElementOf
    some values from: ExtensiveMF
subclass of: Measurement
subclass of: Restriction
  on property: isElementOf
  some values from: ExtensiveMF
disjoint with: Magnitude
disjoint with: ProportionalMagnitude
disjoint with: Quantity
disjoint with: ContentAmount
disjoint with: DurationMagnitude
disjoint with: SizeMagnitude
disjoint with: SpaceAmount
disjoint with: TimeAmount
disjoint with: ValueMagnitude
comment: A measurement where both the argument and value are additive and subtractive with respect to other measurements of the same kind (i.e. those that stem from the same measurement function).

ExtensiveMF
type: Class
equivalent class: Class
  intersection of: MeasurementFunction
  intersection of: Extensive
subclass of: MeasurementFunction
subclass of: Extensive
disjoint with: IntensiveMF
disjoint with: MagnitudeD
disjoint with: ProportionalMagnitudeD
disjoint with: QuantityDomain
disjoint with: ContentAmountD
disjoint with: DurationMagnitudeD
disjoint with: SizeMagnitudeD
disjoint with: SpaceAmountD
disjoint with: TimeAmountD
disjoint with: ValueMagnitudeD
comment: A measurement function where additive and subtractive relations in the domain are embedded in the range.

IntensiveM
type: Class
equivalent class: Class
  intersection of: Measurement
  intersection of: Restriction
    on property: isElementOf
    some values from: IntensiveMF
subclass of: Measurement
subclass of: Restriction
  on property: isElementOf
  some values from: IntensiveMF
disjoint with: Magnitude
disjoint with: ProportionalMagnitude
disjoint with: Quantity
disjoint with: ContentAmount
disjoint with: DurationMagnitude
disjoint with: SizeMagnitude
disjoint with: SpaceAmount
disjoint with: TimeAmount
disjoint with: ValueMagnitude
comment: A measurement that is not an extensive relation.

IntensiveMF
type: Class
equivalent class: Class
  intersection of: MeasurementFunction
  intersection of: Class
    complement of: Extensive
subclass of: MeasurementFunction
disjoint with: MagnitudeD
disjoint with: ProportionalMagnitudeD
disjoint with: QuantityDomain
disjoint with: AccumulationMF
disjoint with: CapacityMF
disjoint with: ContentAmountD
disjoint with: ContentMF
disjoint with: DurationMF
disjoint with: DurationMagnitudeD
disjoint with: DynamicMF
disjoint with: Extensive
disjoint with: IntervalMF
disjoint with: OccupancyMF
disjoint with: RegionMF
disjoint with: SizeMF
disjoint with: SizeMagnitudeD
disjoint with: SpaceAmountD
disjoint with: SpacetimeMF
disjoint with: TimeAmountD
disjoint with: TimespaceMF
disjoint with: ValueMF
disjoint with: ValueMagnitudeD
comment: A measurement function that is intensive, i.e. not extensive.

Magnitude
type: Class
equivalent class: Class
  intersection of: Quantity
  intersection of: Restriction
    on property: isElementOf
    some values from: MagnitudeD
subclass of: Quantity
subclass of: Restriction
  on property: isElementOf
  some values from: MagnitudeD
disjoint with: MagnitudeOfAmountM
disjoint with: Measurement
disjoint with: AccumulationM
disjoint with: CapacityM
disjoint with: ContentAmount
disjoint with: ContentM
disjoint with: DurationM
disjoint with: DynamicM
disjoint with: IntervalM
disjoint with: OccupancyM
disjoint with: RegionM
disjoint with: SizeM
disjoint with: SpaceAmount
disjoint with: SpacetimeM
disjoint with: TimeAmount
disjoint with: TimespaceM
disjoint with: ValueM
comment: Quantities that denote a degree of greatness, i.e. a size or effect.

MagnitudeD
type: Class
subclass of: QuantityDomain
subclass of: Restriction
  on property: hasElement
  some values from: Magnitude
disjoint with: MagnitudeOfAmountMF
disjoint with: MeasurementFunction
disjoint with: AccumulationMF
disjoint with: CapacityMF
disjoint with: ContentAmountD
disjoint with: ContentMF
disjoint with: DurationMF
disjoint with: DynamicMF
disjoint with: IntervalMF
disjoint with: OccupancyMF
disjoint with: RegionMF
disjoint with: SizeMF
disjoint with: SpaceAmountD
disjoint with: SpacetimeMF
disjoint with: TimeAmountD
disjoint with: TimespaceMF
disjoint with: ValueMF
comment: Domain of quantities that denote a degree of greatness, i.e. a size or effect.

MagnitudeOfAmountM
type: Class
equivalent class: Class
  intersection of: Measurement
  intersection of: Restriction
    on property: hasControl
    some values from: Amount
  intersection of: Restriction
    on property: hasMeasure
    some values from: Magnitude
equivalent class: Class
  intersection of: Measurement
  intersection of: Restriction
    on property: isElementOf
    some values from: MagnitudeOfAmountMF
subclass of: Measurement
subclass of: Restriction
  on property: isElementOf
  some values from: MagnitudeOfAmountMF
disjoint with: ProportionalMagnitude
disjoint with: Quantity
disjoint with: ContentAmount
disjoint with: DurationMagnitude
disjoint with: SizeMagnitude
disjoint with: SpaceAmount
disjoint with: TimeAmount
disjoint with: ValueMagnitude
comment: A measurement from an amount to a magnitude.

MagnitudeOfAmountMF
type: Class
equivalent class: Class
  intersection of: MeasurementFunction
  intersection of: Restriction
    on property: hasControlD
    some values from: AmountD
  intersection of: Restriction
    on property: hasMeasureD
    some values from: MagnitudeD
equivalent class: Class
  intersection of: Restriction
    on property: hasControlD
    some values from: AmountD
  intersection of: Restriction
    on property: hasMeasureD
    some values from: MagnitudeD
subclass of: MeasurementFunction
disjoint with: ProportionalMagnitudeD
disjoint with: QuantityDomain
disjoint with: AccumulationMF
disjoint with: CapacityMF
disjoint with: ContentAmountD
disjoint with: ContentMF
disjoint with: DurationMagnitudeD
disjoint with: DynamicMF
disjoint with: IntervalMF
disjoint with: OccupancyMF
disjoint with: RegionMF
disjoint with: SizeMagnitudeD
disjoint with: SpaceAmountD
disjoint with: SpacetimeMF
disjoint with: TimeAmountD
disjoint with: TimespaceMF
disjoint with: ValueMagnitudeD
comment: A measurement function with an amount as control and a magnitude as measure

Measurement
type: Class
subclass of: Class
  intersection of: Restriction
    on property: hasControl
    some values from: Quantity
  intersection of: Restriction
    on property: hasMeasure
    some values from: Quantity
subclass of: Restriction
  on property: isElementOf
  some values from: MeasurementFunction
disjoint with: ProportionalMagnitude
disjoint with: Quantity
disjoint with: ContentAmount
disjoint with: DurationMagnitude
disjoint with: SizeMagnitude
disjoint with: SpaceAmount
disjoint with: TimeAmount
disjoint with: ValueMagnitude
comment: A relation which may be written as a tuple (x,m,y) where x,y are quantities and m refers to a measurement function such that x(m)=y.

MeasurementFunction
type: Class
subclass of: Class
  intersection of: Restriction
    on property: hasControlD
    some values from: QuantityDomain
  intersection of: Restriction
    on property: hasMeasureD
    some values from: QuantityDomain
disjoint with: ProportionalMagnitudeD
disjoint with: QuantityDomain
disjoint with: ContentAmountD
disjoint with: DurationMagnitudeD
disjoint with: SizeMagnitudeD
disjoint with: SpaceAmountD
disjoint with: TimeAmountD
disjoint with: ValueMagnitudeD
comment: A function that takes some quantity and yields another quantity.

ProportionalMagnitude
type: Class
equivalent class: Class
  intersection of: Quantity
  intersection of: Restriction
    on property: isElementOf
    some values from: ProportionalMagnitudeD
subclass of: Magnitude
subclass of: Restriction
  on property: isElementOf
  some values from: ProportionalMagnitudeD
disjoint with: AccumulationM
disjoint with: CapacityM
disjoint with: ContentAmount
disjoint with: ContentM
disjoint with: DurationM
disjoint with: DurationMagnitude
disjoint with: DynamicM
disjoint with: IntervalM
disjoint with: OccupancyM
disjoint with: RegionM
disjoint with: SizeM
disjoint with: SizeMagnitude
disjoint with: SpaceAmount
disjoint with: SpacetimeM
disjoint with: TimeAmount
disjoint with: TimespaceM
disjoint with: ValueM
disjoint with: ValueMagnitude
comment: Magnitude that denote proportions between Archimedean magnitudes, similar to how scalars may multiply vectors.

ProportionalMagnitudeD
type: Class
subclass of: MagnitudeD
subclass of: Restriction
  on property: hasElement
  some values from: ProportionalMagnitude
disjoint with: AccumulationMF
disjoint with: CapacityMF
disjoint with: ContentAmountD
disjoint with: ContentMF
disjoint with: DurationMF
disjoint with: DurationMagnitudeD
disjoint with: DynamicMF
disjoint with: IntervalMF
disjoint with: OccupancyMF
disjoint with: RegionMF
disjoint with: SizeMF
disjoint with: SizeMagnitudeD
disjoint with: SpaceAmountD
disjoint with: SpacetimeMF
disjoint with: TimeAmountD
disjoint with: TimespaceMF
disjoint with: ValueMF
disjoint with: ValueMagnitudeD
comment: Domain of magnitudes that denote proportions between Archimedean magnitudes, similar to how scalars may multiply vectors.

Quantity
type: Class
subclass of: Restriction
  on property: isElementOf
  some values from: QuantityDomain
disjoint with: AccumulationM
disjoint with: CapacityM
disjoint with: ContentM
disjoint with: DurationM
disjoint with: DynamicM
disjoint with: IntervalM
disjoint with: OccupancyM
disjoint with: RegionM
disjoint with: SizeM
disjoint with: SpacetimeM
disjoint with: TimespaceM
disjoint with: ValueM
comment: That by which the absolute or relative greatness of things and stuff are contained.

Subtractive
type: Class
comment: Property of a measurement function which holds that subtraction relations in the funtion's domain are preserved in the range.

AccumulationAmount
type: Class
equivalent class: Restriction
  on property: isMeasureOfMF
  some values from: AccumulationMF
subclass of: Amount
comment: An accumulation amount is an element of an amount domain that is measured by an accumulation measurement function. The latter is controlled by some amount of time.