@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix : <SocratesP#> .

:Man rdfs:subClassOf :Mortal .