PrimeNumber | *documentation* An Integer that is evenly divisible only by itself *and* 1 | |

**has axiom** (=> (*instance* ?PRIME PrimeNumber) (forall (?NUMBER) (=> (*equal* (*RemainderFn* ?PRIME ?NUMBER) 0) (or (*equal* ?NUMBER 1) (*equal* ?NUMBER ?PRIME)))))
| |

**is a kind of** Integer | |

Integer | **is first ***domain* of *PredecessorFn* | |

**is first ***domain* of *SuccessorFn* | |

**is first ***domain* of *YearFn* | |

**is second ***domain* of *ExponentiationFn* | |

**is second ***domain* of *singleValued* | |

**is partitioned into** NegativeInteger, NonnegativeInteger | |

**is partitioned into** OddInteger, EvenInteger | |

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