he mappings into an
encyclopaedic ontology. Whether you choose to do this is a structuring
rather than conceptual issue. 

What follows is an overview of key elements of that viewpoint (for which I
claim no originality) and some issues of how that can be represented within
the KIF language.

EXTENSIONALIST

If you want to put a label on me, then I think extensionalist is probably
your best bet. What I mean by this is taking as an identity criteria for
things, that any two things with the same extension are 