SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > Function > FunctionQuantity

FunctionQuantity
subject			fact

FunctionQuantity	documentation A 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
	is a kind of Function
	is a kind of PhysicalQuantity
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
Relation	is second domain of subrelation
Quantity	is second domain of AdditionFn
	is second domain of DivisionFn
	is second domain of greaterThan
	is second domain of greaterThanOrEqualTo
	is second domain of lessThan
	is second domain of lessThanOrEqualTo
	is second domain of MaxFn
	is second domain of MinFn
	is second domain of MultiplicationFn
	is second domain of RemainderFn
	is second domain of SubtractionFn
Class	has axiom (<=> (instance ?CLASS Class) (subclass ?CLASS Entity))
	has axiom (forall (?INT) (domain disjointDecomposition ?INT Class))
	has axiom (forall (?INT) (domain exhaustiveDecomposition ?INT Class))
	is third domain of domain
	is third domain of domainSubclass
Abstract	has axiom (<=> (instance ?ABS Abstract) (not (exists (?POINT) (or (located ?ABS ?POINT) (existant ?ABS ?POINT)))))
	is disjoint from Physical

Kinds of FunctionQuantity :

• AbsorbedDoseMeasure (1 kind, 4 facts)
• CapacitanceMeasure (1 kind, 4 facts)
• DensityMeasure (1 kind, 7 facts)
• DoseEquivalentMeasure (1 kind, 4 facts)
• ElectricConductanceMeasure (1 kind, 4 facts)
• ElectricCurrentMeasure (4 kinds, 19 facts)
• ElectricPotentialMeasure (3 kinds, 14 facts)
• ElectricResistanceMeasure (3 kinds, 14 facts)
• EnergyMeasure (4 kinds, 19 facts)
• ForceMeasure (2 kinds, 9 facts)
• IlluminanceMeasure (1 kind, 4 facts)
• InductanceMeasure (1 kind, 4 facts)
• LuminosityIntensityMeasure (1 kind, 4 facts)
• LuminousFluxMeasure (1 kind, 4 facts)
• MagneticFluxDensityMeasure (1 kind, 4 facts)
• MagneticFluxMeasure (1 kind, 4 facts)
• PowerMeasure (2 kinds, 9 facts)
• PressureMeasure (2 kinds, 9 facts)
• UnaryConstantFunctionQuantity (10 kinds, 37 facts) - The class of UnaryFunctions that map from the Class ConstantQuantity to the Class ConstantQuantity

Next Function: GreatestCommonDivisorFn    Up: Function, PhysicalQuantity    Previous Function: ContinuousFunction