DensityFn Comparison Table

Entity > Abstract > Class > Relation > Function > BinaryFunction > DensityFn

Next BinaryFunction: ExponentiationFn Up: BinaryFunction, DensityMeasure Previous BinaryFunction: DayFn

DensityFn comparison table

Subject have domain2 have domain1 partition into be first domain of have range be second domain of documentation have axiom is a kind of is an instance of

BinaryFunction identityElement distributes The Class of Functions that require two arguments
(=>
(instance ?FUNCTION BinaryFunction)
(valence ?FUNCTION 2))
TernaryRelation

DensityMeasure ConstantQuantity, FunctionQuantity rangeSubclass SubtractionFn 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
(<=>
(instance ?ABS Abstract)
(not
(exists (?POINT)
(or
(located ?ABS ?POINT)
(existant ?ABS ?POINT)))))
FunctionQuantity

DensityFn VolumeMeasure MassMeasure ConstantQuantity, FunctionQuantity identityElement DensityMeasure distributes A very general FunctionQuantity. DensityFn maps an instance of MassMeasure and an instance of VolumeMeasure to the density represented by this combination of mass and volume. For example, (DensityFn (MeasureFn 3 Kilogram) (MeasureFn 1 Liter)) represents the density of 3 kilograms per liter
(=>
(instance ?FUNCTION BinaryFunction)
(valence ?FUNCTION 2))
DensityMeasure

Subject	have domain2	have domain1	partition into	be first domain of	have range	be second domain of	documentation	have axiom	is a kind of	is an instance of
BinaryFunction				identityElement		distributes	The Class of Functions that require two arguments	(=> (instance ?FUNCTION BinaryFunction) (valence ?FUNCTION 2))	TernaryRelation
DensityMeasure			ConstantQuantity, FunctionQuantity	rangeSubclass		SubtractionFn	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	(<=> (instance ?ABS Abstract) (not (exists (?POINT) (or (located ?ABS ?POINT) (existant ?ABS ?POINT)))))	FunctionQuantity
DensityFn	VolumeMeasure	MassMeasure	ConstantQuantity, FunctionQuantity	identityElement	DensityMeasure	distributes	A very general FunctionQuantity. DensityFn maps an instance of MassMeasure and an instance of VolumeMeasure to the density represented by this combination of mass and volume. For example, (DensityFn (MeasureFn 3 Kilogram) (MeasureFn 1 Liter)) represents the density of 3 kilograms per liter	(=> (instance ?FUNCTION BinaryFunction) (valence ?FUNCTION 2))		DensityMeasure

Next BinaryFunction: ExponentiationFn Up: BinaryFunction, DensityMeasure Previous BinaryFunction: DayFn