[snip] Hey, if you folks haven't picked names for these two relations yet, I hereby propose 'type' and 'subClassOf'; type relates an instance to a class it is a member of, while subClassOf is a relation between classes. FWIW these are the terms we use in RDF/S and OWL. Apologies if I've misread this thread... Dan