Relation pm#wnMember (?,?)  member relation in WordNet
  supertype:  pm#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:  pm#partial_ordering_relation_type
  subtype:  pm#member (pm#collection,*)
     subtype:  pm#domain_object (pm#domain,?)
        subtype:  pm#core_domain_object__central_object_of_domain (pm#domain,?)
     subtype:  pm#reverse_of_KIF_member (kif#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:  pm#item (sumo#list,?)
        subtype:  rdf#item (rdf#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:  rdf#li (pm#collection,*)
     subtype:  kif#first (sumo#list -> ?)
        subtype:  rdf#first (rdf#list -> ?)
     subtype:  kif#last (sumo#list -> ?)
     subtype:  kif#butlast (sumo#list -> ?)
     subtype:  kif#nth (sumo#list,sumo#positive_integer -> ?)