**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 |