@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

owl:FunctionalProperty a rdfs:Class ;
    rdfs:label "FunctionalProperty"^^rdf:string ;
    rdfs:comment "The class of functional properties."^^rdf:string ;
    rdfs:isDefinedBy owl: ;
    rdfs:subClassOf rdf:Property .