 think there are logical inconsistencies in the CYC base KB?
(I think there are gaps that need filling, but that's a different
question).

&gt;  Holes require something like pieces of space in the ontology. . . .
    One might find that different people want to define holes 
or some other concepts differently.  The SUO should provide the vocabulary 
for any definition, but if there is a serious difference of opinion,
multiple distinguishable definitions (with different names) can be 
provided, and SUO shoul