MeasureFn Comparison Table

Next BinaryFunction: MereologicalDifferenceFn Up: BinaryFunction Previous BinaryFunction: LogFn

MeasureFn comparison table

Subject have domain2 have domain1 have range documentation have axiom is a kind of is an instance of

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

MeasureFn UnitOfMeasure RealNumber ConstantQuantity This BinaryFunction maps a RealNumber and a UnitOfMeasure to that Number of units. It is used for expressing ConstantQuantities. For example, the concept of three meters is represented as (MeasureFn 3 Meter)
(equal
(MeasureFn ?NUMBER YearDuration)
(MeasureFn (MultiplicationFn ?NUMBER 365) DayDuration))
BinaryFunction

Subject	have domain2	have domain1	have range	documentation	have axiom	is a kind of	is an instance of
BinaryFunction				The Class of Functions that require two arguments	(=> (instance ?FUNCTION BinaryFunction) (valence ?FUNCTION 2))	TernaryRelation
MeasureFn	UnitOfMeasure	RealNumber	ConstantQuantity	This BinaryFunction maps a RealNumber and a UnitOfMeasure to that Number of units. It is used for expressing ConstantQuantities. For example, the concept of three meters is represented as (MeasureFn 3 Meter)	(equal (MeasureFn ?NUMBER YearDuration) (MeasureFn (MultiplicationFn ?NUMBER 365) DayDuration))		BinaryFunction

Next BinaryFunction: MereologicalDifferenceFn Up: BinaryFunction Previous BinaryFunction: LogFn