must be an instance of rdf:Property, and 
vin:Elyse must be an instance of rdfs:Resource using some of entailment rules in 
RDF and RDFS. See Section 9. The line 3 in the above example not only made an 
instance slot for vin:ElyseZinfandel, vin:hasMaker and vin:Elyse, but also 
automatically defined the CLOS slot definition of vin:hasMaker at the class 
vin:Zinfandel.</p>
<p>The line 4 to 5 shows the type of vin:Elyse is changed from rdfs:Resource to 
vin:Winery. Note that vin:Winery is a subclass of rdfs:R