Availability:
:- use_module(library(semweb/rdfs)).
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.