Number | *documentation* A *measure* of how *many* things there are, or how much there is, of a certain kind. Numbers are subclassed into RealNumber *and* ComplexNumber (*ImaginaryNumber* is an *instance* of Number) | |

**is first ***domain* of *RationalNumberFn* | |

**is first ***domain* of *RealNumberFn* | |

**is a kind of** Quantity | |

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 | **has axiom** (*<=>* (*instance* ?ABS Abstract) (*not* (exists (?POINT) (or (*located* ?ABS ?POINT) (*existant* ?ABS ?POINT)))))
| |

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