1. Namespace
-
http://bipm.org/jcgm/vim4 [vim4]
2. Imports
-
http://iso.org/iso-1087-1 [iso-1087-1]
3. Aspects
3.1. GeneralProperty
Supertypes | |
---|---|
Subtypes |
3.2. GeneralQuantity
General quantity in [VIM4 CD: 1.1] corresponds precisely to kind-of-quantity in [OonP: S.13.3.1].
property whose instances can be compared by ratio or only by order
Supertypes | |
---|---|
Subtypes | |
Relations with target |
|
3.3. HasCoherence
Subtypes | |
---|---|
Properties |
3.4. IdentifiedElement
Subtypes | |
---|---|
Properties | |
Keys |
3.5. IndividualProperty
Supertypes | |
---|---|
Subtypes | |
Relations with target |
|
3.6. IndividualQuantity
instance of a general quantity
Supertypes | |
---|---|
Subtypes | |
Relations with source |
|
Relations with target |
|
3.7. Object
Relations with target |
|
---|
3.8. QuantityValue
Subtypes | |
---|---|
Properties | |
Relations with source |
|
Relations with target |
|
3.9. RationalExponent
Subtypes | |
---|---|
Properties |
|
4. Concepts
4.1. GeneralNominalProperty
Supertypes |
---|
4.2. GeneralOrdinalQuantity
general quantity whose instances can be compared by order but not by ratio
Supertypes |
---|
4.3. GeneralUnitaryQuantity
general quantity whose instances can be compared by ratio
Supertypes | |
---|---|
Relations with source |
|
Relations with target |
|
4.4. IndividualNominalProperty
Supertypes |
---|
4.5. IndividualOrdinalQuantity
instance of a general ordinal quantity
Supertypes | |
---|---|
Subtypes | |
Relations with source |
|
4.6. IndividualUnitaryQuantity
instance of a general unitary quantity
Supertypes | |
---|---|
Subtypes | |
Relations with source |
|
4.7. InherentOrdinalQuantity
Supertypes | |
---|---|
Relations with source |
|
4.8. InherentUnitaryQuantity
Supertypes | |
---|---|
Relations with source |
|
4.9. Measurement
Supertypes | |
---|---|
Relations with target |
|
4.10. MeasurementMethod
Supertypes | |
---|---|
Relations with target |
|
4.11. MeasurementModel
Supertypes | |
---|---|
Relations with source |
|
Relations with target |
|
4.12. MeasurementPrinciple
Supertypes | |
---|---|
Relations with target |
|
4.13. MeasurementProcedure
Supertypes | |
---|---|
Relations with source |
|
4.14. MeasurementScale
Supertypes | |
---|---|
Subtypes | |
Relations with source |
|
4.15. MeasurementUncertainty
Relations with target |
|
---|
4.16. MeasurementUnit
Supertypes | |
---|---|
Subtypes | |
Relations with source |
|
Relations with target |
|
4.17. Multiple
Supertypes | |
---|---|
Relations with target |
|
4.18. OrdinalQuantityValue
Supertypes | |
---|---|
Relations with source |
|
4.19. OrdinalScale
Supertypes | |
---|---|
Relations with source |
|
4.20. PrefixedMeasurementUnit
Supertypes | |
---|---|
Relations with source |
|
4.21. ReferenceSet
Supertypes | |
---|---|
Relations with source |
|
4.22. SystemOfQuantities
system of quantities in [VIM4 CD: 1.3, Note 2] corresponds precisely to system of unitary kinds-ef-quantity in [OonP: S.13.7].
set of quantities together with a set of non-contradictory equations relating those quantities.
Supertypes | |
---|---|
Relations with source |
|
Relations with target |
|
4.23. SystemOfUnits
set of base units and derived units, together with their multiples and submultiples, defined in accordance with given rules, for a given system of quantities.
Supertypes | |
---|---|
Relations with source |
|
4.24. UnitaryQuantityValue
Supertypes | |
---|---|
Properties | |
Relations with source |
|
4.25. UnitaryScale
Supertypes | |
---|---|
Relations with source |
|
4.26. UnprefixedMeasurementUnit
Supertypes | |
---|---|
Relations with source |
|
5. Relation Entities
5.1. Characterizes
An InherentQuantity characterizes an Object.
Source | IndividualQuantity |
---|---|
Target | Object |
Forward Relation | characterizes
|
Attributes |
|
5.2. Describes
Source | MeasurementProcedure |
---|---|
Target | Measurement |
Forward Relation | describes
|
Attributes |
|
5.3. Given
Source | SystemOfUnits |
---|---|
Target | SystemOfQuantities |
Forward Relation | given
|
Attributes |
|
5.4. HasInput
Source | MeasurementModel |
---|---|
Target | IndividualQuantity |
Forward Relation | hasInput
|
Attributes |
|
5.5. HasMultiple
Source | MeasurementUnit |
---|---|
Target | Multiple |
Forward Relation | hasMultiple
|
Attributes |
|
5.6. HasPowerOfUnitFactor
Source | SystemHasDerivedUnit |
---|---|
Target | SystemHasUnit |
Supertypes | |
Forward Relation | hasPowerOfUnitFactor
|
Attributes |
|
5.7. HasPowerOfUnitaryQuantityFactor
Source | SystemHasDerivedUnitaryQuantity |
---|---|
Target | SystemHasUnitaryQuantity |
Supertypes | |
Forward Relation | hasPowerOfUnitaryQuantityFactor
|
Attributes |
|
5.8. HasQuantityDimension
Source | SystemHasUnitaryQuantity |
---|---|
Target | SystemHasBaseUnitaryQuantity |
Supertypes | |
Forward Relation | hasQuantityDimension
|
Attributes |
|
5.9. HasUnit
Source | UnitaryQuantityValue |
---|---|
Target | MeasurementUnit |
Forward Relation | unit
|
Attributes |
|
5.10. Includes
Source | MeasurementScale |
---|---|
Target | IndividualProperty |
Forward Relation | includes
|
Attributes |
|
Properties |
5.11. Instantiates
Source | IndividualQuantity |
---|---|
Target | GeneralQuantity |
Forward Relation | instantiates
|
Attributes |
|
5.12. IsAttributedTo
Source | QuantityValue |
---|---|
Target | IndividualQuantity |
Forward Relation | isAttributedTo
|
Attributes |
|
5.13. IsBasedOn
Source | MeasurementProcedure |
---|---|
Target | MeasurementModel |
Forward Relation | isBasedOn
|
Attributes |
|
5.14. IsInfluencedBy
Source | MeasurementModel |
---|---|
Target | IndividualQuantity |
Forward Relation | isInfluencedBy
|
Attributes |
|
5.15. IsMultipleOf
Source | MeasurementUnit |
---|---|
Target | MeasurementUnit |
Forward Relation | isMultipleOf
|
Attributes |
|
5.16. Measures
Source | MeasurementModel |
---|---|
Target | IndividualQuantity |
Forward Relation | measures
|
Attributes |
|
5.17. Per
Source | MeasurementProcedure |
---|---|
Target | MeasurementPrinciple |
Forward Relation | per
|
Attributes |
|
5.18. Specializes
Source | GeneralUnitaryQuantity |
---|---|
Target | GeneralUnitaryQuantity |
Forward Relation | specializes
|
Attributes |
|
5.19. SystemHasBaseUnit
Source | SystemOfUnits |
---|---|
Target | MeasurementUnit |
Supertypes | |
Forward Relation | systemHasBaseUnit
|
Attributes |
|
5.20. SystemHasBaseUnitaryQuantity
quantity in a conventionally chosen subset of a given system of quantities, where no quantity in the set of base quantities can be expressed in terms of the others.
Source | SystemOfQuantities |
---|---|
Target | GeneralUnitaryQuantity |
Supertypes | |
Forward Relation | systemHasBaseUnitaryQuantity
|
Attributes |
|
Properties | |
Relations with target |
|
5.21. SystemHasDerivedUnit
Source | SystemOfUnits |
---|---|
Target | MeasurementUnit |
Supertypes | |
Forward Relation | systemHasDerivedUnit
|
Attributes |
|
Properties | |
Relations with source |
|
5.22. SystemHasDerivedUnitaryQuantity
quantity, in a system of quantities, defined in terms of the base quantities of that system.
Source | SystemOfQuantities |
---|---|
Target | GeneralUnitaryQuantity |
Supertypes | |
Forward Relation | systemHasDerivedUnitaryQuantity
|
Attributes |
|
Properties | |
Relations with source |
|
5.23. SystemHasUnit
Source | SystemOfUnits |
---|---|
Target | MeasurementUnit |
Subtypes | |
Forward Relation | systemHasUnit
|
Attributes |
|
Relations with target |
|
5.24. SystemHasUnitaryQuantity
Source | SystemOfQuantities |
---|---|
Target | GeneralUnitaryQuantity |
Subtypes | |
Forward Relation | systemHasUnitaryQuantity
|
Attributes |
|
Relations with source |
|
Relations with target |
|
5.25. UsesCorrection
Source | MeasurementModel |
---|---|
Target | IndividualQuantity |
Forward Relation | usesCorrection
|
Attributes |
|
5.26. UsesOperationsOf
Source | MeasurementProcedure |
---|---|
Target | MeasurementMethod |
Forward Relation | usesOperationsOf
|
Attributes |
|
5.27. YieldsMeasuredValue
Source | MeasurementModel |
---|---|
Target | QuantityValue |
Forward Relation | yieldsMeasuredValue
|
Attributes |
|
5.28. YieldsMeasurementUncertainty
Source | MeasurementModel |
---|---|
Target | MeasurementUncertainty |
Forward Relation | yieldsMeasurementUncertainty
|
Attributes |
|
6. Scalar Properties
6.1. dimensionSymbol
Domain | SystemHasBaseUnitaryQuantity |
---|---|
Range | string |
Attributes | Functional |
6.2. exponent
Domain | RationalExponent |
---|---|
Range | rational |
Attributes | Functional |
6.3. hasDoubleNumber
Domain | UnitaryQuantityValue |
---|---|
Range | double |
Attributes | Functional |
6.4. id
Domain | IdentifiedElement |
---|---|
Range | string |
Attributes | Functional |
6.5. isCoherent
Domain | HasCoherence |
---|---|
Range | boolean |
Attributes | Functional |
6.6. isDimensionless
Domain | SystemHasDerivedUnitaryQuantity |
---|---|
Range | boolean |
Attributes | Functional |
6.7. isOffSystemUnit
Domain | SystemHasDerivedUnit |
---|---|
Range | boolean |
Attributes | Functional |
6.8. isReferenceValue
Domain | QuantityValue |
---|---|
Range | boolean |
Attributes | Functional |
6.9. isTrueValue
Domain | QuantityValue |
---|---|
Range | boolean |
Attributes | Functional |
6.10. ordinalPosition
Domain | Includes |
---|---|
Range | positiveInteger |
Attributes | Functional |
7. Rules
7.1. DerivationDefinedWithinTheSameSystemOfQuantities
hasPowerOfUnitaryQuantityFactor(d, f) ∧ SystemHasDerivedUnitaryQuantity(ds, d, dq) ∧ SystemHasUnitaryQuantity(fs, f, fq) -> sameAs(ds, fs)
7.2. DerivationDefinedWithinTheSameSystemOfUnits
hasPowerOfUnitFactor(d, f) ∧ SystemHasDerivedUnit(ds, d, du) ∧ SystemHasUnit(fs, f, fu) -> sameAs(ds, fs)
7.3. DimensionDefinedWithinTheSameSystemOfQuantities
hasQuantityDimension(d, b) ∧ SystemHasUnitaryQuantity(ds, d, dq) ∧ SystemHasBaseUnitaryQuantity(bs, b, bq) -> sameAs(ds, bs)
7.4. InstantiatesSpecializesTransitivity
instantiates(i, g1) ∧ specializes(g1, g2) -> instantiates(i, g2)
7.5. SpecializesTransitivity
specializes(a, b) ∧ specializes(b, c) -> specializes(a, c)