@prefix : <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl> .

<http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl> rdf:type owl:Ontology .

#################################################################
#    Object Properties
#################################################################

###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applied_by
<http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applied_by> rdf:type owl:ObjectProperty ;
                                                                                   rdfs:subPropertyOf <http://www.estrellaproject.org/lkif-core/expression.owl#qualified_by> ;
                                                                                   owl:inverseOf <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies
<http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> rdf:type owl:ObjectProperty ;
                                                                                rdfs:subPropertyOf <http://www.estrellaproject.org/lkif-core/expression.owl#qualifies> .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considered_by
<http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considered_by> rdf:type owl:ObjectProperty ;
                                                                                      rdfs:subPropertyOf <http://www.estrellaproject.org/lkif-core/expression.owl#qualified_by> ;
                                                                                      owl:inverseOf <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers
<http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> rdf:type owl:ObjectProperty ;
                                                                                  rdfs:subPropertyOf <http://www.estrellaproject.org/lkif-core/expression.owl#qualifies> .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#judged_as
<http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#judged_as> rdf:type owl:ObjectProperty ;
                                                                                  owl:propertyChainAxiom ( <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considered_by>
                                                                                                           <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies>
                                                                                                         ) .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#assumption
:assumption rdf:type owl:ObjectProperty ;
            rdfs:subPropertyOf <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#exception
:exception rdf:type owl:ObjectProperty ;
           rdfs:subPropertyOf <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> .


###  http://www.estrellaproject.org/lkif-core/expression.owl#attitude
<http://www.estrellaproject.org/lkif-core/expression.owl#attitude> rdf:type owl:ObjectProperty .


###  http://www.estrellaproject.org/lkif-core/expression.owl#evaluated_by
<http://www.estrellaproject.org/lkif-core/expression.owl#evaluated_by> rdf:type owl:ObjectProperty ;
                                                                       rdfs:subPropertyOf <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considered_by> .


###  http://www.estrellaproject.org/lkif-core/expression.owl#evaluates
<http://www.estrellaproject.org/lkif-core/expression.owl#evaluates> rdf:type owl:ObjectProperty ;
                                                                    rdfs:subPropertyOf <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> .


###  http://www.estrellaproject.org/lkif-core/expression.owl#qualified_by
<http://www.estrellaproject.org/lkif-core/expression.owl#qualified_by> rdf:type owl:ObjectProperty .


###  http://www.estrellaproject.org/lkif-core/expression.owl#qualifies
<http://www.estrellaproject.org/lkif-core/expression.owl#qualifies> rdf:type owl:ObjectProperty .


###  http://www.estrellaproject.org/lkif-core/mereology.owl#contained_in
<http://www.estrellaproject.org/lkif-core/mereology.owl#contained_in> rdf:type owl:ObjectProperty .


###  http://www.estrellaproject.org/lkif-core/norm.owl#allowed_by
<http://www.estrellaproject.org/lkif-core/norm.owl#allowed_by> rdf:type owl:ObjectProperty ;
                                                               rdfs:subPropertyOf <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considered_by> .


###  http://www.estrellaproject.org/lkif-core/norm.owl#allows
<http://www.estrellaproject.org/lkif-core/norm.owl#allows> rdf:type owl:ObjectProperty ;
                                                           rdfs:subPropertyOf <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> .


###  http://www.estrellaproject.org/lkif-core/norm.owl#disallowed_by
<http://www.estrellaproject.org/lkif-core/norm.owl#disallowed_by> rdf:type owl:ObjectProperty ;
                                                                  rdfs:subPropertyOf <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considered_by> .


###  http://www.estrellaproject.org/lkif-core/norm.owl#disallows
<http://www.estrellaproject.org/lkif-core/norm.owl#disallows> rdf:type owl:ObjectProperty ;
                                                              rdfs:subPropertyOf <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> .


#################################################################
#    Classes
#################################################################

###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Adjudication
<http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Adjudication> rdf:type owl:Class ;
                                                                                     rdfs:subClassOf <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judgement> .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Agreement
<http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Agreement> rdf:type owl:Class .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement
<http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> rdf:type owl:Class ;
                                                                                              rdfs:subClassOf [ rdf:type owl:Restriction ;
                                                                                                                owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> ;
                                                                                                                owl:someValuesFrom <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Material_Circumstance>
                                                                                                              ] .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judgement
<http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judgement> rdf:type owl:Class .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Claim
<http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Claim> rdf:type owl:Class .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation
<http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation> rdf:type owl:Class ;
                                                                                                rdfs:subClassOf <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judgement> ,
                                                                                                                [ rdf:type owl:Restriction ;
                                                                                                                  owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> ;
                                                                                                                  owl:someValuesFrom <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement>
                                                                                                                ] .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Outcome
<http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Outcome> rdf:type owl:Class .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicially_Qualified
<http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicially_Qualified> rdf:type owl:Class .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Jurisdiction
<http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Jurisdiction> rdf:type owl:Class .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Law_Declaration
<http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Law_Declaration> rdf:type owl:Class .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Consequence
<http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Consequence> rdf:type owl:Class .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Rule
<http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Rule> rdf:type owl:Class .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Status
<http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Status> rdf:type owl:Class .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Material_Circumstance
<http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Material_Circumstance> rdf:type owl:Class ;
                                                                                              rdfs:subClassOf <http://www.estrellaproject.org/lkif-core/norm.owl#Normatively_Qualified> .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Art1341-1342_Exception
:Art1341-1342_Exception rdf:type owl:Class ;
                        rdfs:subClassOf :Exception ;
                        rdfs:comment "Contract clauses applying any of these statuses are pulled out of the scope of application of article 1341 and 1342 civil code." ;
                        rdfs:label "Exception to articles 1341 and 1342 civil code" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Contract_Clause
:Contract_Clause rdf:type owl:Class ;
                 owl:equivalentClass [ owl:intersectionOf ( <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement>
                                                            [ rdf:type owl:Restriction ;
                                                              owl:onProperty <http://www.estrellaproject.org/lkif-core/mereology.owl#contained_in> ;
                                                              owl:someValuesFrom :Full_Contract
                                                            ]
                                                          ) ;
                                       rdf:type owl:Class
                                     ] ;
                 rdfs:subClassOf <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ,
                                 [ rdf:type owl:Restriction ;
                                   owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> ;
                                   owl:maxQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                   owl:onClass :Oppressive_Status
                                 ] ;
                 rdfs:comment "A part of a contract" ;
                 rdfs:label "Contract Clause" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Efficacious_ViaException
:Efficacious_ViaException rdf:type owl:Class ;
                          owl:equivalentClass [ owl:intersectionOf ( <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement>
                                                                     :Inefficacious
                                                                     [ rdf:type owl:Class ;
                                                                       owl:unionOf ( [ rdf:type owl:Restriction ;
                                                                                       owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> ;
                                                                                       owl:someValuesFrom :Art1341-1342_Exception
                                                                                     ]
                                                                                     [ rdf:type owl:Restriction ;
                                                                                       owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#judged_as> ;
                                                                                       owl:someValuesFrom :Art1341-1342_Exception
                                                                                     ]
                                                                                   )
                                                                     ]
                                                                   ) ;
                                                rdf:type owl:Class
                                              ] ;
                          rdfs:subClassOf :Inefficacious ;
                          rdfs:comment "Contractual agreements classified under this are relevant under some laws which disposes inefficacy, but are nevertheless efficacious because they fall into the scope of some exception." ;
                          rdfs:label "Efficacious through Exception" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Exception
:Exception rdf:type owl:Class ;
           rdfs:subClassOf <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Status> ;
           rdfs:comment "An exceptional status: it pulls the expression it is applied to out of some norm´s scope of application." ;
           rdfs:label "Exception" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Full_Contract
:Full_Contract rdf:type owl:Class ;
               rdfs:subClassOf <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
               rdfs:comment "The expression representing the whole contract. Can be further identified by contract clauses." ;
               rdfs:label "Full Contract" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Inefficacious
:Inefficacious rdf:type owl:Class ;
               owl:equivalentClass [ owl:intersectionOf ( <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement>
                                                          [ rdf:type owl:Restriction ;
                                                            owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#judged_as> ;
                                                            owl:someValuesFrom :Inefficacy
                                                          ]
                                                        ) ;
                                     rdf:type owl:Class
                                   ] ;
               rdfs:subClassOf <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
               rdfs:comment "An agreement (contract or clause) to which the legal consequence ´inefficacy´ has been applied." ;
               rdfs:label "Inefficacious Agreement" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Inefficacy
:Inefficacy rdf:type owl:Class ;
            rdfs:subClassOf <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Consequence> ;
            rdfs:comment "The legal consequence of inefficacy: the contractual agreement (or other legal expression) has no effects." ;
            rdfs:label "Inefficacy" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#NonOppressive_Status
:NonOppressive_Status rdf:type owl:Class ;
                      owl:equivalentClass [ owl:intersectionOf ( <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Status>
                                                                 [ rdf:type owl:Restriction ;
                                                                   owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#judged_as> ;
                                                                   owl:someValuesFrom :NonOppressive_Status
                                                                 ]
                                                               ) ;
                                            rdf:type owl:Class
                                          ] ;
                      rdfs:subClassOf <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Status> ;
                      owl:disjointWith :Oppressive_Status ;
                      rdfs:comment "non oppressive status (under the consumer law conception of oppressiveness)" ;
                      rdfs:label "Not oppressive " .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Oppressive_Status
:Oppressive_Status rdf:type owl:Class ;
                   rdfs:subClassOf <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Status> ;
                   rdfs:comment "oppressive status (under the consumer law conception of oppressiveness)" ;
                   rdfs:label "Oppressive" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Relevant_ExArt1341co1
:Relevant_ExArt1341co1 rdf:type owl:Class ;
                       owl:equivalentClass [ owl:intersectionOf ( <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement>
                                                                  [ rdf:type owl:Class ;
                                                                    owl:unionOf ( [ rdf:type owl:Restriction ;
                                                                                    owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> ;
                                                                                    owl:hasValue :General
                                                                                  ]
                                                                                  [ rdf:type owl:Restriction ;
                                                                                    owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#judged_as> ;
                                                                                    owl:hasValue :General
                                                                                  ]
                                                                                )
                                                                  ]
                                                                  [ rdf:type owl:Class ;
                                                                    owl:unionOf ( [ rdf:type owl:Restriction ;
                                                                                    owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> ;
                                                                                    owl:hasValue :Not_Knowable
                                                                                  ]
                                                                                  [ rdf:type owl:Restriction ;
                                                                                    owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#judged_as> ;
                                                                                    owl:hasValue :Not_Knowable
                                                                                  ]
                                                                                )
                                                                  ]
                                                                  [ rdf:type owl:Class ;
                                                                    owl:unionOf ( [ rdf:type owl:Restriction ;
                                                                                    owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> ;
                                                                                    owl:hasValue :Unilateral
                                                                                  ]
                                                                                  [ rdf:type owl:Restriction ;
                                                                                    owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#judged_as> ;
                                                                                    owl:hasValue :Unilateral
                                                                                  ]
                                                                                )
                                                                  ]
                                                                ) ;
                                             rdf:type owl:Class
                                           ] ,
                                           [ rdf:type owl:Restriction ;
                                             owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considered_by> ;
                                             owl:hasValue :Art1341co1cc
                                           ] ;
                       rdfs:subClassOf <http://www.estrellaproject.org/lkif-core/norm.owl#Normatively_Qualified> ;
                       rdfs:comment "To be relevan uder comma 1 of article 1341 civil code, a clause must be general, unilaterally written by one of the parties, and not knowable by the other party at the time of the conclusion of the contract by using ordinary diligence." ;
                       rdfs:label "Relevant under article 1341 comma 1 civil code" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Relevant_ExArt1341co2
:Relevant_ExArt1341co2 rdf:type owl:Class ;
                       owl:equivalentClass [ owl:intersectionOf ( <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement>
                                                                  [ rdf:type owl:Class ;
                                                                    owl:unionOf ( [ rdf:type owl:Restriction ;
                                                                                    owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> ;
                                                                                    owl:someValuesFrom :Oppressive_Status
                                                                                  ]
                                                                                  [ rdf:type owl:Restriction ;
                                                                                    owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#judged_as> ;
                                                                                    owl:someValuesFrom :Oppressive_Status
                                                                                  ]
                                                                                )
                                                                  ]
                                                                  [ rdf:type owl:Class ;
                                                                    owl:unionOf ( [ rdf:type owl:Restriction ;
                                                                                    owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> ;
                                                                                    owl:hasValue :General
                                                                                  ]
                                                                                  [ rdf:type owl:Restriction ;
                                                                                    owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#judged_as> ;
                                                                                    owl:hasValue :General
                                                                                  ]
                                                                                )
                                                                  ]
                                                                  [ rdf:type owl:Class ;
                                                                    owl:unionOf ( [ rdf:type owl:Restriction ;
                                                                                    owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> ;
                                                                                    owl:hasValue :NotSpecificallySigned
                                                                                  ]
                                                                                  [ rdf:type owl:Restriction ;
                                                                                    owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#judged_as> ;
                                                                                    owl:hasValue :NotSpecificallySigned
                                                                                  ]
                                                                                )
                                                                  ]
                                                                  [ rdf:type owl:Class ;
                                                                    owl:unionOf ( [ rdf:type owl:Restriction ;
                                                                                    owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> ;
                                                                                    owl:hasValue :Unilateral
                                                                                  ]
                                                                                  [ rdf:type owl:Restriction ;
                                                                                    owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#judged_as> ;
                                                                                    owl:hasValue :Unilateral
                                                                                  ]
                                                                                )
                                                                  ]
                                                                ) ;
                                             rdf:type owl:Class
                                           ] ,
                                           [ rdf:type owl:Restriction ;
                                             owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considered_by> ;
                                             owl:hasValue :Art1341co2cc
                                           ] ;
                       rdfs:subClassOf <http://www.estrellaproject.org/lkif-core/norm.owl#Normatively_Qualified> ;
                       rdfs:comment "To be relevant under article 1341 comma 2 of civil code a clause must be oppressive, general, unilaterally written by one of the parties and not specifically signed by the other party." ;
                       rdfs:label "Relevant under article 1341 comma 2 civil code" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Relevant_ExArt1342co1
:Relevant_ExArt1342co1 rdf:type owl:Class ;
                       owl:equivalentClass [ owl:intersectionOf ( <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement>
                                                                  [ rdf:type owl:Class ;
                                                                    owl:unionOf ( [ rdf:type owl:Restriction ;
                                                                                    owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> ;
                                                                                    owl:hasValue :AddedToPrecompiled
                                                                                  ]
                                                                                  [ rdf:type owl:Restriction ;
                                                                                    owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#judged_as> ;
                                                                                    owl:hasValue :AddedToPrecompiled
                                                                                  ]
                                                                                )
                                                                  ]
                                                                  [ rdf:type owl:Restriction ;
                                                                    owl:onProperty <http://www.estrellaproject.org/lkif-core/mereology.owl#contained_in> ;
                                                                    owl:someValuesFrom [ rdf:type owl:Class ;
                                                                                         owl:unionOf ( [ rdf:type owl:Restriction ;
                                                                                                         owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> ;
                                                                                                         owl:hasValue :Precompiled
                                                                                                       ]
                                                                                                       [ rdf:type owl:Restriction ;
                                                                                                         owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#judged_as> ;
                                                                                                         owl:hasValue :Precompiled
                                                                                                       ]
                                                                                                     )
                                                                                       ]
                                                                  ]
                                                                ) ;
                                             rdf:type owl:Class
                                           ] ,
                                           [ rdf:type owl:Restriction ;
                                             owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considered_by> ;
                                             owl:hasValue :Art1342co1cc
                                           ] ;
                       rdfs:subClassOf <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
                       rdfs:comment "To be relevant under comma 1 of article 1342 civil code a clause must constitute an addition to a precompiled contract." ;
                       rdfs:label "Relevant under article 1342 comma 1 civil code" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Relevant_ExArt1342co2
:Relevant_ExArt1342co2 rdf:type owl:Class ;
                       owl:equivalentClass [ owl:intersectionOf ( <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement>
                                                                  :Relevant_ExArt1342co1
                                                                  [ rdf:type owl:Class ;
                                                                    owl:unionOf ( [ rdf:type owl:Restriction ;
                                                                                    owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> ;
                                                                                    owl:hasValue :NotSpecificallySigned
                                                                                  ]
                                                                                  [ rdf:type owl:Restriction ;
                                                                                    owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#judged_as> ;
                                                                                    owl:hasValue :NotSpecificallySigned
                                                                                  ]
                                                                                )
                                                                  ]
                                                                ) ;
                                             rdf:type owl:Class
                                           ] ,
                                           [ rdf:type owl:Restriction ;
                                             owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considered_by> ;
                                             owl:hasValue :Art1342co2cc
                                           ] ;
                       rdfs:subClassOf <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
                       rdfs:comment "To be relevant under comma 2 of article 1342 civil code a clause must be relevant under comma 1 and not specifically signed by the party which did not prepare the precompiled contract." ;
                       rdfs:label "Relevant under article 1342 comma 2 civil code" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Reproducing_LawDisposition
:Reproducing_LawDisposition rdf:type owl:Class ;
                            owl:equivalentClass [ owl:intersectionOf ( <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement>
                                                                       [ rdf:type owl:Class ;
                                                                         owl:unionOf ( [ rdf:type owl:Restriction ;
                                                                                         owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> ;
                                                                                         owl:someValuesFrom <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Rule>
                                                                                       ]
                                                                                       [ rdf:type owl:Restriction ;
                                                                                         owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#judged_as> ;
                                                                                         owl:someValuesFrom <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Rule>
                                                                                       ]
                                                                                     )
                                                                       ]
                                                                       [ rdf:type owl:Class ;
                                                                         owl:unionOf ( [ rdf:type owl:Restriction ;
                                                                                         owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> ;
                                                                                         owl:hasValue :ReproducingLawDisposition
                                                                                       ]
                                                                                       [ rdf:type owl:Restriction ;
                                                                                         owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#judged_as> ;
                                                                                         owl:hasValue :ReproducingLawDisposition
                                                                                       ]
                                                                                     )
                                                                       ]
                                                                     ) ;
                                                  rdf:type owl:Class
                                                ] ;
                            rdfs:subClassOf <http://www.estrellaproject.org/lkif-core/norm.owl#Normatively_Qualified> ;
                            rdfs:comment "a clause whose content corresponds to that of a law disposition in force." ;
                            rdfs:label "Reproducing law disposition" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Valid_ExArt1341co1
:Valid_ExArt1341co1 rdf:type owl:Class ;
                    owl:equivalentClass [ owl:intersectionOf ( <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement>
                                                               [ rdf:type owl:Class ;
                                                                 owl:unionOf ( [ rdf:type owl:Class ;
                                                                                 owl:unionOf ( [ rdf:type owl:Restriction ;
                                                                                                 owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> ;
                                                                                                 owl:hasValue :Knowable
                                                                                               ]
                                                                                               [ rdf:type owl:Restriction ;
                                                                                                 owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#judged_as> ;
                                                                                                 owl:hasValue :Knowable
                                                                                               ]
                                                                                             )
                                                                               ]
                                                                               [ rdf:type owl:Class ;
                                                                                 owl:unionOf ( [ rdf:type owl:Restriction ;
                                                                                                 owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> ;
                                                                                                 owl:hasValue :Not_Unilateral
                                                                                               ]
                                                                                               [ rdf:type owl:Restriction ;
                                                                                                 owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#judged_as> ;
                                                                                                 owl:hasValue :Not_Unilateral
                                                                                               ]
                                                                                             )
                                                                               ]
                                                                               [ rdf:type owl:Class ;
                                                                                 owl:unionOf ( [ rdf:type owl:Restriction ;
                                                                                                 owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> ;
                                                                                                 owl:hasValue :Specific
                                                                                               ]
                                                                                               [ rdf:type owl:Restriction ;
                                                                                                 owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#judged_as> ;
                                                                                                 owl:hasValue :Specific
                                                                                               ]
                                                                                             )
                                                                               ]
                                                                               [ rdf:type owl:Class ;
                                                                                 owl:unionOf ( [ rdf:type owl:Restriction ;
                                                                                                 owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> ;
                                                                                                 owl:hasValue :SpecificallySigned
                                                                                               ]
                                                                                               [ rdf:type owl:Restriction ;
                                                                                                 owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#judged_as> ;
                                                                                                 owl:hasValue :SpecificallySigned
                                                                                               ]
                                                                                             )
                                                                               ]
                                                                             )
                                                               ]
                                                             ) ;
                                          rdf:type owl:Class
                                        ] ,
                                        [ owl:intersectionOf ( <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement>
                                                               [ rdf:type owl:Class ;
                                                                 owl:complementOf :Relevant_ExArt1341co1
                                                               ]
                                                             ) ;
                                          rdf:type owl:Class
                                        ] ;
                    rdfs:subClassOf <http://www.estrellaproject.org/lkif-core/norm.owl#Normatively_Qualified> ;
                    rdfs:comment "A clause which is valid under article 1341 comma 1 civil code (not inefficacious)" ;
                    rdfs:label "Valid under article 1341 comma 1 civil code" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Valid_ExArt1341co2
:Valid_ExArt1341co2 rdf:type owl:Class ;
                    owl:equivalentClass [ owl:intersectionOf ( <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement>
                                                               [ rdf:type owl:Class ;
                                                                 owl:unionOf ( [ rdf:type owl:Class ;
                                                                                 owl:unionOf ( [ rdf:type owl:Restriction ;
                                                                                                 owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> ;
                                                                                                 owl:someValuesFrom :NonOppressive_Status
                                                                                               ]
                                                                                               [ rdf:type owl:Restriction ;
                                                                                                 owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#judged_as> ;
                                                                                                 owl:someValuesFrom :NonOppressive_Status
                                                                                               ]
                                                                                             )
                                                                               ]
                                                                               [ rdf:type owl:Class ;
                                                                                 owl:unionOf ( [ rdf:type owl:Restriction ;
                                                                                                 owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> ;
                                                                                                 owl:hasValue :Not_Unilateral
                                                                                               ]
                                                                                               [ rdf:type owl:Restriction ;
                                                                                                 owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#judged_as> ;
                                                                                                 owl:hasValue :Not_Unilateral
                                                                                               ]
                                                                                             )
                                                                               ]
                                                                               [ rdf:type owl:Class ;
                                                                                 owl:unionOf ( [ rdf:type owl:Restriction ;
                                                                                                 owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> ;
                                                                                                 owl:hasValue :Specific
                                                                                               ]
                                                                                               [ rdf:type owl:Restriction ;
                                                                                                 owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#judged_as> ;
                                                                                                 owl:hasValue :Specific
                                                                                               ]
                                                                                             )
                                                                               ]
                                                                               [ rdf:type owl:Class ;
                                                                                 owl:unionOf ( [ rdf:type owl:Restriction ;
                                                                                                 owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> ;
                                                                                                 owl:hasValue :SpecificallySigned
                                                                                               ]
                                                                                               [ rdf:type owl:Restriction ;
                                                                                                 owl:onProperty <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#judged_as> ;
                                                                                                 owl:hasValue :SpecificallySigned
                                                                                               ]
                                                                                             )
                                                                               ]
                                                                             )
                                                               ]
                                                             ) ;
                                          rdf:type owl:Class
                                        ] ,
                                        [ owl:intersectionOf ( <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement>
                                                               [ rdf:type owl:Class ;
                                                                 owl:complementOf :Relevant_ExArt1341co2
                                                               ]
                                                             ) ;
                                          rdf:type owl:Class
                                        ] ;
                    rdfs:subClassOf <http://www.estrellaproject.org/lkif-core/norm.owl#Normatively_Qualified> ;
                    rdfs:comment "A clause which is valid (and therefore not inefficacious) under article 1341 comma 2 civil code." ;
                    rdfs:label "Valid under article 1341 comma 2 civil code" .


###  http://www.estrellaproject.org/lkif-core/expression.owl#Communicated_Attitude
<http://www.estrellaproject.org/lkif-core/expression.owl#Communicated_Attitude> rdf:type owl:Class .


###  http://www.estrellaproject.org/lkif-core/expression.owl#Declaration
<http://www.estrellaproject.org/lkif-core/expression.owl#Declaration> rdf:type owl:Class .


###  http://www.estrellaproject.org/lkif-core/expression.owl#Expression
<http://www.estrellaproject.org/lkif-core/expression.owl#Expression> rdf:type owl:Class .


###  http://www.estrellaproject.org/lkif-core/expression.owl#Qualification
<http://www.estrellaproject.org/lkif-core/expression.owl#Qualification> rdf:type owl:Class .


###  http://www.estrellaproject.org/lkif-core/expression.owl#Qualified
<http://www.estrellaproject.org/lkif-core/expression.owl#Qualified> rdf:type owl:Class .


###  http://www.estrellaproject.org/lkif-core/norm.owl#Legal_Expression
<http://www.estrellaproject.org/lkif-core/norm.owl#Legal_Expression> rdf:type owl:Class .


###  http://www.estrellaproject.org/lkif-core/norm.owl#Norm
<http://www.estrellaproject.org/lkif-core/norm.owl#Norm> rdf:type owl:Class .


###  http://www.estrellaproject.org/lkif-core/norm.owl#Normatively_Qualified
<http://www.estrellaproject.org/lkif-core/norm.owl#Normatively_Qualified> rdf:type owl:Class .


#################################################################
#    Individuals
#################################################################

###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#AOUMessina_ByteSoftwareHouse_Clause2.020
:AOUMessina_ByteSoftwareHouse_Clause2.020 rdf:type owl:NamedIndividual ,
                                                   <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
                                          <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :Arbitration ,
                                                                                                                          :Unilateral ;
                                          rdfs:comment "clause 2.020 of contract between Byte Software House spa and Azienda Ospedaliera Universitaria di messina policlinico Gaetano Martino" ;
                                          rdfs:label "AOU Messina / Byte Software House Clause 2.020" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#AcquedottoPugliese_CC_Clause8
:AcquedottoPugliese_CC_Clause8 rdf:type owl:NamedIndividual ,
                                        <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
                               <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :Arbitration ;
                               rdfs:comment "clause 8 of the contract between Acquedotto Pugliese spa and C. C." ;
                               rdfs:label "Acquedotto Pugliese / CC Clause 8" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#AddedToPrecompiled
:AddedToPrecompiled rdf:type owl:NamedIndividual ,
                             <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Status> ;
                    rdfs:comment "Clause has been manually added to a precompiled contract" ;
                    rdfs:label "Added to precompiled" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Alfa_Beta1_Clause8
:Alfa_Beta1_Clause8 rdf:type owl:NamedIndividual ,
                             <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
                    <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :SpecificallySigned ;
                    rdfs:comment "Clause 8 of contract between unknown parties" ;
                    rdfs:label "Alfa1 / Beta1 clause 8" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Arbitration
:Arbitration rdf:type owl:NamedIndividual ,
                      <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Status> ,
                      :Oppressive_Status ;
             rdfs:comment "Clause concerns arbitration" ;
             rdfs:label "Arbitration" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Art1219co3cc
:Art1219co3cc rdf:type owl:NamedIndividual ,
                       <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Rule> ;
              rdfs:label "Article 1219 comma 3 Italian Civil Code" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Art1341co1cc
:Art1341co1cc rdf:type owl:NamedIndividual ,
                       <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Rule> ;
              <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :Inefficacy_ExArt1341co1 ;
              rdfs:comment "Articolo 1341 comma 1 Codice Civile: 'Le condizioni generali di contratto predisposte da uno dei contraenti sono efficaci nei confronti dell’altro, se al momento della conclusione del contratto questi le ha conosciute o avrebbe dovuto conoscerle usando l’ordinaria diligenza.'"@it ;
              rdfs:label "Article 1341 comma 1 Italian Civil Code" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Art1341co2cc
:Art1341co2cc rdf:type owl:NamedIndividual ,
                       <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Rule> ;
              <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :Inefficacy_ExArt1341co2 ;
              rdfs:comment "Articolo 1341 comma 2 Codice Civile: 'In ogni caso non hanno effetto, se non sono specificamente approvate per iscritto, le condizioni che stabiliscono, a favore di colui che le ha predisposte, limitazioni di responsabilità, facoltà di recedere dal contratto o di sospenderne l'esecuzione, ovvero sanciscono a carico dell'altro contraente decadenze, limitazioni alla facoltà di opporre eccezioni, restrizioni alla libertà contrattuale nei rapporti coi terzi, tacita proroga o rinnovazione del contratto, clausole compromissorie o deroghe alla competenza dell'autorità giudiziaria.'"@it ;
              rdfs:label "Article 1341 comma 2 Italian Civil Code" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Art1342co1cc
:Art1342co1cc rdf:type owl:NamedIndividual ,
                       <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Rule> ;
              <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :PrevailsOverPrecompiledClauses ;
              rdfs:comment "Articolo 1342 comma 1 Codice Civile: 'Nei contratti conclusi mediante la sottoscrizione di moduli o formulari, predisposti per disciplinare in maniera uniforme determinati rapporti contrattuali, le clausole aggiunte al modulo o al formulario prevalgono su quelle del modulo o del formulario qualora siano incompatibili con esse, anche se queste ultime non sono state cancellate.'"@it ;
              rdfs:label "Article 1342 comma 1 Italian Civil Code" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Art1342co2cc
:Art1342co2cc rdf:type owl:NamedIndividual ,
                       <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Rule> ;
              <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :Inefficacy_ExArt1342co2 ;
              rdfs:comment "Articolo 1342 comma 2 Codice Civile: \"Si osserva inoltre la disposizione del secondo comma dell'articolo precedente.\""@it ;
              rdfs:label "Article 1342 comma 2 Italian Civil Code" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Art1743cc
:Art1743cc rdf:type owl:NamedIndividual ,
                    <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Rule> ;
           rdfs:comment "Articolo 1743 Codice Civile: \"Il preponente non può valersi contemporaneamente di più agenti nella stessa zona e per lo stesso ramo di attività, né l'agente può assumere l'incarico di trattare nella stessa zona e per lo stesso ramo gli affari di più imprese in concorrenza tra loro.\""@it ;
           rdfs:label "Article 1743 Italian Civil Code" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#AssicurazioniGenerali_Csas_SectionA_Clause2
:AssicurazioniGenerali_Csas_SectionA_Clause2 rdf:type owl:NamedIndividual ,
                                                      <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
                                             <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :General ,
                                                                                                                             :NotSpecificallySigned ,
                                                                                                                             :Unilateral ;
                                             rdfs:comment "Clause 2 of contract between Assicurazione Generali Spa and C. sas." ;
                                             rdfs:label "Assicurazioni Generali / C. sas Clause 2" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#AutomobilClubEuropeo_GeCapital_ClauseX
:AutomobilClubEuropeo_GeCapital_ClauseX rdf:type owl:NamedIndividual ,
                                                 <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
                                        rdfs:comment "Clause unknown of contract between Automobil Club Europeo srl and Ge Capital Servizi Finanziari spa" ;
                                        rdfs:label "AutomobilClubEuropeo / GeCapital Clause 'x'" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#BC_BancaCreditoCooperativo_Clause6
:BC_BancaCreditoCooperativo_Clause6 rdf:type owl:NamedIndividual ,
                                             <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
                                    rdfs:comment "Clause 6 of the contract between B. C. and Banca Credito Cooperativo di Alba, Langhe e Roero scrl" ;
                                    rdfs:label "B.C. / Banca di Credito Cooperativo Clause 6" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#BL_Assitalia_Clause2.8
:BL_Assitalia_Clause2.8 rdf:type owl:NamedIndividual ,
                                 <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
                        <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :General ;
                        :assumption :Unilateral ;
                        rdfs:comment "Clause 2.8 of contract between B.L. and Assitalia spa" ;
                        rdfs:label "B.L. / Assitalia clause 2.8" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#CG_CarigeAssicurazioni_Clause31
:CG_CarigeAssicurazioni_Clause31 rdf:type owl:NamedIndividual ,
                                          <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
                                 <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :ExpertOpinion ;
                                 rdfs:comment "Clause 31 of contract between C. G. and Carige Assicurazioni spa" ;
                                 rdfs:label "C. G. / CarigeAssicurazioni_Clause 31" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#CG_IntesaVita_Clause6
:CG_IntesaVita_Clause6 rdf:type owl:NamedIndividual ,
                                <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
                       <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :Exception_Limitation ,
                                                                                                       :General ,
                                                                                                       :NotSpecificallySigned ,
                                                                                                       :Unilateral ;
                       rdfs:comment "Clause 6 of contract between C. G. and Intesa Vita spa" ;
                       rdfs:label "C. G. / Intesavita clause 6" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#CdABariII_Int1
:CdABariII_Int1 rdf:type owl:NamedIndividual ,
                         <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation> ;
                <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :Not_Unilateral ;
                <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> :VF_BPTR_clauseX ;
                rdfs:comment "Interpretation by the Tribunal of Bari, 3rd section in decision n. 461 of May 25th, 2004" ;
                rdfs:label "Court of Appeal of Bari Interpretation 1" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#CdAFirenzeI_Int1
:CdAFirenzeI_Int1 rdf:type owl:NamedIndividual ,
                           <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation> ;
                  <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :Knowable ,
                                                                                                  :Not_Unilateral ,
                                                                                                  :Specific ;
                  <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> :ComunePortoAzzurro_Daneco_Clause21 ;
                  rdfs:comment "Interpretation by the Court of Appeal of Firenze, 1st section, in decision of December 10th, 2004" ;
                  rdfs:label "Court of Appeal of Firenze interpretation 1" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#CdAMilanoII_Int1
:CdAMilanoII_Int1 rdf:type owl:NamedIndividual ,
                           <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation> ;
                  <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :Not_Unilateral ;
                  <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> :CondominioViaRasori_Santacroce_ClauseX ;
                  rdfs:comment "interpretation by the Court of Appeal of Milano 2nd section in decision n. 1154 of April 24th, 2007" ;
                  rdfs:label "Court of Appeal of Milano interpretation 1" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#CdARomaII_Int1
:CdARomaII_Int1 rdf:type owl:NamedIndividual ,
                         <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation> ;
                <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :ResponsibilityExtension ;
                <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> :ToroAssicurazioni_ImpresaAutoimpianti_ClauseB ;
                rdfs:comment "Interpretation by the Court of Appeal of Rome 2nd section in sentence n. 628 of February 14th, 2008." ;
                rdfs:label "Court of Appeal of Roma interpretation 1" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#CompetenceDerogation
:CompetenceDerogation rdf:type owl:NamedIndividual ,
                               <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Status> ,
                               :Oppressive_Status ;
                      rdfs:comment "Clause concerns a derogation to the judicial competence" ;
                      rdfs:label "Competence derogation" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#ComunePortoAzzurro_Daneco_Clause21
:ComunePortoAzzurro_Daneco_Clause21 rdf:type owl:NamedIndividual ,
                                             <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
                                    <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :Arbitration ;
                                    rdfs:comment "Clause 21 of contract between Comune di Porto Azzurro and Daneco Gestione Impianti spa" ;
                                    rdfs:label "Comune Porto Azzurro / Daneco Clause 21" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#CondominioViaDelGambero_BM_Clause16
:CondominioViaDelGambero_BM_Clause16 rdf:type owl:NamedIndividual ,
                                              <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
                                     <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :Arbitration ;
                                     rdfs:comment "Clause 16 of contract between Condominio di via del Gambero n. 40 and B. M." ;
                                     rdfs:label "Condominio Via del Gambero / B. M. clause 16" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#CondominioViaRasori_Santacroce_ClauseX
:CondominioViaRasori_Santacroce_ClauseX rdf:type owl:NamedIndividual ,
                                                 <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
                                        <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :Arbitration ,
                                                                                                                        :General ,
                                                                                                                        :NotSpecificallySigned ;
                                        rdfs:comment "clause unknown of contract between Condominio di via Rasori n. 9 and Impresa Edile Santacroce sas" ;
                                        rdfs:label "Condominio Via Rasori_ Santacroce_Clause x" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#ContractWithdrawalForBothParties
:ContractWithdrawalForBothParties rdf:type owl:NamedIndividual ,
                                           <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Status> ;
                                  rdfs:comment "Clause allow particular conditions of withdrawal for both parties" ;
                                  rdfs:label "Contract withdrawal for both parties" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#ContractWithdrawalUnilateral
:ContractWithdrawalUnilateral rdf:type owl:NamedIndividual ,
                                       :Oppressive_Status .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#EuropaPalaceHotel_SeatPagineGialle_Clause4
:EuropaPalaceHotel_SeatPagineGialle_Clause4 rdf:type owl:NamedIndividual ,
                                                     <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
                                            <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :General ;
                                            rdfs:comment "clause 4 of contract between Europa Palace Hotel spa and Seat Pagine Gialle spa" ;
                                            rdfs:label "Europa Palace Hotel / Seat Pagine Gialle clause 4" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Exception_Limitation
:Exception_Limitation rdf:type owl:NamedIndividual ,
                               <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Status> ,
                               :Oppressive_Status ;
                      rdfs:comment "Clause concerns a limitation to the exceptions that can be opposed to the proponant" ;
                      rdfs:label "Limitation to exceptions" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#ExpertOpinion
:ExpertOpinion rdf:type owl:NamedIndividual ,
                        <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Status> ;
               rdfs:comment "Clause concerns an expert opinion" ;
               rdfs:label "Expert Opinion" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#General
:General rdf:type owl:NamedIndividual ,
                  <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Status> ;
         rdfs:comment "Clause is general (a general condition is common to a series of contracts)" ;
         rdfs:label "General" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#IBIImmobiliare_AACF_ClauseC
:IBIImmobiliare_AACF_ClauseC rdf:type owl:NamedIndividual ,
                                      <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
                             <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :SpecificallySigned ;
                             rdfs:comment "Clause C of contract between IBI Immobiliare Italiana srl and A.A., C. F." ;
                             rdfs:label "IBI Immobiliare / A.A. and C. F. clause C" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#ISPB_SAI_clause_12
:ISPB_SAI_clause_12 rdf:type owl:NamedIndividual ,
                             <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
                    <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :Unilateral ;
                    rdfs:comment "Clause 12 of contract between Istituto Sorveglianza Provinciale Bergamasco spa and SAI spa." ;
                    rdfs:label "ISPB / SAI clause 12" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Inefficacy_ExArt1341co1
:Inefficacy_ExArt1341co1 rdf:type owl:NamedIndividual ,
                                  :Inefficacy ;
                         rdfs:comment "Clause is inefficacious under article 1341 comma 1 Civil Code" ;
                         rdfs:label "Inefficacy under article 1341 comma 1 Civil Code" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Inefficacy_ExArt1341co2
:Inefficacy_ExArt1341co2 rdf:type owl:NamedIndividual ,
                                  :Inefficacy ;
                         rdfs:comment "Clause is inefficacious under article 1341 comma 2 Civil Code" ;
                         rdfs:label "Inefficacy under article 1341 comma 2 Civil Code" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Inefficacy_ExArt1342co2
:Inefficacy_ExArt1342co2 rdf:type owl:NamedIndividual ,
                                  :Inefficacy ;
                         rdfs:comment "Clause is inefficacious under article 1342 comma 2 Civil Code" ;
                         rdfs:label "Inefficacy under article 1342 comma 2 Civil Code" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#International
:International rdf:type owl:NamedIndividual ,
                        <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Status> ,
                        :Art1341-1342_Exception ;
               rdfs:comment "The contract is international: its parties are of different countries." ;
               rdfs:label "International" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Knowable
:Knowable rdf:type owl:NamedIndividual ,
                   <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Status> ;
          rdfs:comment "Clause was knowable by the other party at the time of the conclusion of the contract by using ordinary diligence" ;
          rdfs:label "Knowable" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#LLoyd_FF_Contract
:LLoyd_FF_Contract rdf:type owl:NamedIndividual ,
                            <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
                   <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :Precompiled ;
                   rdfs:comment "Contract between Lloyd Nazionale Assicurazioni spa and F.F. Consulenze Assicurazioni sas" ;
                   rdfs:label "Lloyd's / F.F. contract" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Law180_1993Art2co2
:Law180_1993Art2co2 rdf:type owl:NamedIndividual ,
                             <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Rule> ;
                    rdfs:label "Article 2 comma 2 Law 180/1993" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#LiabilityLimitation
:LiabilityLimitation rdf:type owl:NamedIndividual ,
                              <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Status> ,
                              :Oppressive_Status ;
                     rdfs:comment "Clause concerns a limitation to the liability of the proponant" ;
                     rdfs:label "Liability limitation" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#LimitationTowards3rdParties
:LimitationTowards3rdParties rdf:type owl:NamedIndividual ,
                                      <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Status> ,
                                      :Oppressive_Status ;
                             rdfs:comment "Clause concerns a limitation to contractual freedom towards third parties" ;
                             rdfs:label "Limitation towards third parties" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#ME_LaSorgente_Clause8
:ME_LaSorgente_Clause8 rdf:type owl:NamedIndividual ,
                                <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
                       <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :CompetenceDerogation ,
                                                                                                       :General ,
                                                                                                       :Unilateral ;
                       rdfs:comment "Clause 8 of contract between M. E. and La Sorgente sas" ;
                       rdfs:label "M.E. / La Sorgente clause 8" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#MeAComputer_Cartasi_ClauseX
:MeAComputer_Cartasi_ClauseX rdf:type owl:NamedIndividual ,
                                      <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
                             <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :ContractWithdrawalForBothParties ,
                                                                                                             :NotSpecificallySigned ,
                                                                                                             :Precompiled ,
                                                                                                             :Unilateral ;
                             rdfs:comment "clause x of contract between M & A Computer sas and Cartasì spa" ;
                             rdfs:label "M & A Computer / Cartasì Clause 'x'" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#NewEdge_FotoVillage_clause12
:NewEdge_FotoVillage_clause12 rdf:type owl:NamedIndividual ,
                                       <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
                              <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :CompetenceDerogation ,
                                                                                                              :General ,
                                                                                                              :Unilateral ;
                              rdfs:comment "Clause 12 of contract between New Edge di D. F. and Foto Village s.a.s. "@it ;
                              rdfs:label "New Edge / Foto Village clause 12" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#No_Arbitration
:No_Arbitration rdf:type owl:NamedIndividual ,
                         :NonOppressive_Status .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#No_CompentenceDerogation
:No_CompentenceDerogation rdf:type owl:NamedIndividual ,
                                   :NonOppressive_Status .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#No_ContractWithdrawal
:No_ContractWithdrawal rdf:type owl:NamedIndividual ,
                                :NonOppressive_Status .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#No_ResponsibilityLimitation
:No_ResponsibilityLimitation rdf:type owl:NamedIndividual ,
                                      :NonOppressive_Status ;
                             owl:sameAs :ResponsibilityExtension ;
                             owl:differentFrom :ResponsibilityLimitation .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#ResponsibilityExtension

###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#NotSpecificallySigned
:NotSpecificallySigned rdf:type owl:NamedIndividual ,
                                <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Status> ;
                       rdfs:comment "Clause has not been specifically signed" ;
                       rdfs:label "Not specifically signed" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Not_Knowable
:Not_Knowable rdf:type owl:NamedIndividual ,
                       <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Status> ;
              rdfs:comment "Clause was not knowable by the other party at the time of the conclusion of the contract, even using ordinary diligence" ;
              rdfs:label "Non knowable" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Not_Unilateral
:Not_Unilateral rdf:type owl:NamedIndividual ,
                         <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Status> ;
                rdfs:comment "Clause was not unilaterally predisponed by the proponant" ;
                rdfs:label "Not unilateral" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#NovusWohnbedarfVertriebs_Bspa_Clause3.1
:NovusWohnbedarfVertriebs_Bspa_Clause3.1 rdf:type owl:NamedIndividual ,
                                                  <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
                                         <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :LimitationTowards3rdParties ;
                                         rdfs:comment "Clause 3.1 of contract between Novus Wohnbedarf Vertriebs gmbh and B. spa" ;
                                         rdfs:label "Novus Wothnbedarf Vertriebs / B. spa clause 3.1" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Precompiled
:Precompiled rdf:type owl:NamedIndividual ,
                      <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Status> ;
             rdfs:comment "Contract was precompiled by the proponant" ;
             rdfs:label "Precompiled" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#PrevailsOverPrecompiledClauses
:PrevailsOverPrecompiledClauses rdf:type owl:NamedIndividual ,
                                         <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Consequence> ;
                                rdfs:comment "An added clause prevails over precompiled clauses of the contract following Article 1342 comma 1 Civil Code" ;
                                rdfs:label "Prevails over precompiled clauses" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#ReproducingLawDisposition
:ReproducingLawDisposition rdf:type owl:NamedIndividual ,
                                    <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Status> ,
                                    :Art1341-1342_Exception ;
                           rdfs:comment "Clause reproduces a law disposition" ;
                           rdfs:label "Reproducing law disposition" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#ResponsibilityExtension
:ResponsibilityExtension rdf:type owl:NamedIndividual ,
                                  <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Status> ;
                         rdfs:comment "Clause concerns an extention of the responsibility of the acceptant" ;
                         rdfs:label "Extension of responsibility" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#ResponsibilityLimitation
:ResponsibilityLimitation rdf:type owl:NamedIndividual ,
                                   <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Status> ,
                                   :Oppressive_Status ;
                          rdfs:comment "Clause concerns a limitation to the responsibility of the proponant" ;
                          rdfs:label "Limitation of responsibility" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#SC_LaPiemonteseAssicurazioni_Clause15f
:SC_LaPiemonteseAssicurazioni_Clause15f rdf:type owl:NamedIndividual ,
                                                 <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
                                        <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :General ,
                                                                                                                        :NotSpecificallySigned ,
                                                                                                                        :Unilateral ;
                                        rdfs:comment "clause 15f of contract between S. C. and la Piemontese Assicurazioni spa" ;
                                        rdfs:label "S.C. / La Piemontese Assicurazioni Clause 15f" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#STF_KSBClause10.2
:STF_KSBClause10.2 rdf:type owl:NamedIndividual ,
                            <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
                   <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :CompetenceDerogation ,
                                                                                                   :General ;
                   rdfs:comment "clause 10.2 of contract between STF spa and KSB ag" ;
                   rdfs:label "STF / KSB clause 10.2" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Specific
:Specific rdf:type owl:NamedIndividual ,
                   <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Status> ;
          rdfs:comment "Clause is specific (not general)" ;
          rdfs:label "Specific" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#SpecificallySigned
:SpecificallySigned rdf:type owl:NamedIndividual ,
                             <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Status> ;
                    rdfs:comment "Clause was specifically signed" ;
                    rdfs:label "Specifically signed" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#StatutoFIGC_Clause24
:StatutoFIGC_Clause24 rdf:type owl:NamedIndividual ,
                               <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
                      <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :Arbitration ;
                      rdfs:comment "Clause 24 of the Statute of the FIGC, Federazione Italiana Giuoco Calcio" ;
                      rdfs:label "Statuto F. I. G. C. clause 24" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#ToroAssicurazioni_ImpresaAutoimpianti_ClauseB
:ToroAssicurazioni_ImpresaAutoimpianti_ClauseB rdf:type owl:NamedIndividual ,
                                                        <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
                                               rdfs:comment "Clause B of contract between Impresa Autoimpianti di L. A. and Toro Assicurazioni spa" ;
                                               rdfs:label "Toro Assicurazioni / Impresa Autoimpianti clause B" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#TribBariIII_Int1
:TribBariIII_Int1 rdf:type owl:NamedIndividual ,
                           <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation> ;
                  <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :NotSpecificallySigned ;
                  <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> :AcquedottoPugliese_CC_Clause8 ;
                  :assumption :General ,
                              :Unilateral ;
                  rdfs:comment "Interpretation by the Tribunal of Bari 3rd section in decision n. 87 of January 15th, 2009" ;
                  rdfs:label "Tribunal of Bari interpretation 1" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#TribComoI_Int1
:TribComoI_Int1 rdf:type owl:NamedIndividual ,
                         <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation> ;
                <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :NotSpecificallySigned ;
                <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> :ME_LaSorgente_Clause8 ;
                rdfs:comment "Interpretation by the Tribunal of Como in decision of May 20th, 2004" ;
                rdfs:label "Tribunal of Como interpretation 1" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#TribFirenzeIII_Int1
:TribFirenzeIII_Int1 rdf:type owl:NamedIndividual ,
                              <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation> ;
                     <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :NotSpecificallySigned ;
                     <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#LLoyd_FF_Clause*> ;
                     rdfs:comment "interpretation by the Tribunal of Firenze 3rd section in decision of November 7th, 2006" ;
                     rdfs:label "Tribunal of Firenze interpretation 1" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#TribGenovaI_Int1
:TribGenovaI_Int1 rdf:type owl:NamedIndividual ,
                           <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation> ;
                  <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> :IBIImmobiliare_AACF_ClauseC ;
                  rdfs:comment "Interpretation by the Tribunal of Genova in decision of February 19th, 2003" ;
                  rdfs:label "Tribunal of Genova interpretation 1" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#TribIsernia_int1
:TribIsernia_int1 rdf:type owl:NamedIndividual ,
                           <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation> ;
                  <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :No_CompentenceDerogation ;
                  <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> :ExpertOpinion ;
                  rdfs:comment "Interpretation of the Tribunal of Isernia in decision n. 65 of January 20th, 2010" ;
                  rdfs:label "Tribunal of Isernia interpretation 1" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#TribIsernia_int1.2
:TribIsernia_int1.2 rdf:type owl:NamedIndividual ,
                             <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation> ;
                    <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> :CG_CarigeAssicurazioni_Clause31 ;
                    rdfs:comment "Interpretation of the Tribunal of Isernia in decision n. 65 of January 20th, 2010" ;
                    rdfs:label "Tribunal of Isernia interpretation 2" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#TribModenaII_Int1
:TribModenaII_Int1 rdf:type owl:NamedIndividual ,
                            <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation> ;
                   <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :Not_Unilateral ;
                   <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> :CondominioViaDelGambero_BM_Clause16 ;
                   rdfs:comment "interpretation by the Tribunal of Modena 2nd section in decision of November 2nd, 2005" ;
                   rdfs:label "Tribunal of Modena interpretation 1" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#TribMondovi_Int1
:TribMondovi_Int1 rdf:type owl:NamedIndividual ,
                           <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation> ;
                  <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :SpecificallySigned ;
                  <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> :AutomobilClubEuropeo_GeCapital_ClauseX ;
                  rdfs:comment "interpretation of the Tribunal of Mondovì in decision of November 14th, 2006" ;
                  rdfs:label "Tribunal of Mondovì interpretation 1" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#TribMonzaI_Int1
:TribMonzaI_Int1 rdf:type owl:NamedIndividual ,
                          <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation> ;
                 <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :Knowable ;
                 <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> :Alfa_Beta1_Clause8 ;
                 rdfs:comment "Interpretation by the Tribunal of Monza in decision of January 21st, 2003" ;
                 rdfs:label "Tribunal of Monza interpretation 1" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#TribMonzaI_Int2.1
:TribMonzaI_Int2.1 rdf:type owl:NamedIndividual ,
                            <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation> ;
                   <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :Art1743cc ;
                   <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> :NovusWohnbedarfVertriebs_Bspa_Clause3.1 ;
                   :exception :ReproducingLawDisposition ;
                   rdfs:comment "interpretation by the Tribunal of Monza in decision of November 9th, 2006" ;
                   rdfs:label "Tribunal of Monza interpretation 2" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#TribNapoliI_Int1
:TribNapoliI_Int1 rdf:type owl:NamedIndividual ,
                           <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation> ;
                  <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :Arbitration ;
                  <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> :BL_Assitalia_Clause2.8 ;
                  :assumption :NotSpecificallySigned ;
                  rdfs:comment "Interpretation by the Tribunal of Napoli in decision of January 13th, 2005" ;
                  rdfs:label "Tribunal of Napoli interpretation 1" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#TribNolaII_Int1
:TribNolaII_Int1 rdf:type owl:NamedIndividual ,
                          <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation> ;
                 <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :No_ContractWithdrawal ;
                 <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> :ContractWithdrawalForBothParties ,
                                                                                                   :MeAComputer_Cartasi_ClauseX ;
                 rdfs:comment "Interpretation by the Tribunal of Nola 2nd section in decision of may 20th, 2008" ;
                 rdfs:label "Tribunal of Nola interpretation 1" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#TribPiacenzaI_Int1
:TribPiacenzaI_Int1 rdf:type owl:NamedIndividual ,
                             <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation> ;
                    <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :NotSpecificallySigned ;
                    <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> :NewEdge_FotoVillage_clause12 ;
                    rdfs:comment "Interpretation by the Tribunal of Piacenza on sentence 507 of July 6th, 2009"@it ;
                    rdfs:label "Tribunal of Piacenza interpretation 1" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#TribPiacenzaI_Int2.1
:TribPiacenzaI_Int2.1 rdf:type owl:NamedIndividual ,
                               <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation> ;
                      <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :Knowable ;
                      <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> :STF_KSBClause10.2 ;
                      :exception :International ;
                      rdfs:comment "Interpretation by the Tribunal of Piacenza in decision n. 599 of September 21st, 2009" ;
                      rdfs:label "Tribunal of Piacenza interpretation 2" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#TribRomaIX_Int1
:TribRomaIX_Int1 rdf:type owl:NamedIndividual ,
                          <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation> ;
                 <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :Art1219co3cc ;
                 <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> :CG_IntesaVita_Clause6 ;
                 :exception :ReproducingLawDisposition ;
                 rdfs:comment "Interpretation by the Tribunal of Rome 9th section in decision n. 147 of January 4th, 2008" ;
                 rdfs:label "Tribunal of Roma interpretation 1" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#TribSalernoI_Int1
:TribSalernoI_Int1 rdf:type owl:NamedIndividual ,
                            <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation> ;
                   <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :Law180_1993Art2co2 ;
                   <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> :StatutoFIGC_Clause24 ;
                   :exception :ReproducingLawDisposition ;
                   rdfs:comment "Interpretation by the Tribunal of Salerno 1st section in decision of October 31st, 2006" ;
                   rdfs:label "Tribunal of Salerno interpretation 1" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#TribSavonaI_Int1
:TribSavonaI_Int1 rdf:type owl:NamedIndividual ,
                           <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation> ;
                  <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :SpecificallySigned ;
                  <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> :BC_BancaCreditoCooperativo_Clause6 ;
                  rdfs:comment "Interpretation by the Tribunal of Savona in decision of July 24th, 2005" ;
                  rdfs:label "Tribunal of Savona interpretation 1" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#TribTorinoIII_Int1
:TribTorinoIII_Int1 rdf:type owl:NamedIndividual ,
                             <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation> ;
                    <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :No_ResponsibilityLimitation ;
                    <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> :SC_LaPiemonteseAssicurazioni_Clause15f ;
                    rdfs:comment "Interpretation by the Tribunal of Torino 3rd section in decision of October 1st, 2008" ;
                    rdfs:label "Tribunal of Torino interpretation 1" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#TribTorinoIII_Int2.1
:TribTorinoIII_Int2.1 rdf:type owl:NamedIndividual ,
                               <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation> ;
                      <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :SpecificallySigned ;
                      <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> :EuropaPalaceHotel_SeatPagineGialle_Clause4 ;
                      rdfs:comment "Interpretation by the Tribunal of Torino 3rd section in decision n. 7785 of november 25th, 2008" ;
                      rdfs:label "Tribunal of Torino interpretation 2" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#TribTorinoI_Int1
:TribTorinoI_Int1 rdf:type owl:NamedIndividual ,
                           <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation> ;
                  <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :General ,
                                                                                                  :LiabilityLimitation ,
                                                                                                  :NotSpecificallySigned ;
                  <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> :ISPB_SAI_clause_12 ;
                  rdfs:comment "Interpretation by Tribunal of Torino in sentence January 13th, 2003" ;
                  rdfs:label "Tribunal of Torino interpretation 3" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#TribTorinoVIII_Int1
:TribTorinoVIII_Int1 rdf:type owl:NamedIndividual ,
                              <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation> ;
                     <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :General ,
                                                                                                     :NotSpecificallySigned ,
                                                                                                     :Not_Knowable ,
                                                                                                     :Unilateral ;
                     <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> :AOUMessina_ByteSoftwareHouse_Clause2.020 ;
                     rdfs:comment "interpretation by the Tribunal of Torino, 8th section, in decision of November 26th, 2005" ;
                     rdfs:label "Tribunal of Torino interpretation 4" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#TribTraniI_Int1
:TribTraniI_Int1 rdf:type owl:NamedIndividual ,
                          <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation> ;
                 <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :SpecificallySigned ;
                 <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#AgenziaImmobiliareD_NG&PF_ClauseX> ;
                 rdfs:comment "Interpretation by the Tribunal of Trani in decision n. 23 of January 23rd, 2009" ;
                 rdfs:label "Tribunal of Trani interpretation 1" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#TribVeneziaI_Int1
:TribVeneziaI_Int1 rdf:type owl:NamedIndividual ,
                            <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Judicial_Interpretation> ;
                   <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :LiabilityLimitation ;
                   <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#considers> :AssicurazioniGenerali_Csas_SectionA_Clause2 ;
                   rdfs:comment "Interpretation by the Tribunal of Venezia, in sentence of July 11th, 2002" ;
                   rdfs:label "Tribunal of Venezia interpretation 1" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#Unilateral
:Unilateral rdf:type owl:NamedIndividual ,
                     <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Legal_Status> ;
            rdfs:comment "Clause was unilaterally predisponed" ;
            rdfs:label "Unilateral" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#VF_BPTR_clauseX
:VF_BPTR_clauseX rdf:type owl:NamedIndividual ,
                          <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
                 rdfs:comment "Clause unknown of the contract between V. F. and F. B. srl" ;
                 rdfs:label "V. F. / B. P. & T. R. clause 'x'" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#AgenziaImmobiliareD_NG&PF_ClauseX
<http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#AgenziaImmobiliareD_NG&PF_ClauseX> rdf:type owl:NamedIndividual ,
                                                                                                                     <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
                                                                                                            rdfs:comment "clause x of the contract between Agenzia Immobiliare D. di M. D. and N. G., P. F." ;
                                                                                                            rdfs:label "Agenzia Immobiliare D / NG e PF Clause 'x'" .


###  http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#LLoyd_FF_Clause*
<http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Domain.owl#LLoyd_FF_Clause*> rdf:type owl:NamedIndividual ,
                                                                                                    <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#Contractual_Agreement> ;
                                                                                           <http://codexml.cirsfid.unibo.it/ontologies/Judging_Contracts_Core.owl#applies> :AddedToPrecompiled ;
                                                                                           <http://www.estrellaproject.org/lkif-core/mereology.owl#contained_in> :LLoyd_FF_Contract ;
                                                                                           rdfs:comment "Clause '*' between Lloyd Nazionale Assicurazioni spa and F.F. Consulenze e Assicurazioni sas" ;
                                                                                           rdfs:label "Lloyd's / F.F. clause *" .


###  Generated by the OWL API (version 4.5.29) https://github.com/owlcs/owlapi
