True	If
----	--
mother(X,Y)	female(X) , parent(X,Y)
father(X,Y)	male(X) , parent(X,Y)
son(X,Y)	male(X) , parent(Y,X)
isa(X,Y)	isa(X,Z) , isa(Z,Y)
