Permalink
Browse files

updated kif to clif translation of standard-units and mechanical-comp…

…onents ontologies from ontolingua project
  • Loading branch information...
carmenschui@gmail.com
carmenschui@gmail.com committed Nov 25, 2013
1 parent 1755b8c commit e745e9dc924d8326d17ff9d07f4e3cd34fb7dc90
@@ -27,7 +27,7 @@ Mechanical-component is a specialization of COMPONENT from the component-assembl
")
(forall (?p)
(iff (MECHANICAL-COMPONENT ?p)
(if (MECHANICAL-COMPONENT ?p)
(and (component ?p)
(3D-point (REFERENCE-POINT ?p))
(3D-frame (REFERENCE-FRAME ?p))
@@ -40,7 +40,7 @@ The physical-connection class is a specialization of the connection class from t
:def (connection ?c))
")
(forall (?p)
(iff (MECHANICAL-CONNECTION ?c)
(if (MECHANICAL-CONNECTION ?c)
(connection ?c)))
(cl-comment "
@@ -25,11 +25,11 @@
identity-unit)))")
(forall (?unit)
(iff (SI-unit ?unit)
(if (SI-unit ?unit)
(unit-of-measure ?unit)))
(forall (?unit)
(iff (SI-unit ?unit)
(if (SI-unit ?unit)
(and (system-of-units SI-unit)
(= (base-units SI-unit)
(setof meter kilogram second-of-time ampere degree-kelvin mole candela identity-unit)))))
@@ -47,7 +47,7 @@ define-instance SECOND-OF-TIME (unit-of-measure)
(unit-of-measure SECOND-OF-TIME)
(iff (unit-of-measure SECOND-OF-TIME)
(if (unit-of-measure SECOND-OF-TIME)
(and (= (quantity.dimension second-of-time) time-dimension)
(SI-unit second-of-time)))
@@ -63,7 +63,7 @@ define-instance SECOND-OF-TIME (unit-of-measure)
(= MINUTE (* second-of-time 60))
(iff (unit-of-measure MINUTE)
(if (unit-of-measure MINUTE)
(= (quantity.dimension minute) time-dimension)
)
@@ -78,7 +78,7 @@ define-instance SECOND-OF-TIME (unit-of-measure)
(= HOUR (* minute 60))
(iff (unit-of-measure HOUR)
(if (unit-of-measure HOUR)
(= (quantity.dimension hour) time-dimension)
)
@@ -92,7 +92,7 @@ because this is a standard.
(unit-of-measure METER)
(iff (unit-of-measure METER)
(if (unit-of-measure METER)
(and (= (quantity.dimension meter) length-dimension)(SI-unit meter))
)
@@ -106,7 +106,7 @@ because this is a standard.
(= KILOMETER (* meter 1000))
(iff (unit-of-measure KILOMETER)
(if (unit-of-measure KILOMETER)
(= (quantity.dimension kilometer) length-dimension)
)
@@ -121,7 +121,7 @@ because this is a standard.
(= INCH (/ meter 39.37))
(iff (unit-of-measure INCH)
(if (unit-of-measure INCH)
(= (quantity.dimension inch) length-dimension)
)
@@ -136,7 +136,7 @@ because this is a standard.
(= FOOT (* inch 12))
(iff (unit-of-measure FOOT)
(if (unit-of-measure FOOT)
(= (quantity.dimension foot) length-dimension)
)
@@ -151,7 +151,7 @@ because this is a standard.
(= MILE (* foot 5280))
(iff (unit-of-measure MILE)
(if (unit-of-measure MILE)
(= (quantity.dimension mile) length-dimension)
)
@@ -167,7 +167,7 @@ because this is a standard.
(= ANGSTROM (/ meter (expt 10 10)))
(iff (unit-of-measure ANGSTROM)
(if (unit-of-measure ANGSTROM)
(= (quantity.dimension angstrom) length-dimension)
)
@@ -180,7 +180,7 @@ because this is a standard.
(unit-of-measure KILOGRAM)
(iff (unit-of-measure KILOGRAM)
(if (unit-of-measure KILOGRAM)
(and (= (quantity.dimension kilogram) mass-dimension)(SI-unit kilogram))
)
@@ -195,7 +195,7 @@ because this is a standard.
(= POUND-MASS (/ kilogram 2.2046))
(iff (unit-of-measure POUND-MASS)
(if (unit-of-measure POUND-MASS)
(= (quantity.dimension pound-mass) mass-dimension)
)
@@ -210,7 +210,7 @@ because this is a standard.
(= SLUG (/ pound-mass 1000))
(iff (unit-of-measure SLUG)
(if (unit-of-measure SLUG)
(= (quantity.dimension slug) mass-dimension)
)
@@ -226,7 +226,7 @@ because this is a standard.
(= NEWTON (* (* kilogram meter) (expt second-of-time -2)))
(iff (unit-of-measure NEWTON)
(if (unit-of-measure NEWTON)
(and (= (quantity.dimension newton) force-dimension)(SI-unit newton))
)
@@ -240,7 +240,7 @@ because this is a standard.
(unit-of-measure AMPERE)
(iff (unit-of-measure AMPERE)
(if (unit-of-measure AMPERE)
(and (= (quantity.dimension ampere) electrical-current-dimension)(SI-unit ampere))
)
@@ -255,7 +255,7 @@ because this is a standard.
(= POUND-FORCE (/ newton 4.448))
(iff (unit-of-measure POUND-FORCE)
(if (unit-of-measure POUND-FORCE)
(= (quantity.dimension pound-force) force-dimension)
)
@@ -271,7 +271,7 @@ because this is a standard.
(= JOULE (* newton meter))
(iff (unit-of-measure JOULE)
(if (unit-of-measure JOULE)
(and (SI-unit joule)(= (quantity.dimension joule) energy-dimension))
)
@@ -286,7 +286,7 @@ because this is a standard.
(= BTU (* 1055.0 joule))
(iff (unit-of-measure BTU)
(if (unit-of-measure BTU)
(= (quantity.dimension btu) energy-dimension)
)
@@ -304,7 +304,7 @@ because this is a standard.
(= PASCAL (* newton (expt meter -2)))
(iff (unit-of-measure PASCAL)
(if (unit-of-measure PASCAL)
(and (SI-unit pascal)
(= (quantity.dimension pascal)
(* force-dimension (expt length-dimension -2))))
@@ -321,7 +321,7 @@ differs from the Celcius scale ...
(unit-of-measure DEGREE-KELVIN)
(iff (unit-of-measure DEGREE-KELVIN)
(if (unit-of-measure DEGREE-KELVIN)
(and (= (quantity.dimension degree-kelvin) thermodynamic-temperature-dimension)
(SI-unit degree-kelvin))
)
@@ -341,7 +341,7 @@ the freezing point of water is 491.67<^o> and the boiling point
(= DEGREE-RANKINE (* degree-kelvin (/ 5 9)))
(iff (unit-of-measure DEGREE-RANKINE)
(if (unit-of-measure DEGREE-RANKINE)
(= (quantity.dimension degree-rankine) thermodynamic-temperature-dimension)
)
@@ -356,7 +356,7 @@ the freezing point of water is 491.67<^o> and the boiling point
(= RADIAN identity-unit)
(iff (unit-of-measure RADIAN)
(if (unit-of-measure RADIAN)
(= (quantity.dimension radian) identity-dimension)
)
@@ -388,7 +388,7 @@ of the perimeter of a circle to its diameter.
(= ANGULAR-DEGREE identity-unit)
(iff (unit-of-measure ANGULAR-DEGREE)
(if (unit-of-measure ANGULAR-DEGREE)
(= (quantity.dimension radian) identity-dimension)
)
@@ -400,7 +400,7 @@ of the perimeter of a circle to its diameter.
(unit-of-measure US-DOLLAR)
(iff (unit-of-measure US-DOLLAR)
(if (unit-of-measure US-DOLLAR)
(= (quantity.dimension us-dollar) currency-dimension)
)
@@ -415,7 +415,7 @@ of the perimeter of a circle to its diameter.
(= US-CENT (/ US-DOLLAR 100))
(iff (unit-of-measure US-CENT)
(if (unit-of-measure US-CENT)
(= (quantity.dimension us-cent) currency-dimension)
)
@@ -435,7 +435,7 @@ is the molecule, so that the MOLE stands by itself as a unit.
(unit-of-measure MOLE)
(iff (unit-of-measure MOLE)
(if (unit-of-measure MOLE)
(and (= (quantity.dimension MOLE) amount-of-substance-dimension)
(SI-unit MOLE))
)
@@ -451,7 +451,7 @@ is the molecule, so that the MOLE stands by itself as a unit.
(unit-of-measure CANDELA)
(iff (unit-of-measure CANDELA)
(if (unit-of-measure CANDELA)
(and (= (quantity.dimension CANDELA) luminous-intensity-dimension)
(SI-unit CANDELA))
)
@@ -468,7 +468,7 @@ is the molecule, so that the MOLE stands by itself as a unit.
(= megapascal (* pascal 1000000))
(iff (unit-of-measure megapascal)
(if (unit-of-measure megapascal)
(quantity.dimension megapascal pressure-dimension)
)
@@ -483,7 +483,7 @@ is the molecule, so that the MOLE stands by itself as a unit.
(= watt (* newton meter))
(iff (unit-of-measure watt)
(if (unit-of-measure watt)
(quantity.dimension watt work-dimension)
)

0 comments on commit e745e9d

Please sign in to comment.