
&gt;This implies that we need
&gt;constructs in KIF to support this. So we need to be able to define a
&gt;collection of KIF statements as a theory, and be able to give in a theory
&gt;the list of other theories it is dependent on.
&gt;
&gt;You do not have any of this structure even informally, so no user would know
&gt;which bits of the SUO he needs if say he is just interested in holes.
&gt;
&gt;If this can already be done with KIF as it is, I would appreciate an
&gt;explaination.

KIF does not of itself