RationalNumber | *documentation* Any RealNumber that is the product of dividing two Integers | |

**has axiom** (=> (*instance* ?NUMBER RationalNumber) (exists (?INT1 ?INT2) (*and* (*instance* ?INT1 Integer) (*instance* ?INT2 Integer) (*equal* ?NUMBER (*DivisionFn* ?INT1 ?INT2)))))
| |

**is a kind of** RealNumber | |

RealNumber | **is first ***domain* of *AbsoluteValueFn* | |

**is first ***domain* of *ArcCosineFn* | |

**is first ***domain* of *ArcSineFn* | |

**is first ***domain* of *ArcTangentFn* | |

**is first ***domain* of *CeilingFn* | |

**is first ***domain* of *DenominatorFn* | |

**is first ***domain* of *FloorFn* | |

**is first ***domain* of *IntegerSquareRootFn* | |

**is first ***domain* of *LogFn* | |

**is first ***domain* of *MeasureFn* | |

**is first ***domain* of *NumeratorFn* | |

**is first ***domain* of *SignumFn* | |

**is first ***domain* of *SquareRootFn* | |

**is partitioned into** NegativeRealNumber, NonnegativeRealNumber | |

Quantity | **is second ***domain* of *AdditionFn* | |

**is second ***domain* of *DivisionFn* | |

**is second ***domain* of *greaterThan* | |

**is second ***domain* of *greaterThanOrEqualTo* | |

**is second ***domain* of *lessThan* | |

**is second ***domain* of *lessThanOrEqualTo* | |

**is second ***domain* of *MaxFn* | |

**is second ***domain* of *MinFn* | |

**is second ***domain* of *MultiplicationFn* | |

**is second ***domain* of *RemainderFn* | |

**is second ***domain* of *SubtractionFn* | |

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