Availability:
:- use_module(library(semweb/rdfs)).
rdfs_individual_of(?Resource,
?Class)rdf:type property that refers to
Class or a sub-class thereof. Can be used to test, generate
classes Resource belongs to or generate individuals described
by Class.