NonnegativeRealNumber | *documentation* A RealNumber that is greater than or *equal* to zero | |

**has axiom** (=> (*instance* ?NUMBER NonnegativeRealNumber) (*greaterThanOrEqualTo* ?NUMBER 0))
| |

**has axiom** (=> (*instance* ?NUMBER NonnegativeRealNumber) (or (*equal* (*SignumFn* ?NUMBER) 1) (*equal* (*SignumFn* ?NUMBER) 0)))
| |

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