kind(room).
kind(thing).
kind(direction).
kind(region).

kind_of(animal, thing).
kind_of(person, animal).
kind_of(woman, person).

kind_of(X, Z):-
	\+ kind(X),
	kind_of(X, X1),
	kind_of(X1, Z).