Remembering the Future

From topicmapmail: via Murray Altheim

 ~-----------------------------------------------------------------~
   |                                                                 |
   |                 Tautologies                                     |
   |         ________/  |  \________________                         |
   |        /           |   \               \                        |
   |       /            |    \               \                       |
   |   Antisymmetry     |     \          Symmetry                    |
   |       \            |      \             /                       |
   |        \   Transitivity  Reflexivity   /                        |
   |         \        /    \  /   |        /                         |
   |          \      /      \/    |       /                          |
   |           \    /       /\    |      /                           |
   |            \  /       /  \   |     /                            |
   |         PartialOrdering  Equivalence                            |
   |           /      \                                              |
   |          /        \                                             |
   |       Trees      Lattices                                       |
   |         \          /    \_______________                        |
   |          \        /      |      \       \                       |
   |           \      /       |       \       \                      |
   |      LinearOrdering  Theories  Types  Collections               |
   |        /    \               ___________/    \                   |
   |       /      \             /                 \                  |
   |  Sequences  Numbers     Sets              Mereology             |
   |      \      / \        /   \              /   |   \             |
   |       \    /   \      /     \            /    |    \            |
   |    Integers  Reals  ZF-Sets  VNGB-Sets  /     |     \           |
   |                                        /      |      \          |
   |                                   Discrete  Lumpy  Continuous   |
   |                                                                 |
   ~-----------------------------------------------------------------~
   Figure 2.14: A generalization hierarchy of theories
                from "Knowledge Representation", John Sowa (p.95)