Relation pm#wnMember (?,?)  member relation in WordNet
  supertype:  partial_ordering_relation  this category only serves structuration purposes: it is instance of pm#partial_ordering_relation_type which is not instance of pm#class_of_inheritable_relation_type
  instance of:  partial_ordering_relation_type
  subtype:  member (collection,*)
     subtype:  domain_object (domain,?)
        subtype:  core_domain_object__central_object_of_domain (domain,?)
     subtype:  reverse_of_KIF_member (set,?)  this type only exists to make the connection to kif#member (which should have been named kif#member_of to respect the common reading conventions of parameters)
     subtype:  item (list,?)
        subtype:  item (list,?)  for item(L,I) read: I is an item in L; either first(L,I) or item(R,I) where rest(L,R)
     subtype:  li (collection,*)
     subtype:  first (list -> ?)
        subtype:  first (list -> ?)
     subtype:  last (list -> ?)
     subtype:  butlast (list -> ?)
     subtype:  nth (list,positive_integer -> ?)