Relation pm#first_part__firstpart (?,?)
  supertype:  pm#part
  subtype:  kif#first (sumo#list -> ?)
     subtype:  rdf#first (rdf#list -> ?)


Another search (with same display options)?