UnaryConstantFunctionQuantity Comparison Table

Next FunctionQuantity: AbsorbedDoseMeasure Up: FunctionQuantity, UnaryFunction Previous FunctionQuantity: PressureMeasure

UnaryConstantFunctionQuantity comparison table

Subject be third domain of documentation be disjoint from is a kind of be second domain of be first domain of partition into have axiom

TimeDependentQuantity domainSubclass A UnaryConstantFunction of continuous time. All instances of this Class map a time quantity into another ConstantQuantity such as temperature. For example, 'the temperature at the top of the Empire State Building' is a TimeDependentQuantity since its value depends on the time Physical UnaryConstantFunctionQuantity inverse rangeSubclass ConstantQuantity, FunctionQuantity
(=>
(instance ?FUNCTION TimeDependentQuantity)
(domain ?FUNCTION 1 TimeMeasure))

Subject	be third domain of	documentation	be disjoint from	is a kind of	be second domain of	be first domain of	partition into	have axiom
TimeDependentQuantity	domainSubclass	A UnaryConstantFunction of continuous time. All instances of this Class map a time quantity into another ConstantQuantity such as temperature. For example, 'the temperature at the top of the Empire State Building' is a TimeDependentQuantity since its value depends on the time	Physical	UnaryConstantFunctionQuantity	inverse	rangeSubclass	ConstantQuantity, FunctionQuantity	(=> (instance ?FUNCTION TimeDependentQuantity) (domain ?FUNCTION 1 TimeMeasure))

Next FunctionQuantity: AbsorbedDoseMeasure Up: FunctionQuantity, UnaryFunction Previous FunctionQuantity: PressureMeasure