is_a('Socrates', man).
is_a(man, animal).
is_a(animal, thing).
has_property(man, mortal).
has_property(animal, mobile).

is_a(X, Z) :-
	is_a(X, Y),
	is_a(Y, Z).

has_property(X, Z) :-
	is_a(X, Y),
	has_property(Y, Z).