*measure* | *documentation* A very general Predicate for asserting that a particular Object is measured by a particular ConstantQuantity. In general, the second argument of this Predicate will be an *instance* of the Function *MeasureFn* | |

**has axiom** (=> (*and* (resource ?PROC ?OBJ) (*holdsDuring* (*ImmediatePastFn* (*WhenFn* ?PROC)) (*measure* ?OBJ ?QUANT1)) (*holdsDuring* (*ImmediateFutureFn* (*WhenFn* ?PROC)) (*measure* ?OBJ ?QUANT2))) (*greaterThan* ?QUANT1 ?QUANT2))
| |

**has axiom** (=> (*and* (*instance* ?MEAS Measuring) (agent ?MEAS ?AGENT) (*patient* ?MEAS ?OBJ)) (exists (?QUANT ?UNIT) (*holdsDuring* (*ImmediateFutureFn* (*WhenFn* ?MEAS)) (*knows* ?AGENT (*measure* ?OBJ (*MeasureFn* ?QUANT ?UNIT))))))
| |

**has axiom** (=> (*larger* ?OBJ1 ?OBJ2) (forall (?QUANT1 ?QUANT2) (=> (*and* (*measure* ?OBJ1 (*MeasureFn* ?QUANT1 LengthMeasure)) (*measure* ?OBJ2 (*MeasureFn* ?QUANT2 LengthMeasure))) (*greaterThan* ?QUANT1 ?QUANT2))))
| |

**has domain1** Object | |

**has domain2** ConstantQuantity | |

**is an ***instance* of AsymmetricRelation | |

**is an ***instance* of BinaryPredicate | |

BinaryRelation | **is first ***domain* of *DomainFn* | |

**is first ***domain* of *equivalenceRelationOn* | |

**is first ***domain* of *inverse* | |

**is first ***domain* of *irreflexiveOn* | |

**is first ***domain* of *partialOrderingOn* | |

**is first ***domain* of *RangeFn* | |

**is first ***domain* of *reflexiveOn* | |

**is first ***domain* of *totalOrderingOn* | |

**is first ***domain* of *trichotomizingOn* | |

**is second ***domain* of *inverse* | |

Predicate | **is first ***domain* of *singleValued* | |

Class | **is third ***domain* of *domain* | |

**is third ***domain* of *domainSubclass* | |

Abstract | **is ***disjoint* from Physical | |