SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Function > BinaryFunction > MeasureFn |
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 | (=> | 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 | BinaryFunction |
Next BinaryFunction: MereologicalDifferenceFn Up: BinaryFunction Previous BinaryFunction: LogFn