Relation pm#member (pm#collection,*)
  supertype:  pm#relation_from_collection  pm#wnMember
  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 -> ?)