Function kif#first (sumo#list -> ?) supertype: pm#member (pm) pm#first_part (pm) subtype: rdf#first (rdf#list -> ?)
Another search (with same display options)?