SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > FunctionQuantity > PressureMeasure > Pascal
Next PressureMeasure: MegaPascal    Up: PressureMeasure, SystemeInternationalUnit

Pascal comparison table
Subject be first domain of be second domain of documentation have axiom be third domain of is a kind of is an instance of
PressureMeasurerangeSubclassSubtractionFnA FunctionQuantity is a Function that maps from one or more instances of ConstantQuantity to another instance of ConstantQuantity. For example, the velocity of a particle would be represented by a FunctionQuantity mapping values of time (which are ConstantQuantities) to values of distance (also ConstantQuantities). Note that all instances of FunctionQuantity are Functions with a fixed arity. Note too that all elements of the range of a FunctionQuantity have the same physical dimension as the FunctionQuantity itself
(<=> 
 	(instance ?ABS Abstract)
       	(not 
 	      (exists (?POINT) 
                    (or 
 		        (located ?ABS ?POINT)
                     (existant ?ABS ?POINT)))))
domainSubclassFunctionQuantity 
SystemeInternationalUnitSubtractionFnMeasureFnThe Class of Systeme International (SI) units
(=>
    (and
       (instance ?REL RelationExtendedToQuantities)
       (instance ?REL BinaryRelation)
       (instance ?NUMBER1 RealNumber)
       (instance ?NUMBER2 RealNumber)
       (holds ?REL ?NUMBER1 ?NUMBER2))
    (forall (?UNIT)
       (=>
          (instance ?UNIT UnitOfMeasure)
          (holds ?REL (MeasureFn ?NUMBER1 ?UNIT) (MeasureFn ?NUMBER2 ?UNIT)))))
 UnitOfMeasure 
PascalrangeSubclassMeasureFnSI PressureMeasure. Symbol:Pa. It is the pressure of one Newton per square Meter. Pascal = N/m^2 = m^(-1)*kg*s^(-2)
(equal
 	(MeasureFn ?NUMBER MegaPascal)
 	(MeasureFn (MultiplicationFn ?NUMBER 1.0E6) Pascal))
domainSubclass SystemeInternationalUnit

Next PressureMeasure: MegaPascal    Up: PressureMeasure, SystemeInternationalUnit