Relation pm#item (sumo#list,?)
  supertype:  pm#member
  inverse:  kif#item (pm)
  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)