@base <http://tavasi.majles.ir/ontology/general/Verbnet> .
@prefix go: <http://tavasi.majles.ir/ontology/general#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<http://tavasi.majles.ir/ontology/general> a owl:Ontology .

go:replace rdfs:subClassOf go:substitute-13.6.2-1 .

go:substitute rdfs:subClassOf go:substitute-13.6.2 .

go:supplant rdfs:subClassOf go:substitute-13.6.2-1 .

go:swap rdfs:subClassOf go:substitute-13.6.2 .

go:swap_out rdfs:subClassOf go:substitute-13.6.2 .

go:switch rdfs:subClassOf go:substitute-13.6.2 .

go:substitute-13.6.2-1 rdfs:subClassOf go:substitute-13.6.2 .

go:substitute-13.6.2 rdfs:subClassOf go:hasCo-Theme,
        go:hasLocation,
        go:hasTheme .


# Generated String:
<http://tavasi.majles.ir/ontology/general#substitute-13.6.2> rdfs:subClassOf [ rdf:type owl:Restriction ;
                      owl:onProperty <http://tavasi.majles.ir/ontology/general#EventHasLocation> ;
                      owl:allValuesFrom [owl:intersectionOf ( [ rdf:type owl:Class ; owl:complementOf <http://tavasi.majles.ir/ontology/general#region> ]
                                            <http://tavasi.majles.ir/ontology/general#location>
                                            ) ;
                                          rdf:type owl:Class]
                    ].