A Simple Rule

{ ?x :son ?y } => { ?y a :Male }.

# simpler data
:Mary :son :Frank, :Bob, :Sam.

Given --think, cwm will treat these the same. It will infer that :Frank, :Bob, and :Sam are :Male.