true if the constraint is checked against sub-properties of the predicate true true A unit system a quantity kind e -2 0 3-2 Inter Argument Constraint Inter Argument 3-2 : {?predicate} concat is base product true true true base symbol false quantitySystem pred pred -2 0 kind the base quantity kind the quantity system a quantity kind start index in enumeration true -3 v the string to build b e -2 0 true get coherent unit M2 true 1 -2 0 -2 0 the system of units in which to find the result spec a quantity kind for the system the unit system bde 1 predicate A unit system -2 0 &sigma Converts a given literal (?arg1) with a unit as datatype (such as "2"^^unit:Meter) into a target datatype (?arg2). convert literal the numerator transitive result predicate Θ transitive value next a quantity kind result A quantity system sd a quantity kind predicate genKind 3-4 Inter Argument Constraint Inter Argument 3-4 : {?predicate} true -2 0 1 true if the constraint is checked against sub-properties of the predicate true true start index in enumeration dim:{?label} base pred the constraining predicate the quantity system oldType a quantity kind true transitive predicate true 0 3-1 Inter Argument Constraint Inter Argument 3-1 : {?predicate} -2 0 -2 0 0 pred pred pred -2 0 b sd baseKind genKind a unit a dummy string to carry the result true transitive kind2 true if the constraint is checked against sub-properties of the predicate true true the constraining predicate comparable units transitive succ -2 0 2-1 Inter Argument Constraint Inter Argument 2-1 : {?predicate} a quantity kind 3 is base quotient an index into the base dimension enumeration kind1 the constraining predicate baseKind v a quantity kind the numerator get quantity kind dimension symbol transitive htmlString 2-4 Inter Argument Constraint Inter Argument 2-4 : {?predicate} get unit quotient genKind predicate 4-1 Inter Argument Constraint Inter Argument 4-1 : {?predicate} pred sd get dimension html string the dimension vector get unit dimension symbol (internal) a quantity kind 1-3 Inter Argument Constraint Inter Argument 1-3 : {?predicate} pred Unit functions true x succ bde μ xhtmlString true if the constraint is checked against sub-properties of the predicate true true Vector_{?s}{?e} M1 A quantity system an index into the base dimension enumeration transitive 1 a quantity kind a quantity kind true result true if the constraint is checked against sub-properties of the predicate true true a quantity kind succ -2 0 -2 0 predicate unit the input quantity kind predicate -2 0 Functions true the base quantity kind true if the constraint is checked against sub-properties of the predicate true true 0 base kind2 true if the constraint is checked against sub-properties of the predicate true true quantitySystem true if the constraint is checked against sub-properties of the predicate true true concat the constraining predicate e next get dimension quotient 0 the constraining predicate kind O2 get quantity kind dimension symbol (internal) the constraining predicate -2 0 a quantity kind pred succ pred succ a quantity kind 1 Inter Argument true true if the constraint is checked against sub-properties of the predicate true true a quantity kind the system of quantities concat 1 -2 0 -2 0 system kind1 1-4 Inter Argument Constraint Inter Argument 1-4 : {?predicate} transitive transitive predicate predicate -2 0 next a unit of measure {?b}^{?e} a unit pred bde transitive get unit product true a unit of measure true O1 an optional integer index into enumeration 0 true Holger Knublauch James E. Masters The QUDT Ontologies are issued under a Creative Commons Attribution Share Alike 3.0 United States License. Attribution should be made to TopQuadrant, Inc. A library of SPIN functions and templates to operate on the NExIOM NASA Quantities, Units, Dimentions and Data Types ontology. 1.0.0 predicate -2 0 a quantity kind pred convert Converts a numerical value (a xsd:double) from one unit of measure (specified in arg2) to another (specified in arg3). The source and target units of measure must be of the same kind (qud:quantityKind). a quantity kind unit xhtmlString unitPred e base -2 0 unit -2 0 is dimension quotient get dimension xhtml string s the quantity system 1 4-2 Inter Argument Constraint Inter Argument 2-4 : {?predicate} system the quantity kind predicate true 0 the system of units in which to find the result the constraining predicate label true 0 v the quantity system get vector string Θ base the dimension 1-2 Inter Argument Constraint Inter Argument 1-2 : {?predicate} {?b}^{?e} kind the constraining predicate &mu 2-3 Inter Argument Constraint Inter Argument 2-3 : {?predicate} baseKind Dimension functions true true the constraining predicate unit transitive the constraining predicate the quantity system is dimension product the dimension vector the original unit of measure the dimension vector bde -2 0 htmlString kind2 the quantity system e sd 0 true if the constraint is checked against sub-properties of the predicate true true the dimension pred get vector unit string 0 base the constraining predicate is dimension product the denominator true ?0 a quantity kind a quantity kind e y baseString {?b} quantitySystem new v transitive ?1 get quantity kind base exponent the quantity system result kind1 a quantity kind {?b} a quantity kind true 4-3 Inter Argument Constraint Inter Argument 3-4 : {?predicate} base Internal functions true symbol next bde unitSystem result the quantity system The literal to convert. Must have a qud:Unit as datatype. vString get factor xhtml string get unit dimension symbol base the string to build result get dimension xhtml string true a quantity kind the quantity system bde {?b}^{?e} a base quantity kind for the system a quantity kind The target unit to convert to. predicate transitive true if the constraint is checked against sub-properties of the predicate true true result baseKind b true next a quantity kind 0 numerical value to convert a quantity kind the target unit of measure the quantity system pred pred is dimension quotient the constraining predicate σ z the denominator get dimension product Quantity functions true value true if the constraint is checked against sub-properties of the predicate true true