*along* | *documentation* (*along* ?OBJ1 ?OBJ2) means that the Object ?OBJ1 shares the area of ?OBJ2 at least as far the extension of one dimension is concerned | |

**has axiom** (=> (*along* ?OBJ1 ?OBJ2) (*near* ?OBJ1 ?OBJ2))
| |

**has axiom** (=> (*and* (*along* ?OBJ1 ?OBJ2) (*along* ?OBJ3 ?OBJ2)) (*connects* ?OBJ2 ?OBJ1 ?OBJ3))
| |

**has ***relatedInternalConcept* traverses | |

**is an ***instance* of EquivalenceRelation | |

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

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

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

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