Pascal concept from the SUMO knowledge base

Next PressureMeasure: MegaPascal Up: PressureMeasure, SystemeInternationalUnit

Pascal

subject fact

Pascal documentation SI PressureMeasure. Symbol:Pa. It is the pressure of one Newton per square Meter. Pascal = N/m^2 = m^(-1)*kg*s^(-2) 2001-11-30 13:34:56.0
has axiom
(equal
(MeasureFn ?NUMBER MegaPascal)
(MeasureFn (MultiplicationFn ?NUMBER 1.0E6) Pascal))
is an instance of PressureMeasure
is an instance of SystemeInternationalUnit

UnitOfMeasure is second domain of MeasureFn 2001-11-30 13:35:31.0

Function is first domain of AssignmentFn 2001-11-30 13:34:18.0
is first domain of closedOn
is first domain of range
is first domain of rangeSubclass

PhysicalQuantity is partitioned into ConstantQuantity, FunctionQuantity 2001-11-30 13:34:58.0

Class is third domain of domain 2001-11-30 13:33:51.0
is third domain of domainSubclass

Abstract is disjoint from Physical 2001-11-30 13:33:32.0

Pascal	*documentation* SI PressureMeasure. Symbol:Pa. It is the pressure of one Newton per square Meter. Pascal = N/m^2 = m^(-1)kgs^(-2)
	has axiom (equal (MeasureFn ?NUMBER MegaPascal) (MeasureFn (MultiplicationFn ?NUMBER 1.0E6) Pascal))
	*is an instance* of** PressureMeasure
	*is an instance* of** SystemeInternationalUnit
UnitOfMeasure	*is second domain* of** MeasureFn
Function	*is first domain* of** AssignmentFn
	*is first domain* of** closedOn
	*is first domain* of** range
	*is first domain* of** rangeSubclass
PhysicalQuantity	is partitioned into ConstantQuantity, FunctionQuantity
Class	*is third domain* of** domain
Class	*is third domain* of** domainSubclass
Abstract	*is disjoint* from** Physical