Newton concept from the SUMO knowledge base

Next ForceMeasure: PoundForce Up: ForceMeasure, SystemeInternationalUnit

Newton

subject fact

Newton documentation SI ForceMeasure. Symbol: N. It is that force which gives to a mass of 1 Kilogram an acceleration of 1 Meter per SecondDuration. Newton = m*kg*s^(-2) 2001-11-30 13:34:48.0
has axiom
(equal
(MeasureFn ?NUMBER PoundForce)
(MeasureFn (MultiplicationFn ?NUMBER 4.448222) Newton))
is an instance of ForceMeasure
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

Newton	*documentation* SI ForceMeasure. Symbol: N. It is that force which gives to a mass of 1 Kilogram an acceleration of 1 Meter per SecondDuration. Newton = mkgs^(-2)
	has axiom (equal (MeasureFn ?NUMBER PoundForce) (MeasureFn (MultiplicationFn ?NUMBER 4.448222) Newton))
	*is an instance* of** ForceMeasure
	*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