@prefix : .
@prefix math-meta: .
@prefix math: .
@prefix foaf: .
@prefix rdfs: .
@prefix owl: .
@prefix xsd: .
@prefix rdf: .
a owl:Ontology ;
owl:imports .
:3Dgeo1 math-meta:description "This CD defines symbols for 3-dimensional Euclidean geometry" ;
a math-meta:Library ;
rdfs:comment """This document is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
The copyright holder grants you permission to redistribute this
document freely as a verbatim copy. Furthermore, the copyright
holder permits you to develop any derived work from this document
provided that the following conditions are met.
a) The derived work acknowledges the fact that it is derived from
this document, and maintains a prominent reference in the
work to the original source.
b) The fact that the derived work is not the original OpenMath
document is stated prominently in the derived work. Moreover if
both this document and the derived work are Content Dictionaries
then the derived work must include a different CDName element,
chosen so that it cannot be confused with any works adopted by
the OpenMath Society. In particular, if there is a Content
Dictionary Group whose name is, for example, `math' containing
Content Dictionaries named `math1', `math2' etc., then you should
not name a derived Content Dictionary `mathN' where N is an integer.
However you are free to name it `private_mathN' or some such. This
is because the names `mathN' may be used by the OpenMath Society
for future extensions.
c) The derived work is distributed under terms that allow the
compilation of derived works, but keep paragraphs a) and b)
intact. The simplest way to do this is to distribute the derived
work under the OpenMath license, but this is not a requirement.
If you have questions about this license please contact the OpenMath
society at http://www.openmath.org.""" .
math-meta:description """The symbol is used to indicate a circle in 3-dimensional Euclidean geometry by
a variable. The circle may (but need not) be subject to constraints.
The symbol takes the variable as the first argument and the
constraints as further arguments.""" ;
math-meta:example _:n1 .
_:n1 math:arguments _:n2 .
_:n2 rdf:first _:n3 .
_:n3 math:value "The circle c with center at A and passing through the point B is given by:"^^xsd:string ;
a math:Literal .
_:n2 rdf:rest _:n4 .
_:n4 rdf:first _:n5 .
_:n5 math:arguments _:n6 .
_:n6 rdf:first _:n7 .
_:n7 math:name "c" ;
a math:Variable .
_:n6 rdf:rest _:n8 .
_:n8 rdf:first _:n9 ;
rdf:rest _:na .
_:n6 a rdf:List .
_:n5 math:operator ;
a math:Application .
_:n4 rdf:rest rdf:nil .
_:n2 a rdf:List .
_:n1 math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :3Dgeo1 .
math-meta:description """The symbol is used to indicate the set of the two endpoints of a segment in 3-dimensional Euclidean geometry by
a variable. The symbol takes the variable as the first argument and the segment as second argument.""" ;
math-meta:example _:nb .
_:nb math:arguments _:nc .
_:nc rdf:first _:nd .
_:nd math:value "The set E of the two endpoints of a segment s is given by:"^^xsd:string ;
a math:Literal .
_:nc rdf:rest _:ne .
_:ne rdf:first _:nf .
_:nf math:arguments _:ng .
_:ng rdf:first _:nh .
_:nh math:name "E" ;
a math:Variable .
_:ng rdf:rest _:ni .
_:ni rdf:first _:nj ;
rdf:rest rdf:nil .
_:ng a rdf:List .
_:nf math:operator ;
a math:Application .
_:ne rdf:rest rdf:nil .
_:nc a rdf:List .
_:nb math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :3Dgeo1 .
math-meta:description """The symbol is used to indicate a line of 3-dimensional Euclidean geometry
by a variable. The line may (but need not) be subject to constraints.
The symbol takes the variable as the first argument and the constraints
as further arguments.""" ;
math-meta:example _:nk .
_:nk math:arguments _:nl .
_:nl rdf:first _:nm .
_:nm math:value """Given points A and B in 3-dimensional space, a line l through A and B
is defined by:"""^^xsd:string ;
a math:Literal .
_:nl rdf:rest _:nn .
_:nn rdf:first _:no .
_:no math:arguments _:np .
_:np rdf:first _:nq .
_:nq math:name "l" ;
a math:Variable .
_:np rdf:rest _:nr .
_:nr rdf:first _:ns ;
rdf:rest _:nt .
_:np a rdf:List .
_:no math:operator ;
a math:Application .
_:nn rdf:rest rdf:nil .
_:nl a rdf:List .
_:nk math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :3Dgeo1 .
math-meta:description """The symbol is used to indicate the midpoint of a segment in 3-dimensional Euclidean geometry by
a variable. The symbol takes the variable as the first argument and the segment as second argument.""" ;
math-meta:example _:nu .
_:nu math:arguments _:nv .
_:nv rdf:first _:nw .
_:nw math:value "The midpoint M of the segment s is given by"^^xsd:string ;
a math:Literal .
_:nv rdf:rest _:nx .
_:nx rdf:first _:ny .
_:ny math:arguments _:nz .
_:nz rdf:first _:n10 .
_:n10 math:name "M" ;
a math:Variable .
_:nz rdf:rest _:n11 .
_:n11 rdf:first _:n12 ;
rdf:rest rdf:nil .
_:nz a rdf:List .
_:ny math:operator ;
a math:Application .
_:nx rdf:rest rdf:nil .
_:nv a rdf:List .
_:nu math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :3Dgeo1 .
math-meta:description """The symbol is used to indicate a plane in 3-dimensional Euclidean geometry
by a variable. The plane may (but need not) be subject to constraints.
The symbol takes the variable as the first argument and the constraints
as further arguments.""" ;
math-meta:example _:n13 .
_:n13 math:arguments _:n14 .
_:n14 rdf:first _:n15 .
_:n15 math:value "Given points A, B and C in 3-dimensional space, a plane p through A, B and C is defined by:"^^xsd:string ;
a math:Literal .
_:n14 rdf:rest _:n16 .
_:n16 rdf:first _:n17 .
_:n17 math:arguments _:n18 .
_:n18 rdf:first _:n19 .
_:n19 math:name "p" ;
a math:Variable .
_:n18 rdf:rest _:n1a .
_:n1a rdf:first _:n1b ;
rdf:rest _:n1c .
_:n18 a rdf:List .
_:n17 math:operator ;
a math:Application .
_:n16 rdf:rest rdf:nil .
_:n14 a rdf:List .
_:n13 math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :3Dgeo1 .
math-meta:description """The symbol is used to indicate a point of 3-dimensional Euclidean geometry by
a variable. The point may (but need not) be subject to constraints.
The symbol takes the variable as the first argument and the
constraints as further arguments.""" ;
math-meta:example _:n1d .
_:n1d math:arguments _:n1e .
_:n1e rdf:first _:n1f .
_:n1f math:value "Given two lines l and m, a point A on l and m is defined by:"^^xsd:string ;
a math:Literal .
_:n1e rdf:rest _:n1g .
_:n1g rdf:first _:n1h .
_:n1h math:arguments _:n1i .
_:n1i rdf:first _:n1j .
_:n1j math:name "A" ;
a math:Variable .
_:n1i rdf:rest _:n1k .
_:n1k rdf:first _:n1l ;
rdf:rest _:n1m .
_:n1i a rdf:List .
_:n1h math:operator ;
a math:Application .
_:n1g rdf:rest rdf:nil .
_:n1e a rdf:List .
_:n1d math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :3Dgeo1 .
math-meta:description """The symbol is used to indicate a segment of a line in 3-dimensional Euclidean geometry by
a variable. The segment is contained in the affine part of the line.
The symbol takes the variable as the first argument and the endpoints as second and third arguments.""" ;
math-meta:example _:n1n .
_:n1n math:arguments _:n1o .
_:n1o rdf:first _:n1p .
_:n1p math:value "The segment s with endpoints A and B is given by"^^xsd:string ;
a math:Literal .
_:n1o rdf:rest _:n1q .
_:n1q rdf:first _:n1r .
_:n1r math:arguments _:n1s .
_:n1s rdf:first _:n1t .
_:n1t math:name "s" ;
a math:Variable .
_:n1s rdf:rest _:n1u .
_:n1u rdf:first _:n1v ;
rdf:rest _:n1w .
_:n1s a rdf:List .
_:n1r math:operator ;
a math:Application .
_:n1q rdf:rest rdf:nil .
_:n1o a rdf:List .
_:n1n math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :3Dgeo1 .
math-meta:description """The symbol is used to indicate a sphere in 3-dimensional Euclidean geometry by
a variable. The sphere may (but need not) be subject to constraints.
The symbol takes the variable as the first argument and the constraints as further arguments.""" ;
math-meta:example _:n1x .
_:n1x math:arguments _:n1y .
_:n1y rdf:first _:n1z .
_:n1z math:value "The sphere s with center at A and passing through the point B is given by:"^^xsd:string ;
a math:Literal .
_:n1y rdf:rest _:n20 .
_:n20 rdf:first _:n21 .
_:n21 math:arguments _:n22 .
_:n22 rdf:first _:n23 .
_:n23 math:name "s" ;
a math:Variable .
_:n22 rdf:rest _:n24 .
_:n24 rdf:first _:n25 ;
rdf:rest _:n26 .
_:n22 a rdf:List .
_:n21 math:operator ;
a math:Application .
_:n20 rdf:rest rdf:nil .
_:n1y a rdf:List .
_:n1x math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :3Dgeo1 .
:3Dgeo2 math-meta:description "This CD defines symbols for 3-dimensional Euclidean geometry" ;
a math-meta:Library ;
rdfs:comment """This document is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
The copyright holder grants you permission to redistribute this
document freely as a verbatim copy. Furthermore, the copyright
holder permits you to develop any derived work from this document
provided that the following conditions are met.
a) The derived work acknowledges the fact that it is derived from
this document, and maintains a prominent reference in the
work to the original source.
b) The fact that the derived work is not the original OpenMath
document is stated prominently in the derived work. Moreover if
both this document and the derived work are Content Dictionaries
then the derived work must include a different CDName element,
chosen so that it cannot be confused with any works adopted by
the OpenMath Society. In particular, if there is a Content
Dictionary Group whose name is, for example, `math' containing
Content Dictionaries named `math1', `math2' etc., then you should
not name a derived Content Dictionary `mathN' where N is an integer.
However you are free to name it `private_mathN' or some such. This
is because the names `mathN' may be used by the OpenMath Society
for future extensions.
c) The derived work is distributed under terms that allow the
compilation of derived works, but keep paragraphs a) and b)
intact. The simplest way to do this is to distribute the derived
work under the OpenMath license, but this is not a requirement.
If you have questions about this license please contact the OpenMath
society at http://www.openmath.org.""" .
math-meta:description """The symbol is a boolean n-ary function. Its arguments should be points.
When applied to a sequence of points in 3-dimensional Euclidean space, its evaluated to true if and only if there is a line on which all arguments lie.""" ;
math-meta:example _:n27 .
_:n27 math:arguments _:n28 .
_:n28 rdf:first _:n29 .
_:n29 math:value "This example states that the points A, B, C, and D are collinear."^^xsd:string ;
a math:Literal .
_:n28 rdf:rest _:n2a .
_:n2a rdf:first _:n2b .
_:n2b math:arguments _:n2c .
_:n2c rdf:first _:n2d .
_:n2d math:name "A" ;
a math:Variable .
_:n2c rdf:rest _:n2e .
_:n2e rdf:first _:n2f ;
rdf:rest _:n2g .
_:n2c a rdf:List .
_:n2b math:operator ;
a math:Application .
_:n2a rdf:rest rdf:nil .
_:n28 a rdf:List .
_:n27 math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :3Dgeo2 .
math-meta:description """The symbol is a boolean n-ary function. Its arguments should be points.
When applied to a sequence of points in 3-dimensional Euclidean space, its evaluated to true if and only if there is a plane on which all arguments lie.""" ;
math-meta:example _:n2h .
_:n2h math:arguments _:n2i .
_:n2i rdf:first _:n2j .
_:n2j math:value "This example states that the points A, B, C, and D are coplanar."^^xsd:string ;
a math:Literal .
_:n2i rdf:rest _:n2k .
_:n2k rdf:first _:n2l .
_:n2l math:arguments _:n2m .
_:n2m rdf:first _:n2n .
_:n2n math:name "A" ;
a math:Variable .
_:n2m rdf:rest _:n2o .
_:n2o rdf:first _:n2p ;
rdf:rest _:n2q .
_:n2m a rdf:List .
_:n2l math:operator ;
a math:Application .
_:n2k rdf:rest rdf:nil .
_:n2i a rdf:List .
_:n2h math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :3Dgeo2 .
math-meta:description """The statement that a circle in 3-dimensional Euclidean space has a given point as center.
Takes the circle as first argument and the point as second argument.""" ;
math-meta:example _:n2r .
_:n2r math:arguments _:n2s .
_:n2s rdf:first _:n2t .
_:n2t math:value "The circle c with center at A and passing through the point B is given by:"^^xsd:string ;
a math:Literal .
_:n2s rdf:rest _:n2u .
_:n2u rdf:first _:n2v .
_:n2v math:arguments _:n2w .
_:n2w rdf:first _:n2x .
_:n2x math:name "c" ;
a math:Variable .
_:n2w rdf:rest _:n2y .
_:n2y rdf:first _:n2z ;
rdf:rest _:n30 .
_:n2w a rdf:List .
_:n2v math:operator ;
a math:Application .
_:n2u rdf:rest rdf:nil .
_:n2s a rdf:List .
_:n2r math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :3Dgeo2 .
math-meta:description """The symbol represents the logical incidence function which is a
binary function taking arguments representing geometric objects like points and lines and returning a boolean value.
It is true if and only if the first argument is incident to the second.""" ;
math-meta:example _:n31 .
_:n31 math:arguments _:n32 .
_:n32 rdf:first _:n33 .
_:n33 math:value "That a point A is incident to a line l is given by:"^^xsd:string ;
a math:Literal .
_:n32 rdf:rest _:n34 .
_:n34 rdf:first _:n35 .
_:n35 math:arguments _:n36 .
_:n36 rdf:first _:n37 .
_:n37 math:name "A" ;
a math:Variable .
_:n36 rdf:rest _:n38 .
_:n38 rdf:first _:n39 ;
rdf:rest rdf:nil .
_:n36 a rdf:List .
_:n35 math:operator ;
a math:Application .
_:n34 rdf:rest rdf:nil .
_:n32 a rdf:List .
_:n31 math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :3Dgeo2 .
math-meta:description "The statement that one point is the midpoint of two others." ;
math-meta:example _:n3a .
_:n3a math:arguments _:n3b .
_:n3b rdf:first _:n3c .
_:n3c math:value "This example states that C is the midpoint of A and B."^^xsd:string ;
a math:Literal .
_:n3b rdf:rest _:n3d .
_:n3d rdf:first _:n3e .
_:n3e math:arguments _:n3f .
_:n3f rdf:first _:n3g .
_:n3g math:name "C" ;
a math:Variable .
_:n3f rdf:rest _:n3h .
_:n3h rdf:first _:n3i ;
rdf:rest _:n3j .
_:n3f a rdf:List .
_:n3e math:operator ;
a math:Application .
_:n3d rdf:rest rdf:nil .
_:n3b a rdf:List .
_:n3a math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :3Dgeo2 .
math-meta:description """The symbol represents a binary boolean function with input two lines or segments.
Its value is true whenever the first argument is parallel to the second.""" ;
math-meta:example _:n3k .
_:n3k math:arguments _:n3l .
_:n3l rdf:first _:n3m .
_:n3m math:value "This example states that the lines l and m are parallel."^^xsd:string ;
a math:Literal .
_:n3l rdf:rest _:n3n .
_:n3n rdf:first _:n3o .
_:n3o math:arguments _:n3p .
_:n3p rdf:first _:n3q .
_:n3q math:name "l" ;
a math:Variable .
_:n3p rdf:rest _:n3r .
_:n3r rdf:first _:n3s ;
rdf:rest rdf:nil .
_:n3p a rdf:List .
_:n3o math:operator ;
a math:Application .
_:n3n rdf:rest rdf:nil .
_:n3l a rdf:List .
_:n3k math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :3Dgeo2 .
math-meta:description """The symbol represents a binary boolean function with a line as first argument and a plane as second argument.
Its value is true whenever the first argument is normal to the second.""" ;
math-meta:example _:n3t .
_:n3t math:arguments _:n3u .
_:n3u rdf:first _:n3v .
_:n3v math:value "This example states that the line l is normal to the plane p."^^xsd:string ;
a math:Literal .
_:n3u rdf:rest _:n3w .
_:n3w rdf:first _:n3x .
_:n3x math:arguments _:n3y .
_:n3y rdf:first _:n3z .
_:n3z math:name "l" ;
a math:Variable .
_:n3y rdf:rest _:n40 .
_:n40 rdf:first _:n41 ;
rdf:rest rdf:nil .
_:n3y a rdf:List .
_:n3x math:operator ;
a math:Application .
_:n3w rdf:rest rdf:nil .
_:n3u a rdf:List .
_:n3t math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :3Dgeo2 .
math-meta:description """The symbol represents a binary boolean function with input two lines or segments.
Its value is true whenever the first argument is perpendicular to the second.""" ;
math-meta:example _:n42 .
_:n42 math:arguments _:n43 .
_:n43 rdf:first _:n44 .
_:n44 math:value "This example states that the lines l and m are perpendicular."^^xsd:string ;
a math:Literal .
_:n43 rdf:rest _:n45 .
_:n45 rdf:first _:n46 .
_:n46 math:arguments _:n47 .
_:n47 rdf:first _:n48 .
_:n48 math:name "l" ;
a math:Variable .
_:n47 rdf:rest _:n49 .
_:n49 rdf:first _:n4a ;
rdf:rest rdf:nil .
_:n47 a rdf:List .
_:n46 math:operator ;
a math:Application .
_:n45 rdf:rest rdf:nil .
_:n43 a rdf:List .
_:n42 math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :3Dgeo2 .
math-meta:description """The symbol represents a binary boolean function with input two planes.
Its value is true whenever the first argument is parallel to the second.""" ;
math-meta:example _:n4b .
_:n4b math:arguments _:n4c .
_:n4c rdf:first _:n4d .
_:n4d math:value "This example states that the planes m and n are parallel."^^xsd:string ;
a math:Literal .
_:n4c rdf:rest _:n4e .
_:n4e rdf:first _:n4f .
_:n4f math:arguments _:n4g .
_:n4g rdf:first _:n4h .
_:n4h math:name "m" ;
a math:Variable .
_:n4g rdf:rest _:n4i .
_:n4i rdf:first _:n4j ;
rdf:rest rdf:nil .
_:n4g a rdf:List .
_:n4f math:operator ;
a math:Application .
_:n4e rdf:rest rdf:nil .
_:n4c a rdf:List .
_:n4b math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :3Dgeo2 .
math-meta:description """The statement that a sphere in 3-dimensional Euclidean space has a given point as center.
Takes the sphere as first argument and the point as second argument.""" ;
math-meta:example _:n4k .
_:n4k math:arguments _:n4l .
_:n4l rdf:first _:n4m .
_:n4m math:value "The sphere s with center at A and passing through the point B is given by:"^^xsd:string ;
a math:Literal .
_:n4l rdf:rest _:n4n .
_:n4n rdf:first _:n4o .
_:n4o math:arguments _:n4p .
_:n4p rdf:first _:n4q .
_:n4q math:name "s" ;
a math:Variable .
_:n4p rdf:rest _:n4r .
_:n4r rdf:first _:n4s ;
rdf:rest _:n4t .
_:n4p a rdf:List .
_:n4o math:operator ;
a math:Application .
_:n4n rdf:rest rdf:nil .
_:n4l a rdf:List .
_:n4k math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :3Dgeo2 .
:FundamentalPhysicalConstants1 math-meta:description """This CD defines symbols which represent five fundamental physical constants
and the Planck units that they define.""" ;
a math-meta:Library ;
rdfs:comment """This document is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
The copyright holder grants you permission to redistribute this
document freely as a verbatim copy. Furthermore, the copyright
holder permits you to develop any derived work from this document
provided that the following conditions are met.
a) The derived work acknowledges the fact that it is derived from
this document, and maintains a prominent reference in the
work to the original source.
b) The fact that the derived work is not the original OpenMath
document is stated prominently in the derived work. Moreover if
both this document and the derived work are Content Dictionaries
then the derived work must include a different CDName element,
chosen so that it cannot be confused with any works adopted by
the OpenMath Society. In particular, if there is a Content
Dictionary Group whose name is, for example, `math' containing
Content Dictionaries named `math1', `math2' etc., then you should
not name a derived Content Dictionary `mathN' where N is an integer.
However you are free to name it `private_mathN' or some such. This
is because the names `mathN' may be used by the OpenMath Society
for future extensions.
c) The derived work is distributed under terms that allow the
compilation of derived works, but keep paragraphs a) and b)
intact. The simplest way to do this is to distribute the derived
work under the OpenMath license, but this is not a requirement.
If you have questions about this license please contact the OpenMath
society at http://www.openmath.org.
Author: Joseph B. Collins (2009), Naval Research Laboratory, Washington, DC.
Copyright Notice: This is a work of the U.S. Government and is not
subject to copyright protection in the United States. Foreign copyrights
may apply.""" .
math-meta:commentedProperty "k ~ 1.3806504*10^(-23) joule kelvin^-1" ;
math-meta:description """The Boltzmann constant relates energy at the particle level with temperature observed at the bulk level via the ideal gas law, pV = NkT.
By measurement it is found to be approximately equal to
1.3806504(24)*10^(-23) joule per kelvin.
It is commonly represented with the short, italic symbol, \"k\".""" ;
math-meta:formalProperty _:n4u .
_:n4u math:arguments _:n4v .
_:n4v rdf:first ;
rdf:rest _:n4w .
_:n4w rdf:first _:n4x .
_:n4x math:arguments _:n4y .
_:n4y rdf:first _:n4z .
_:n4z math:arguments _:n50 ;
math:operator ;
a math:Application .
_:n4y rdf:rest _:n51 .
_:n51 rdf:first _:n52 ;
rdf:rest rdf:nil .
_:n4y a rdf:List .
_:n4x math:operator ;
a math:Application .
_:n4w rdf:rest rdf:nil .
_:n4v a rdf:List .
_:n4u math:operator ;
a math:Application .
a math-meta:ConstantSymbol ;
rdfs:isDefinedBy :FundamentalPhysicalConstants1 .
math-meta:commentedProperty "k ~ 1.3806504*10^(-23) joule kelvin^-1" ;
math-meta:description """The value of the Coulomb constant is implied by international definitions of the
speed of light and the vacuum permeability.
By definition, its exact value is equal to (299,792,458)^2 * 10^-7 N m^2 C^-2.
It is commonly represented with the short, italic symbol, \"k\" subscripted with the
upright letter \"e\".""" ;
math-meta:formalProperty _:n53 .
_:n53 math:arguments _:n54 .
_:n54 rdf:first ;
rdf:rest _:n55 .
_:n55 rdf:first _:n56 .
_:n56 math:arguments _:n57 .
_:n57 rdf:first _:n58 .
_:n58 math:arguments _:n59 ;
math:operator ;
a math:Application .
_:n57 rdf:rest _:n5a .
_:n5a rdf:first _:n5b ;
rdf:rest rdf:nil .
_:n57 a rdf:List .
_:n56 math:operator ;
a math:Application .
_:n55 rdf:rest rdf:nil .
_:n54 a rdf:List .
_:n53 math:operator ;
a math:Application .
a math-meta:ConstantSymbol ;
rdfs:isDefinedBy :FundamentalPhysicalConstants1 .
math-meta:commentedProperty "q_P = sqrt(h-bar*c*4*pi*eps0)" , "q_P ~ 1.875545870(47) * 10^−18 coulomb" ;
math-meta:description """The Planck charge is defined to be sqrt(h-bar*c*4*pi*eps0).
Its value derived from measurement is 1.875545870(47) * 10^−18 coulomb.
It is commonly represented with the short, italic symbol, \"q\", subscripted with an upright capital \"P\".""" ;
math-meta:formalProperty _:n5c .
_:n5c math:arguments _:n5d .
_:n5d rdf:first ;
rdf:rest _:n5e .
_:n5e rdf:first _:n5f .
_:n5f math:arguments _:n5g .
_:n5g rdf:first _:n5h .
_:n5h math:arguments _:n5i ;
math:operator ;
a math:Application .
_:n5g rdf:rest _:n5j .
_:n5j rdf:first ;
rdf:rest rdf:nil .
_:n5g a rdf:List .
_:n5f math:operator ;
a math:Application .
_:n5e rdf:rest rdf:nil .
_:n5d a rdf:List .
_:n5c math:operator ;
a math:Application .
a math-meta:ConstantSymbol ;
rdfs:isDefinedBy :FundamentalPhysicalConstants1 .
math-meta:commentedProperty "Planck constant ~ 6.62606896 * 10^–34 J s" ;
math-meta:description """This symbol represents the fundamental constant equal to the ratio of
the energy of a photon to its frequency.
By measurement it is found to be approximately equal to
6.62606896(33)*10^(-34) J s [CODATA 2006].
It is commonly represented with the short, italic symbol, \"h\".""" ;
math-meta:formalProperty _:n5k .
_:n5k math:arguments _:n5l .
_:n5l rdf:first ;
rdf:rest _:n5m .
_:n5m rdf:first _:n5n .
_:n5n math:arguments _:n5o .
_:n5o rdf:first _:n5p .
_:n5p math:arguments _:n5q ;
math:operator ;
a math:Application .
_:n5o rdf:rest _:n5r .
_:n5r rdf:first ;
rdf:rest _:n5s .
_:n5o a rdf:List .
_:n5n math:operator ;
a math:Application .
_:n5m rdf:rest rdf:nil .
_:n5l a rdf:List .
_:n5k math:operator ;
a math:Application .
a math-meta:ConstantSymbol ;
rdfs:isDefinedBy :FundamentalPhysicalConstants1 .
math-meta:commentedProperty "l_P = sqrt(h-bar*G/(c^3))" , "l_P ~ 1.616252(81) * 10^−35 metre" ;
math-meta:description """The Planck length is defined to be sqrt(h-bar*G/(c^3)).
Its value derived from measurement is 1.616252(81) * 10^−35 metre.
It is commonly represented with the short, italic symbol, \"l\", subscripted with an upright capital \"P\".""" ;
math-meta:formalProperty _:n5t .
_:n5t math:arguments _:n5u .
_:n5u rdf:first ;
rdf:rest _:n5v .
_:n5v rdf:first _:n5w .
_:n5w math:arguments _:n5x .
_:n5x rdf:first _:n5y .
_:n5y math:arguments _:n5z ;
math:operator ;
a math:Application .
_:n5x rdf:rest _:n60 .
_:n60 rdf:first ;
rdf:rest rdf:nil .
_:n5x a rdf:List .
_:n5w math:operator ;
a math:Application .
_:n5v rdf:rest rdf:nil .
_:n5u a rdf:List .
_:n5t math:operator ;
a math:Application .
a math-meta:ConstantSymbol ;
rdfs:isDefinedBy :FundamentalPhysicalConstants1 .
math-meta:commentedProperty "m_P = sqrt(h-bar*c/G)" , "m_P ~ 2.17644(11) * 10^−8 kilogram" ;
math-meta:description """The Planck mass is defined to be sqrt(h-bar*c/G).
Its value derived from measurement is 2.17644(11) * 10^−8 kilogram.
It is commonly represented with the short, italic symbol, \"m\", subscripted with an upright capital \"P\".""" ;
math-meta:formalProperty _:n61 .
_:n61 math:arguments _:n62 .
_:n62 rdf:first ;
rdf:rest _:n63 .
_:n63 rdf:first _:n64 .
_:n64 math:arguments _:n65 .
_:n65 rdf:first _:n66 .
_:n66 math:arguments _:n67 ;
math:operator ;
a math:Application .
_:n65 rdf:rest _:n68 .
_:n68 rdf:first ;
rdf:rest rdf:nil .
_:n65 a rdf:List .
_:n64 math:operator ;
a math:Application .
_:n63 rdf:rest rdf:nil .
_:n62 a rdf:List .
_:n61 math:operator ;
a math:Application .
a math-meta:ConstantSymbol ;
rdfs:isDefinedBy :FundamentalPhysicalConstants1 .
math-meta:commentedProperty "l_P = sqrt(h-bar*c^5/(G*k^3))" , "l_P ~ 1.416785(71) × 10^32 kelvin" ;
math-meta:description """The Planck temperature is defined to be sqrt(h-bar*c^5/(G*k^3)).
Its value derived from measurement is 1.416785(71) × 10^32 kelvin.
It is commonly represented with the short, italic symbol, \"T\", subscripted with an upright capital \"P\".""" ;
math-meta:formalProperty _:n69 .
_:n69 math:arguments _:n6a .
_:n6a rdf:first ;
rdf:rest _:n6b .
_:n6b rdf:first _:n6c .
_:n6c math:arguments _:n6d .
_:n6d rdf:first _:n6e .
_:n6e math:arguments _:n6f ;
math:operator ;
a math:Application .
_:n6d rdf:rest _:n6g .
_:n6g rdf:first _:n6h ;
rdf:rest rdf:nil .
_:n6d a rdf:List .
_:n6c math:operator ;
a math:Application .
_:n6b rdf:rest rdf:nil .
_:n6a a rdf:List .
_:n69 math:operator ;
a math:Application .
a math-meta:ConstantSymbol ;
rdfs:isDefinedBy :FundamentalPhysicalConstants1 .
math-meta:commentedProperty "t_P = sqrt(h-bar*G/(c^5))" , "t_P ~ 5.39124(27) * 10^−44 second" ;
math-meta:description """The Planck time is defined to be sqrt(h-bar*G/(c^5)).
Its value derived from measurement is 5.39124(27) * 10^−44 second.
It is commonly represented with the short, italic symbol, \"t\", subscripted with an upright capital \"P\".""" ;
math-meta:formalProperty _:n6i .
_:n6i math:arguments _:n6j .
_:n6j rdf:first ;
rdf:rest _:n6k .
_:n6k rdf:first _:n6l .
_:n6l math:arguments _:n6m .
_:n6m rdf:first _:n6n .
_:n6n math:arguments _:n6o ;
math:operator ;
a math:Application .
_:n6m rdf:rest _:n6p .
_:n6p rdf:first ;
rdf:rest rdf:nil .
_:n6m a rdf:List .
_:n6l math:operator ;
a math:Application .
_:n6k rdf:rest rdf:nil .
_:n6j a rdf:List .
_:n6i math:operator ;
a math:Application .
a math-meta:ConstantSymbol ;
rdfs:isDefinedBy :FundamentalPhysicalConstants1 .
math-meta:commentedProperty "G ~ 6.6742(10)*10^-11 newton metre^2 per kilogram^2" ;
math-meta:description """This symbol represents the constant of proportionality in Newton's law
of universal gravitation.
By measurement it is found to be approximately equal to
6.6742(10)*10^-11 newton metre^2 per kilogram^2.
It is commonly represented with the short, italic symbol, \"G\".""" ;
math-meta:formalProperty _:n6q .
_:n6q math:arguments _:n6r .
_:n6r rdf:first ;
rdf:rest _:n6s .
_:n6s rdf:first _:n6t .
_:n6t math:arguments _:n6u .
_:n6u rdf:first _:n6v .
_:n6v math:arguments _:n6w ;
math:operator ;
a math:Application .
_:n6u rdf:rest _:n6x .
_:n6x rdf:first ;
rdf:rest _:n6y .
_:n6u a rdf:List .
_:n6t math:operator ;
a math:Application .
_:n6s rdf:rest rdf:nil .
_:n6r a rdf:List .
_:n6q math:operator ;
a math:Application .
a math-meta:ConstantSymbol ;
rdfs:isDefinedBy :FundamentalPhysicalConstants1 .
math-meta:commentedProperty "reduced Planck constant = h/(2*pi)" ;
math-meta:description """This symbol represents the Planck constant divided by 2*pi.
It is commonly represented with the short, italic symbol, h with a
horizontal bar (\"h-bar\"), Unicode: U+210F , HTML: ℏ.""" ;
math-meta:formalProperty _:n6z .
_:n6z math:arguments _:n70 .
_:n70 rdf:first ;
rdf:rest _:n71 .
_:n71 rdf:first _:n72 .
_:n72 math:arguments _:n73 .
_:n73 rdf:first ;
rdf:rest _:n74 .
_:n74 rdf:first _:n75 ;
rdf:rest rdf:nil .
_:n73 a rdf:List .
_:n72 math:operator ;
a math:Application .
_:n71 rdf:rest rdf:nil .
_:n70 a rdf:List .
_:n6z math:operator ;
a math:Application .
a math-meta:ConstantSymbol ;
rdfs:isDefinedBy :FundamentalPhysicalConstants1 .
math-meta:commentedProperty "The speed of light is 299,792,458 metre per second" ;
math-meta:description """This symbol represents the speed of light in a vacuum.
Its value is implied by the definition of the metre
[17th CGPM (1983)]. Consequently, the speed of light is defined to be
exactly 299,792,458 metre per second (in the SI).
It is commonly represented with the short, italic symbol, \"c\".""" ;
math-meta:formalProperty _:n76 .
_:n76 math:arguments _:n77 .
_:n77 rdf:first ;
rdf:rest _:n78 .
_:n78 rdf:first _:n79 .
_:n79 math:arguments _:n7a .
_:n7a rdf:first _:n7b .
_:n7b math:value "299792458"^^xsd:integer ;
a math:Literal .
_:n7a rdf:rest _:n7c .
_:n7c rdf:first _:n7d ;
rdf:rest rdf:nil .
_:n7a a rdf:List .
_:n79 math:operator ;
a math:Application .
_:n78 rdf:rest rdf:nil .
_:n77 a rdf:List .
_:n76 math:operator ;
a math:Application .
a math-meta:ConstantSymbol ;
rdfs:isDefinedBy :FundamentalPhysicalConstants1 .
:SIUsed_OffSystemMeasuredUnits1 math-meta:description """This CD defines symbols to represent units that are off-system
with respect to the SI system of units, but are retained for use
with the SI. Each unit is determined by experimental measurement.
(DRAFT INTERNATIONAL STANDARD ISO/DIS 80000-1 - \"Quantities and
units\", 2008).""" ;
a math-meta:Library ;
rdfs:comment """This document is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
The copyright holder grants you permission to redistribute this
document freely as a verbatim copy. Furthermore, the copyright
holder permits you to develop any derived work from this document
provided that the following conditions are met.
a) The derived work acknowledges the fact that it is derived from
this document, and maintains a prominent reference in the
work to the original source.
b) The fact that the derived work is not the original OpenMath
document is stated prominently in the derived work. Moreover if
both this document and the derived work are Content Dictionaries
then the derived work must include a different CDName element,
chosen so that it cannot be confused with any works adopted by
the OpenMath Society. In particular, if there is a Content
Dictionary Group whose name is, for example, `math' containing
Content Dictionaries named `math1', `math2' etc., then you should
not name a derived Content Dictionary `mathN' where N is an integer.
However you are free to name it `private_mathN' or some such. This
is because the names `mathN' may be used by the OpenMath Society
for future extensions.
c) The derived work is distributed under terms that allow the
compilation of derived works, but keep paragraphs a) and b)
intact. The simplest way to do this is to distribute the derived
work under the OpenMath license, but this is not a requirement.
If you have questions about this license please contact the OpenMath
society at http://www.openmath.org.
Author: Joseph B. Collins (2009), Naval Research Laboratory, Washington, DC.
Copyright Notice: This is a work of the U.S. Government and is not
subject to copyright protection in the United States. Foreign copyrights
may apply.""" .
math-meta:commentedProperty "1 astronomical unit ~ 1.49597870691 * 10^11 metre" ;
math-meta:description """This symbol represents the measure of one astronomical unit of distance.
It has the short symbol form, \"ua\".
It is the mean distance between the sun and the earth.
Its measured value is
1 ua = 1.49597870691(6) * 10^11 m
[DRAFT INTERNATIONAL STANDARD ISO/DIS 80000-1,
International Organization for Standardization, 2008]""" ;
math-meta:formalProperty _:n7e .
_:n7e math:arguments _:n7f .
_:n7f rdf:first _:n7g .
_:n7g math:arguments _:n7h .
_:n7h rdf:first _:n7i .
_:n7i math:value "1"^^xsd:integer ;
a math:Literal .
_:n7h rdf:rest _:n7j .
_:n7j rdf:first ;
rdf:rest rdf:nil .
_:n7h a rdf:List .
_:n7g math:operator ;
a math:Application .
_:n7f rdf:rest _:n7k .
_:n7k rdf:first _:n7l .
_:n7l math:arguments _:n7m .
_:n7m rdf:first _:n7n .
_:n7n math:arguments _:n7o ;
math:operator ;
a math:Application .
_:n7m rdf:rest _:n7p .
_:n7p rdf:first ;
rdf:rest rdf:nil .
_:n7m a rdf:List .
_:n7l math:operator ;
a math:Application .
_:n7k rdf:rest rdf:nil .
_:n7f a rdf:List .
_:n7e math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :SIUsed_OffSystemMeasuredUnits1 .
math-meta:commentedProperty "1 dalton ~ 1.660538782 * 10^–27 kilogram" ;
math-meta:description """This symbol represents the measure of one dalton of mass.
It has the short symbol form, \"Da\".
The dalton is one-twelth the mass of an atom of Carbon-12 at rest
and in its ground state.
Its measured value is
1 Da = 1.660538782(83) * 10^–27 kg [CODATA 2006]""" ;
math-meta:formalProperty _:n7q .
_:n7q math:arguments _:n7r .
_:n7r rdf:first _:n7s .
_:n7s math:arguments _:n7t .
_:n7t rdf:first _:n7u .
_:n7u math:value "1"^^xsd:integer ;
a math:Literal .
_:n7t rdf:rest _:n7v .
_:n7v rdf:first ;
rdf:rest rdf:nil .
_:n7t a rdf:List .
_:n7s math:operator ;
a math:Application .
_:n7r rdf:rest _:n7w .
_:n7w rdf:first _:n7x .
_:n7x math:arguments _:n7y .
_:n7y rdf:first _:n7z .
_:n7z math:arguments _:n80 ;
math:operator ;
a math:Application .
_:n7y rdf:rest _:n81 .
_:n81 rdf:first ;
rdf:rest rdf:nil .
_:n7y a rdf:List .
_:n7x math:operator ;
a math:Application .
_:n7w rdf:rest rdf:nil .
_:n7r a rdf:List .
_:n7q math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :SIUsed_OffSystemMeasuredUnits1 .
math-meta:commentedProperty "1 electronvolt = 1.602176487 * 10^–19 joule" ;
math-meta:description """This symbol represents the measure of one electronvolt of energy.
It has the short symbol form, \"eV\".
It is the kinetic energy acquired by an electron in passing through
a potential difference of 1 volt in a vacuum.
Its measured value is
1 eV = 1.602176487(40) * 10^–19 J [CODATA 2006]""" ;
math-meta:formalProperty _:n82 .
_:n82 math:arguments _:n83 .
_:n83 rdf:first _:n84 .
_:n84 math:arguments _:n85 .
_:n85 rdf:first _:n86 .
_:n86 math:value "1"^^xsd:integer ;
a math:Literal .
_:n85 rdf:rest _:n87 .
_:n87 rdf:first ;
rdf:rest rdf:nil .
_:n85 a rdf:List .
_:n84 math:operator ;
a math:Application .
_:n83 rdf:rest _:n88 .
_:n88 rdf:first _:n89 .
_:n89 math:arguments _:n8a .
_:n8a rdf:first _:n8b .
_:n8b math:arguments _:n8c ;
math:operator ;
a math:Application .
_:n8a rdf:rest _:n8d .
_:n8d rdf:first ;
rdf:rest rdf:nil .
_:n8a a rdf:List .
_:n89 math:operator ;
a math:Application .
_:n88 rdf:rest rdf:nil .
_:n83 a rdf:List .
_:n82 math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :SIUsed_OffSystemMeasuredUnits1 .
:SIUsed_OffSystemUnits1 math-meta:description """This CD defines symbols to represent units that are off-system
with respect to the SI system of units, but are retained for use
with the SI.
(DRAFT INTERNATIONAL STANDARD ISO/DIS 80000-1 - \"Quantities and
units\", 2008).""" ;
a math-meta:Library ;
rdfs:comment """This document is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
The copyright holder grants you permission to redistribute this
document freely as a verbatim copy. Furthermore, the copyright
holder permits you to develop any derived work from this document
provided that the following conditions are met.
a) The derived work acknowledges the fact that it is derived from
this document, and maintains a prominent reference in the
work to the original source.
b) The fact that the derived work is not the original OpenMath
document is stated prominently in the derived work. Moreover if
both this document and the derived work are Content Dictionaries
then the derived work must include a different CDName element,
chosen so that it cannot be confused with any works adopted by
the OpenMath Society. In particular, if there is a Content
Dictionary Group whose name is, for example, `math' containing
Content Dictionaries named `math1', `math2' etc., then you should
not name a derived Content Dictionary `mathN' where N is an integer.
However you are free to name it `private_mathN' or some such. This
is because the names `mathN' may be used by the OpenMath Society
for future extensions.
c) The derived work is distributed under terms that allow the
compilation of derived works, but keep paragraphs a) and b)
intact. The simplest way to do this is to distribute the derived
work under the OpenMath license, but this is not a requirement.
If you have questions about this license please contact the OpenMath
society at http://www.openmath.org.
Author: Joseph B. Collins (2009), Naval Research Laboratory, Washington, DC.
Copyright Notice: This is a work of the U.S. Government and is not
subject to copyright protection in the United States. Foreign copyrights
may apply.""" .
math-meta:commentedProperty "1 bel = (ln(10))/2 neper" ;
math-meta:description """This symbol represents the dimensionless measure of one bel.
It has the short symbol form, \"B\".""" ;
math-meta:formalProperty _:n8e .
_:n8e math:arguments _:n8f .
_:n8f rdf:first _:n8g .
_:n8g math:arguments _:n8h .
_:n8h rdf:first _:n8i .
_:n8i math:value "1"^^xsd:integer ;
a math:Literal .
_:n8h rdf:rest _:n8j .
_:n8j rdf:first ;
rdf:rest rdf:nil .
_:n8h a rdf:List .
_:n8g math:operator ;
a math:Application .
_:n8f rdf:rest _:n8k .
_:n8k rdf:first _:n8l .
_:n8l math:arguments _:n8m .
_:n8m rdf:first _:n8n .
_:n8n math:arguments _:n8o ;
math:operator ;
a math:Application .
_:n8m rdf:rest _:n8p .
_:n8p rdf:first ;
rdf:rest rdf:nil .
_:n8m a rdf:List .
_:n8l math:operator ;
a math:Application .
_:n8k rdf:rest rdf:nil .
_:n8f a rdf:List .
_:n8e math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :SIUsed_OffSystemUnits1 .
math-meta:commentedProperty "1 day = 24 hour" ;
math-meta:description """This symbol represents the measure of one day of time.
It has the short symbol form, \"d\".""" ;
math-meta:formalProperty _:n8q .
_:n8q math:arguments _:n8r .
_:n8r rdf:first _:n8s .
_:n8s math:arguments _:n8t .
_:n8t rdf:first _:n8u .
_:n8u math:value "1"^^xsd:integer ;
a math:Literal .
_:n8t rdf:rest _:n8v .
_:n8v rdf:first ;
rdf:rest rdf:nil .
_:n8t a rdf:List .
_:n8s math:operator ;
a math:Application .
_:n8r rdf:rest _:n8w .
_:n8w rdf:first _:n8x .
_:n8x math:arguments _:n8y .
_:n8y rdf:first _:n8z .
_:n8z math:value "24"^^xsd:integer ;
a math:Literal .
_:n8y rdf:rest _:n90 .
_:n90 rdf:first ;
rdf:rest rdf:nil .
_:n8y a rdf:List .
_:n8x math:operator ;
a math:Application .
_:n8w rdf:rest rdf:nil .
_:n8r a rdf:List .
_:n8q math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :SIUsed_OffSystemUnits1 .
math-meta:commentedProperty "1 degree of arc = pi/180 radian" ;
math-meta:description """This symbol represents the angular measure of one degree of arc.
It has the short symbol form of the degree symbol, a superscript
circle, Unicode: U+00B0 or HTML: °.""" ;
math-meta:formalProperty _:n91 .
_:n91 math:arguments _:n92 .
_:n92 rdf:first _:n93 .
_:n93 math:arguments _:n94 .
_:n94 rdf:first _:n95 .
_:n95 math:value "1"^^xsd:integer ;
a math:Literal .
_:n94 rdf:rest _:n96 .
_:n96 rdf:first ;
rdf:rest rdf:nil .
_:n94 a rdf:List .
_:n93 math:operator ;
a math:Application .
_:n92 rdf:rest _:n97 .
_:n97 rdf:first _:n98 .
_:n98 math:arguments _:n99 .
_:n99 rdf:first _:n9a .
_:n9a math:arguments _:n9b ;
math:operator ;
a math:Application .
_:n99 rdf:rest _:n9c .
_:n9c rdf:first ;
rdf:rest rdf:nil .
_:n99 a rdf:List .
_:n98 math:operator ;
a math:Application .
_:n97 rdf:rest rdf:nil .
_:n92 a rdf:List .
_:n91 math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :SIUsed_OffSystemUnits1 .
math-meta:commentedProperty "1 hour = 60 minute" ;
math-meta:description """This symbol represents the measure of one hour of time.
It has the short symbol form, \"h\".""" ;
math-meta:formalProperty _:n9d .
_:n9d math:arguments _:n9e .
_:n9e rdf:first _:n9f .
_:n9f math:arguments _:n9g .
_:n9g rdf:first _:n9h .
_:n9h math:value "1"^^xsd:integer ;
a math:Literal .
_:n9g rdf:rest _:n9i .
_:n9i rdf:first ;
rdf:rest rdf:nil .
_:n9g a rdf:List .
_:n9f math:operator ;
a math:Application .
_:n9e rdf:rest _:n9j .
_:n9j rdf:first _:n9k .
_:n9k math:arguments _:n9l .
_:n9l rdf:first _:n9m .
_:n9m math:value "60"^^xsd:integer ;
a math:Literal .
_:n9l rdf:rest _:n9n .
_:n9n rdf:first ;
rdf:rest rdf:nil .
_:n9l a rdf:List .
_:n9k math:operator ;
a math:Application .
_:n9j rdf:rest rdf:nil .
_:n9e a rdf:List .
_:n9d math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :SIUsed_OffSystemUnits1 .
math-meta:commentedProperty "1 litre = 1 decimetre^3" ;
math-meta:description """This symbol represents the volume measure of one litre.
It has the short symbol form, \"l\" or \"L\".""" ;
math-meta:formalProperty _:n9o .
_:n9o math:arguments _:n9p .
_:n9p rdf:first _:n9q .
_:n9q math:arguments _:n9r .
_:n9r rdf:first _:n9s .
_:n9s math:value "1"^^xsd:integer ;
a math:Literal .
_:n9r rdf:rest _:n9t .
_:n9t rdf:first ;
rdf:rest rdf:nil .
_:n9r a rdf:List .
_:n9q math:operator ;
a math:Application .
_:n9p rdf:rest _:n9u .
_:n9u rdf:first _:n9v .
_:n9v math:arguments _:n9w .
_:n9w rdf:first _:n9x .
_:n9x math:arguments _:n9y ;
math:operator ;
a math:Application .
_:n9w rdf:rest _:n9z .
_:n9z rdf:first _:na0 ;
rdf:rest rdf:nil .
_:n9w a rdf:List .
_:n9v math:operator ;
a math:Application .
_:n9u rdf:rest rdf:nil .
_:n9p a rdf:List .
_:n9o math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :SIUsed_OffSystemUnits1 .
math-meta:commentedProperty "1 minute = 60 seconds" ;
math-meta:description """This symbol represents the measure of one minute of time.
It has the short symbol form, \"min\".""" ;
math-meta:formalProperty _:na1 .
_:na1 math:arguments _:na2 .
_:na2 rdf:first _:na3 .
_:na3 math:arguments _:na4 .
_:na4 rdf:first _:na5 .
_:na5 math:value "1"^^xsd:integer ;
a math:Literal .
_:na4 rdf:rest _:na6 .
_:na6 rdf:first ;
rdf:rest rdf:nil .
_:na4 a rdf:List .
_:na3 math:operator ;
a math:Application .
_:na2 rdf:rest _:na7 .
_:na7 rdf:first _:na8 .
_:na8 math:arguments _:na9 .
_:na9 rdf:first _:naa .
_:naa math:value "60"^^xsd:integer ;
a math:Literal .
_:na9 rdf:rest _:nab .
_:nab rdf:first ;
rdf:rest rdf:nil .
_:na9 a rdf:List .
_:na8 math:operator ;
a math:Application .
_:na7 rdf:rest rdf:nil .
_:na2 a rdf:List .
_:na1 math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :SIUsed_OffSystemUnits1 .
math-meta:commentedProperty "1 minute of arc = 1/60 degree of arc" ;
math-meta:description """This symbol represents the angular measure of one minute of arc.
It has the short symbol form, \"'\".""" ;
math-meta:formalProperty _:nac .
_:nac math:arguments _:nad .
_:nad rdf:first _:nae .
_:nae math:arguments _:naf .
_:naf rdf:first _:nag .
_:nag math:value "1"^^xsd:integer ;
a math:Literal .
_:naf rdf:rest _:nah .
_:nah rdf:first ;
rdf:rest rdf:nil .
_:naf a rdf:List .
_:nae math:operator ;
a math:Application .
_:nad rdf:rest _:nai .
_:nai rdf:first _:naj .
_:naj math:arguments _:nak .
_:nak rdf:first ;
rdf:rest _:nal .
_:nal rdf:first _:nam ;
rdf:rest rdf:nil .
_:nak a rdf:List .
_:naj math:operator ;
a math:Application .
_:nai rdf:rest rdf:nil .
_:nad a rdf:List .
_:nac math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :SIUsed_OffSystemUnits1 .
math-meta:commentedProperty "1 neper = ln(e) = 1" ;
math-meta:description """This symbol represents the dimensionless measure of one neper,
the natural unit for representing logarithms of ratios of field
amplitudes, such as voltage or pressure.
It has the short symbol form, \"Np\".""" ;
math-meta:formalProperty _:nan .
_:nan math:arguments _:nao .
_:nao rdf:first _:nap .
_:nap math:arguments _:naq .
_:naq rdf:first _:nar .
_:nar math:value "1"^^xsd:integer ;
a math:Literal .
_:naq rdf:rest _:nas .
_:nas rdf:first ;
rdf:rest rdf:nil .
_:naq a rdf:List .
_:nap math:operator ;
a math:Application .
_:nao rdf:rest _:nat .
_:nat rdf:first _:nau .
_:nau math:arguments _:nav .
_:nav rdf:first ;
rdf:rest _:naw .
_:naw rdf:first ;
rdf:rest rdf:nil .
_:nav a rdf:List .
_:nau math:operator ;
a math:Application .
_:nat rdf:rest _:nax .
_:nax rdf:first _:nay .
_:nay math:value "1"^^xsd:integer ;
a math:Literal .
_:nax rdf:rest rdf:nil .
_:nao a rdf:List .
_:nan math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :SIUsed_OffSystemUnits1 .
math-meta:commentedProperty "1 second of arc = 1/60 minute of arc" ;
math-meta:description """This symbol represents the angular measure of one second of arc.
It has the short symbol form, '\"'.""" ;
math-meta:formalProperty _:naz .
_:naz math:arguments _:nb0 .
_:nb0 rdf:first _:nb1 .
_:nb1 math:arguments _:nb2 .
_:nb2 rdf:first _:nb3 .
_:nb3 math:value "1"^^xsd:integer ;
a math:Literal .
_:nb2 rdf:rest _:nb4 .
_:nb4 rdf:first ;
rdf:rest rdf:nil .
_:nb2 a rdf:List .
_:nb1 math:operator ;
a math:Application .
_:nb0 rdf:rest _:nb5 .
_:nb5 rdf:first _:nb6 .
_:nb6 math:arguments _:nb7 .
_:nb7 rdf:first ;
rdf:rest _:nb8 .
_:nb8 rdf:first _:nb9 ;
rdf:rest rdf:nil .
_:nb7 a rdf:List .
_:nb6 math:operator ;
a math:Application .
_:nb5 rdf:rest rdf:nil .
_:nb0 a rdf:List .
_:naz math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :SIUsed_OffSystemUnits1 .
math-meta:commentedProperty "1 tonne = 1000 kilogram" ;
math-meta:description """This symbol represents the mass measure of one tonne.
It has the short symbol form, \"t\".""" ;
math-meta:formalProperty _:nba .
_:nba math:arguments _:nbb .
_:nbb rdf:first _:nbc .
_:nbc math:arguments _:nbd .
_:nbd rdf:first _:nbe .
_:nbe math:value "1"^^xsd:integer ;
a math:Literal .
_:nbd rdf:rest _:nbf .
_:nbf rdf:first ;
rdf:rest rdf:nil .
_:nbd a rdf:List .
_:nbc math:operator ;
a math:Application .
_:nbb rdf:rest _:nbg .
_:nbg rdf:first _:nbh .
_:nbh math:arguments _:nbi .
_:nbi rdf:first _:nbj .
_:nbj math:value "1000"^^xsd:integer ;
a math:Literal .
_:nbi rdf:rest _:nbk .
_:nbk rdf:first ;
rdf:rest rdf:nil .
_:nbi a rdf:List .
_:nbh math:operator ;
a math:Application .
_:nbg rdf:rest rdf:nil .
_:nbb a rdf:List .
_:nba math:operator ;
a math:Application .
a math:Symbol ;
rdfs:isDefinedBy :SIUsed_OffSystemUnits1 .
:SI_BaseQuantities math-meta:description """This CD defines symbols which represent the seven base quantities of the SI
(Syst\\'{e}me International) system of quantities for describing quantity
dimensions.
(DRAFT INTERNATIONAL STANDARD ISO/DIS 80000-1 - \"Quantities and
units\", 2008)""" ;
a math-meta:Library ;
rdfs:comment """This document is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
The copyright holder grants you permission to redistribute this
document freely as a verbatim copy. Furthermore, the copyright
holder permits you to develop any derived work from this document
provided that the following conditions are met.
a) The derived work acknowledges the fact that it is derived from
this document, and maintains a prominent reference in the
work to the original source.
b) The fact that the derived work is not the original OpenMath
document is stated prominently in the derived work. Moreover if
both this document and the derived work are Content Dictionaries
then the derived work must include a different CDName element,
chosen so that it cannot be confused with any works adopted by
the OpenMath Society. In particular, if there is a Content
Dictionary Group whose name is, for example, `math' containing
Content Dictionaries named `math1', `math2' etc., then you should
not name a derived Content Dictionary `mathN' where N is an integer.
However you are free to name it `private_mathN' or some such. This
is because the names `mathN' may be used by the OpenMath Society
for future extensions.
c) The derived work is distributed under terms that allow the
compilation of derived works, but keep paragraphs a) and b)
intact. The simplest way to do this is to distribute the derived
work under the OpenMath license, but this is not a requirement.
If you have questions about this license please contact the OpenMath
society at http://www.openmath.org.
Author: Joseph B. Collins (2009), Naval Research Laboratory, Washington, DC.
Copyright Notice: This is a work of the U.S. Government and is not
subject to copyright protection in the United States. Foreign copyrights
may apply.""" .
math-meta:description """This symbol represents the SI base quantity of amount of substance.
It has the short symbol form, \"N\".""" ;
a math-meta:ConstantSymbol ;
rdfs:isDefinedBy :SI_BaseQuantities .
math-meta:description """This symbol represents the SI base quantity of electrical current.
It has the short symbol form, \"I\".""" ;
a math-meta:ConstantSymbol ;
rdfs:isDefinedBy :SI_BaseQuantities .
math-meta:description """This symbol represents the SI base quantity of length.
It has the short symbol form, \"L\".""" ;
a math-meta:ConstantSymbol ;
rdfs:isDefinedBy :SI_BaseQuantities .
math-meta:description """This symbol represents the SI base quantity of luminous intensity.
It has the short symbol form, \"J\".""" ;
a math-meta:ConstantSymbol ;
rdfs:isDefinedBy :SI_BaseQuantities .
math-meta:description """This symbol represents the SI base quantity of mass.
It has the short symbol form, \"M\".""" ;
a math-meta:ConstantSymbol ;
rdfs:isDefinedBy :SI_BaseQuantities .
math-meta:description """This symbol represents the proposed SI base quantity of dimension one,
or the dimensionless quantity.
It has the short symbol form, \"1\".""" ;
a math-meta:ConstantSymbol ;
rdfs:isDefinedBy :SI_BaseQuantities .