*RoundFn* | *documentation* (*RoundFn* ?NUMBER) is the Integer closest to ?NUMBER on the number line. If ?NUMBER is halfway *between* two Integers (for example 3.5), it denotes the *larger* Integer | |

**has axiom** (=> (*equal* (*RoundFn* ?NUMBER1) ?NUMBER2) (or (=> (*lessThan* (*SubtractionFn* ?NUMBER1 (*FloorFn* ?NUMBER1)) .5) (*equal* ?NUMBER2 (*FloorFn* ?NUMBER1))) (=> (*greaterThanOrEqualTo* (*SubtractionFn* ?NUMBER1 (*FloorFn* ?NUMBER1)) .5) (*equal* ?NUMBER2 (*CeilingFn* ?NUMBER1)))))
| |

**has domain1** Quantity | |

**has ***range* Quantity | |

**is an ***instance* of RelationExtendedToQuantities | |

**is an ***instance* of UnaryFunction | |

Relation | **is first ***domain* of *domain* | |

**is first ***domain* of *domainSubclass* | |

**is first ***domain* of *holds* | |

**is first ***domain* of *subrelation* | |

**is first ***domain* of *valence* | |

**is second ***domain* of *subrelation* | |

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

Function | **is first ***domain* of *AssignmentFn* | |

**is first ***domain* of *closedOn* | |

**is first ***domain* of *range* | |

**is first ***domain* of *rangeSubclass* | |

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

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

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