O soul, voyagest thou indeed on voyages like those? / Disportest thou on waters such as those?

an ancestral estate

The shadows flicker to and fro.

The Knowledge Interchange Format (KIF) is an example of a convenient formalism to describe these ontologies, and XML can serve as an implementation technology in the way similar to that outlined briefly in this paper.