8.1 Hierarchy and class-individual relations
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(semweb/rdfs)).
rdfs_subclass_of(?SubClass, ?Class)
True if SubClass is equal to Class or Class can be reached from SubClass following the rdfs:subClassOf relation. It can be used to test as well as generate sub-classes or super-classes.bugThe current implementation cannot deal with cycles.