Family #1

digraph G {

mother [label="a mother"] ;
child [label="a child"] ;
woman [label="a woman"] ;
man [label="a man"] ;
father [label="a father"] ;
person [label="a person"] ;
parent [label="a parent"] ;
mother -> woman [label="is"];
woman -> person [label="is"];
father -> man [label="is"] ;
man -> person [label="is"] ;
mother -> parent [label="is"] ;
father -> parent [label="is"] ;
child -> person [label="is"] ;
child -> mother [label="has"] ;
child -> father [label="has"] ;
parent -> person [label="is"] ;
}

Family #2

digraph G {

child [label="a child"] ;
woman [label="a woman"] ;
man [label="a man"] ;
person [label="a person"] ;
parents  [shape=box,label="a pair (w, m)\nwhere m is a\nwoman and m is\na man"] ;
woman -> person [label="is"];
man -> person [label="is"] ;
child -> parents [label="has biological parents"] ;
parents -> woman [label="has a"];
parents -> man [label="has a"];
child -> person [label="is a"];
}

Family #3

digraph G {

child [label="a child"] ;
woman [label="a woman"] ;
man [label="a man"] ;
person [label="a person"] ;
birthday [label="a birthday"];
parents  [shape=box,label="a pair (w, m)\nwhere m is a\nwoman and m is\na man"] ;
child -> parents [label="has as biological parents"] ;
parents -> woman [label="has"];
parents -> man [label="has"];
child -> person [label="is"];
child -> birthday [label="has"]
}