Prefix(:=<http://www.loa-cnr.it/ontologies/DLP_397.owl#>)
Prefix(a10:=<http://www.loa-cnr.it/ontologies/Plans.owl#>)
Prefix(a11:=<http://www.loa-cnr.it/ontologies/SemioticCommunicationTheory.owl#>)
Prefix(a12:=<http://www.loa-cnr.it/ontologies/SocialUnits.owl#>)
Prefix(a13:=<http://www.loa-cnr.it/ontologies/SpatialRelations.owl#>)
Prefix(a14:=<http://www.loa-cnr.it/ontologies/Systems.owl#>)
Prefix(a15:=<http://www.loa-cnr.it/ontologies/TemporalRelations.owl#>)
Prefix(a1:=<http://www.loa-cnr.it/ontologies/Collections.owl#>)
Prefix(a2:=<http://www.loa-cnr.it/ontologies/Collectives.owl#>)
Prefix(a3:=<http://www.loa-cnr.it/ontologies/CommonSenseMapping.owl#>)
Prefix(a4:=<http://www.loa-cnr.it/ontologies/DOLCE-Lite.owl#>)
Prefix(a5:=<http://www.loa-cnr.it/ontologies/ExtendedDnS.owl#>)
Prefix(a6:=<http://www.loa-cnr.it/ontologies/FunctionalParticipation.owl#>)
Prefix(a7:=<http://www.loa-cnr.it/ontologies/InformationObjects.owl#>)
Prefix(a8:=<http://www.loa-cnr.it/ontologies/MentalObjects.owl#>)
Prefix(a9:=<http://www.loa-cnr.it/ontologies/ModalDescriptions.owl#>)

Ontology(<http://www.loa-cnr.it/ontologies/DLP_397.owl#>

  SubClassOf( a4:particular owl:Thing ) Declaration( Class( a4:particular ) )
    SubClassOf( a4:abstract a4:particular ) Declaration( Class( a4:abstract ) )
      SubClassOf( a4:proposition a4:abstract ) Declaration( Class( a4:proposition ) )
      SubClassOf( a4:region a4:abstract ) Declaration( Class( a4:region ) )
        SubClassOf( a4:abstract-region a4:region ) Declaration( Class( a4:abstract-region ) )
          SubClassOf( a3:measurement-unit a4:abstract-region ) Declaration( Class( a3:measurement-unit ) )
        SubClassOf( a4:physical-region a4:region ) Declaration( Class( a4:physical-region ) )
          SubClassOf( a4:space-region a4:physical-region ) Declaration( Class( a4:space-region ) )
            SubClassOf( a4:spatio-temporal-region a4:space-region ) Declaration( Class( a4:spatio-temporal-region ) )
        SubClassOf( a4:quale a4:region ) Declaration( Class( a4:quale ) )
        SubClassOf( a4:quality-space a4:region ) Declaration( Class( a4:quality-space ) )
        SubClassOf( a4:temporal-region a4:region ) Declaration( Class( a4:temporal-region ) )
          SubClassOf( a4:time-interval a4:temporal-region ) Declaration( Class( a4:time-interval ) )
      SubClassOf( a4:set a4:abstract ) Declaration( Class( a4:set ) )
    SubClassOf( a4:spatio-temporal-particular a4:particular ) Declaration( Class( a4:spatio-temporal-particular ) )
      SubClassOf( a4:endurant a4:spatio-temporal-particular ) Declaration( Class( a4:endurant ) )
        SubClassOf( a4:arbitrary-sum a4:endurant ) Declaration( Class( a4:arbitrary-sum ) )
        SubClassOf( a4:non-physical-endurant a4:endurant ) Declaration( Class( a4:non-physical-endurant ) )
          SubClassOf( a4:non-physical-object a4:non-physical-endurant ) Declaration( Class( a4:non-physical-object ) )
            SubClassOf( a5:social-object a4:non-physical-object ) Declaration( Class( a5:social-object ) )
              SubClassOf( a5:agentive-social-object a5:social-object ) Declaration( Class( a5:agentive-social-object ) )
                SubClassOf( a5:agentive-figure a5:agentive-social-object ) Declaration( Class( a5:agentive-figure ) )
                  SubClassOf( a12:socially-constructed-person a5:agentive-figure ) Declaration( Class( a12:socially-constructed-person ) )
                    SubClassOf( a12:natural-person a12:socially-constructed-person ) Declaration( Class( a12:natural-person ) )
                    SubClassOf( a12:organization a12:socially-constructed-person ) Declaration( Class( a12:organization ) )
                      SubClassOf( a12:institution a12:organization ) Declaration( Class( a12:institution ) )
              SubClassOf( a5:figure a5:social-object ) Declaration( Class( a5:figure ) )
                SubClassOf( a5:agentive-figure a5:figure )
                SubClassOf( a5:non-agentive-figure a5:figure ) Declaration( Class( a5:non-agentive-figure ) )
                  SubClassOf( a3:non-physical-place a5:non-agentive-figure ) Declaration( Class( a3:non-physical-place ) )
                    SubClassOf( a3:geographical-place a3:non-physical-place ) Declaration( Class( a3:geographical-place ) )
                      SubClassOf( a3:political-geographic-object a3:geographical-place ) Declaration( Class( a3:political-geographic-object ) )
                        SubClassOf( a3:country a3:political-geographic-object ) Declaration( Class( a3:country ) )
              SubClassOf( a5:non-agentive-social-object a5:social-object ) Declaration( Class( a5:non-agentive-social-object ) )
                SubClassOf( a5:collection a5:non-agentive-social-object ) Declaration( Class( a5:collection ) )
                  SubClassOf( a1:non-physical-collection a5:collection ) Declaration( Class( a1:non-physical-collection ) )
                    SubClassOf( a1:information-collection a1:non-physical-collection ) Declaration( Class( a1:information-collection ) )
                      SubClassOf( a1:text-repository a1:information-collection ) Declaration( Class( a1:text-repository ) )
                  SubClassOf( a1:organized-collection a5:collection ) Declaration( Class( a1:organized-collection ) )
                    SubClassOf( a2:organized-collective a1:organized-collection ) Declaration( Class( a2:organized-collective ) )
                      SubClassOf( a2:ecological-collective a2:organized-collective ) Declaration( Class( a2:ecological-collective ) )
                      SubClassOf( a2:intentional-collective a2:organized-collective ) Declaration( Class( a2:intentional-collective ) )
                  SubClassOf( a1:simple-collection a5:collection ) Declaration( Class( a1:simple-collection ) )
                    SubClassOf( a1:parametrized-collection a1:simple-collection ) Declaration( Class( a1:parametrized-collection ) )
                    SubClassOf( a1:taxonomic-collection a1:simple-collection ) Declaration( Class( a1:taxonomic-collection ) )
                      SubClassOf( a2:taxonomic-collective a1:taxonomic-collection ) Declaration( Class( a2:taxonomic-collective ) )
                    SubClassOf( a2:simple-collective a1:simple-collection ) Declaration( Class( a2:simple-collective ) )
                      SubClassOf( a2:simple-planned-collective a2:simple-collective ) Declaration( Class( a2:simple-planned-collective ) )
                      SubClassOf( a2:type-based-collective a2:simple-collective ) Declaration( Class( a2:type-based-collective ) )
                        SubClassOf( a2:biological-collective a2:type-based-collective ) Declaration( Class( a2:biological-collective ) )
                          SubClassOf( a2:genetic-collective a2:biological-collective ) Declaration( Class( a2:genetic-collective ) )
                          SubClassOf( a2:taxonomic-collective a2:biological-collective )
                        SubClassOf( a2:social-type-collective a2:type-based-collective ) Declaration( Class( a2:social-type-collective ) )
                  SubClassOf( a5:collective a5:collection ) Declaration( Class( a5:collective ) )
                    SubClassOf( a2:organized-collective a5:collective )
                    SubClassOf( a2:simple-collective a5:collective )
                SubClassOf( a5:concept a5:non-agentive-social-object ) Declaration( Class( a5:concept ) )
                  SubClassOf( a5:course a5:concept ) Declaration( Class( a5:course ) )
                    SubClassOf( a5:life-cycle a5:course ) Declaration( Class( a5:life-cycle ) )
                    SubClassOf( a5:path a5:course ) Declaration( Class( a5:path ) )
                    SubClassOf( a5:task a5:course ) Declaration( Class( a5:task ) )
                      SubClassOf( a10:complex-task a5:task ) Declaration( Class( a10:complex-task ) )
                        SubClassOf( a10:bag-task a10:complex-task ) Declaration( Class( a10:bag-task ) )
                        SubClassOf( a10:maximal-task a10:complex-task ) Declaration( Class( a10:maximal-task ) )
                        SubClassOf( a10:sequential-task a10:complex-task ) Declaration( Class( a10:sequential-task ) )
                      SubClassOf( a10:elementary-task a5:task ) Declaration( Class( a10:elementary-task ) )
                        SubClassOf( a10:action-task a10:elementary-task ) Declaration( Class( a10:action-task ) )
                        SubClassOf( a10:control-task a10:elementary-task ) Declaration( Class( a10:control-task ) )
                          SubClassOf( a10:plan-assessment-task a10:control-task ) Declaration( Class( a10:plan-assessment-task ) )
                      SubClassOf( a10:schedule a5:task ) Declaration( Class( a10:schedule ) )
                  SubClassOf( a5:parameter a5:concept ) Declaration( Class( a5:parameter ) )
                    SubClassOf( a5:indicator a5:parameter ) Declaration( Class( a5:indicator ) )
                  SubClassOf( a5:role a5:concept ) Declaration( Class( a5:role ) )
                    SubClassOf( a3:causal-role a5:role ) Declaration( Class( a3:causal-role ) )
                    SubClassOf( a3:collection-role a5:role ) Declaration( Class( a3:collection-role ) )
                    SubClassOf( a3:feature-role a5:role ) Declaration( Class( a3:feature-role ) )
                    SubClassOf( a3:locative-role a5:role ) Declaration( Class( a3:locative-role ) )
                    SubClassOf( a3:phase-role a5:role ) Declaration( Class( a3:phase-role ) )
                    SubClassOf( a3:qualitative-role a5:role ) Declaration( Class( a3:qualitative-role ) )
                    SubClassOf( a3:substance-role a5:role ) Declaration( Class( a3:substance-role ) )
                    SubClassOf( a5:agent-driven-role a5:role ) Declaration( Class( a5:agent-driven-role ) )
                      SubClassOf( a5:status a5:agent-driven-role ) Declaration( Class( a5:status ) )
                    SubClassOf( a5:description-role a5:role ) Declaration( Class( a5:description-role ) )
                      SubClassOf( a5:logical-role a5:description-role ) Declaration( Class( a5:logical-role ) )
                    SubClassOf( a5:social-role a5:role ) Declaration( Class( a5:social-role ) )
                      SubClassOf( a3:commerce-role a5:social-role ) Declaration( Class( a3:commerce-role ) )
                      SubClassOf( a3:legal-possession-entity a5:social-role ) Declaration( Class( a3:legal-possession-entity ) )
                      SubClassOf( a5:status a5:social-role )
                    SubClassOf( a5:symmetric-role a5:role ) Declaration( Class( a5:symmetric-role ) )
                    SubClassOf( a11:communication-role a5:role ) Declaration( Class( a11:communication-role ) )
                    SubClassOf( a11:semiotic-role a5:role ) Declaration( Class( a11:semiotic-role ) )
                SubClassOf( a5:description a5:non-agentive-social-object ) Declaration( Class( a5:description ) )
                  SubClassOf( a5:constitutive-description a5:description ) Declaration( Class( a5:constitutive-description ) )
                  SubClassOf( a5:information-encoding-system a5:description ) Declaration( Class( a5:information-encoding-system ) )
                    SubClassOf( a7:classification-system a5:information-encoding-system ) Declaration( Class( a7:classification-system ) )
                    SubClassOf( a7:combinatorial-system a5:information-encoding-system ) Declaration( Class( a7:combinatorial-system ) )
                      SubClassOf( a7:grammar a7:combinatorial-system ) Declaration( Class( a7:grammar ) )
                      SubClassOf( a11:semiotic-code a7:combinatorial-system ) Declaration( Class( a11:semiotic-code ) )
                        SubClassOf( a11:language a11:semiotic-code ) Declaration( Class( a11:language ) )
                    SubClassOf( a7:formal-system a5:information-encoding-system ) Declaration( Class( a7:formal-system ) )
                  SubClassOf( a5:method a5:description ) Declaration( Class( a5:method ) )
                    SubClassOf( a5:plan a5:method ) Declaration( Class( a5:plan ) )
                      SubClassOf( a10:abstract-plan a5:plan ) Declaration( Class( a10:abstract-plan ) )
                      SubClassOf( a10:circumstantial-plan a5:plan ) Declaration( Class( a10:circumstantial-plan ) )
                      SubClassOf( a10:saturated-plan a5:plan ) Declaration( Class( a10:saturated-plan ) )
                      SubClassOf( a10:subplan a5:plan ) Declaration( Class( a10:subplan ) )
                      SubClassOf( a14:workflow a5:plan ) Declaration( Class( a14:workflow ) )
                        SubClassOf( a14:system-production-workflow a14:workflow ) Declaration( Class( a14:system-production-workflow ) )
                          SubClassOf( a14:design-specification-workflow a14:system-production-workflow ) Declaration( Class( a14:design-specification-workflow ) )
                          SubClassOf( a14:functionality-specification-workflow a14:system-production-workflow ) Declaration( Class( a14:functionality-specification-workflow ) )
                          SubClassOf( a14:system-implementation-workflow a14:system-production-workflow ) Declaration( Class( a14:system-implementation-workflow ) )
                    SubClassOf( a5:practice a5:method ) Declaration( Class( a5:practice ) )
                    SubClassOf( a5:project a5:method ) Declaration( Class( a5:project ) )
                    SubClassOf( a5:technique a5:method ) Declaration( Class( a5:technique ) )
                      SubClassOf( a10:plan-assessment a5:technique ) Declaration( Class( a10:plan-assessment ) )
                      SubClassOf( a10:planning-as-technique a5:technique ) Declaration( Class( a10:planning-as-technique ) )
                  SubClassOf( a5:modal-description a5:description ) Declaration( Class( a5:modal-description ) )
                    SubClassOf( a5:cognitive-modal-description a5:modal-description ) Declaration( Class( a5:cognitive-modal-description ) )
                      SubClassOf( a5:desire a5:cognitive-modal-description ) Declaration( Class( a5:desire ) )
                        SubClassOf( a5:goal a5:desire ) Declaration( Class( a5:goal ) )
                          SubClassOf( a10:goal-qua-main a5:goal ) Declaration( Class( a10:goal-qua-main ) )
                      SubClassOf( a9:commitment a5:cognitive-modal-description ) Declaration( Class( a9:commitment ) )
                        SubClassOf( a9:promise a9:commitment ) Declaration( Class( a9:promise ) )
                        SubClassOf( a9:responsibility a9:commitment ) Declaration( Class( a9:responsibility ) )
                  SubClassOf( a5:social-description a5:description ) Declaration( Class( a5:social-description ) )
                    SubClassOf( a3:principle a5:social-description ) Declaration( Class( a3:principle ) )
                    SubClassOf( a3:rationale a5:social-description ) Declaration( Class( a3:rationale ) )
                    SubClassOf( a5:regulation a5:social-description ) Declaration( Class( a5:regulation ) )
                      SubClassOf( a3:contract a5:regulation ) Declaration( Class( a3:contract ) )
                      SubClassOf( a3:norm a5:regulation ) Declaration( Class( a3:norm ) )
                    SubClassOf( a5:social-relationship a5:social-description ) Declaration( Class( a5:social-relationship ) )
                  SubClassOf( a5:theory a5:description ) Declaration( Class( a5:theory ) )
                    SubClassOf( a5:gestalt a5:theory ) Declaration( Class( a5:gestalt ) )
                    SubClassOf( a5:relation a5:theory ) Declaration( Class( a5:relation ) )
                  SubClassOf( a7:narrative a5:description ) Declaration( Class( a7:narrative ) )
                  SubClassOf( a7:subject a5:description ) Declaration( Class( a7:subject ) )
                  SubClassOf( a14:system-as-description a5:description ) Declaration( Class( a14:system-as-description ) )
                    SubClassOf( a14:system-design a14:system-as-description ) Declaration( Class( a14:system-design ) )
                    SubClassOf( a14:system-functionality a14:system-as-description ) Declaration( Class( a14:system-functionality ) )
                SubClassOf( a5:information-object a5:non-agentive-social-object ) Declaration( Class( a5:information-object ) )
                  SubClassOf( a3:creative-object a5:information-object ) Declaration( Class( a3:creative-object ) )
                  SubClassOf( a7:diagrammatic-object a5:information-object ) Declaration( Class( a7:diagrammatic-object ) )
                  SubClassOf( a7:formal-expression a5:information-object ) Declaration( Class( a7:formal-expression ) )
                  SubClassOf( a7:iconic-object a5:information-object ) Declaration( Class( a7:iconic-object ) )
                  SubClassOf( a7:linguistic-object a5:information-object ) Declaration( Class( a7:linguistic-object ) )
                    SubClassOf( a7:grapheme a7:linguistic-object ) Declaration( Class( a7:grapheme ) )
                    SubClassOf( a7:morpheme a7:linguistic-object ) Declaration( Class( a7:morpheme ) )
                    SubClassOf( a7:phoneme a7:linguistic-object ) Declaration( Class( a7:phoneme ) )
                    SubClassOf( a7:text a7:linguistic-object ) Declaration( Class( a7:text ) )
                    SubClassOf( a7:word a7:linguistic-object ) Declaration( Class( a7:word ) )
                SubClassOf( a5:non-agentive-figure a5:non-agentive-social-object )
                SubClassOf( a5:situation a5:non-agentive-social-object ) Declaration( Class( a5:situation ) )
                  SubClassOf( a10:goal-situation a5:situation ) Declaration( Class( a10:goal-situation ) )
                  SubClassOf( a10:plan-execution a5:situation ) Declaration( Class( a10:plan-execution ) )
                  SubClassOf( a11:communication-situation a5:situation ) Declaration( Class( a11:communication-situation ) )
                  SubClassOf( a11:interpretation-situation a5:situation ) Declaration( Class( a11:interpretation-situation ) )
                  SubClassOf( a14:production-workflow-execution a5:situation ) Declaration( Class( a14:production-workflow-execution ) )
                  SubClassOf( a14:system-as-situation a5:situation ) Declaration( Class( a14:system-as-situation ) )
                    SubClassOf( a14:design-object-materialization a14:system-as-situation ) Declaration( Class( a14:design-object-materialization ) )
                    SubClassOf( a14:working-system-situation a14:system-as-situation ) Declaration( Class( a14:working-system-situation ) )
            SubClassOf( a8:mental-object a4:non-physical-object ) Declaration( Class( a8:mental-object ) )
        SubClassOf( a4:physical-endurant a4:endurant ) Declaration( Class( a4:physical-endurant ) )
          SubClassOf( a4:amount-of-matter a4:physical-endurant ) Declaration( Class( a4:amount-of-matter ) )
            SubClassOf( a3:functional-matter a4:amount-of-matter ) Declaration( Class( a3:functional-matter ) )
          SubClassOf( a4:feature a4:physical-endurant ) Declaration( Class( a4:feature ) )
            SubClassOf( a4:dependent-place a4:feature ) Declaration( Class( a4:dependent-place ) )
            SubClassOf( a4:relevant-part a4:feature ) Declaration( Class( a4:relevant-part ) )
              SubClassOf( a3:spatial-feature a4:relevant-part ) Declaration( Class( a3:spatial-feature ) )
          SubClassOf( a4:physical-object a4:physical-endurant ) Declaration( Class( a4:physical-object ) )
            SubClassOf( a1:physical-plurality a4:physical-object ) Declaration( Class( a1:physical-plurality ) )
            SubClassOf( a5:agentive-physical-object a4:physical-object ) Declaration( Class( a5:agentive-physical-object ) )
              SubClassOf( a5:rational-physical-object a5:agentive-physical-object ) Declaration( Class( a5:rational-physical-object ) )
            SubClassOf( a5:non-agentive-physical-object a4:physical-object ) Declaration( Class( a5:non-agentive-physical-object ) )
              SubClassOf( a3:physical-body a5:non-agentive-physical-object ) Declaration( Class( a3:physical-body ) )
                SubClassOf( a3:biological-object a3:physical-body ) Declaration( Class( a3:biological-object ) )
                SubClassOf( a3:chemical-object a3:physical-body ) Declaration( Class( a3:chemical-object ) )
              SubClassOf( a3:physical-place a5:non-agentive-physical-object ) Declaration( Class( a3:physical-place ) )
                SubClassOf( a3:geographical-object a3:physical-place ) Declaration( Class( a3:geographical-object ) )
              SubClassOf( a5:material-artifact a5:non-agentive-physical-object ) Declaration( Class( a5:material-artifact ) )
                SubClassOf( a14:system-as-artifact a5:material-artifact ) Declaration( Class( a14:system-as-artifact ) )
        SubClassOf( a5:agent a4:endurant ) Declaration( Class( a5:agent ) )
          SubClassOf( a5:agentive-physical-object a5:agent )
          SubClassOf( a5:agentive-social-object a5:agent )
          SubClassOf( a5:rational-agent a5:agent ) Declaration( Class( a5:rational-agent ) )
            SubClassOf( a5:rational-physical-object a5:rational-agent )
      SubClassOf( a4:perdurant a4:spatio-temporal-particular ) Declaration( Class( a4:perdurant ) )
        SubClassOf( a4:event a4:perdurant ) Declaration( Class( a4:event ) )
          SubClassOf( a4:accomplishment a4:event ) Declaration( Class( a4:accomplishment ) )
            SubClassOf( a5:action a4:accomplishment ) Declaration( Class( a5:action ) )
              SubClassOf( a5:activity a5:action ) Declaration( Class( a5:activity ) )
                SubClassOf( a10:decision-activity a5:activity ) Declaration( Class( a10:decision-activity ) )
                SubClassOf( a10:information-gathering a5:activity ) Declaration( Class( a10:information-gathering ) )
                SubClassOf( a10:planning-activity a5:activity ) Declaration( Class( a10:planning-activity ) )
              SubClassOf( a7:gesturing a5:action ) Declaration( Class( a7:gesturing ) )
              SubClassOf( a7:voicing a5:action ) Declaration( Class( a7:voicing ) )
            SubClassOf( a5:communication-event a4:accomplishment ) Declaration( Class( a5:communication-event ) )
            SubClassOf( a5:phenomenon a4:accomplishment ) Declaration( Class( a5:phenomenon ) )
              SubClassOf( a5:physical-phenomenon a5:phenomenon ) Declaration( Class( a5:physical-phenomenon ) )
          SubClassOf( a4:achievement a4:event ) Declaration( Class( a4:achievement ) )
          SubClassOf( a5:cognitive-event a4:event ) Declaration( Class( a5:cognitive-event ) )
        SubClassOf( a4:stative a4:perdurant ) Declaration( Class( a4:stative ) )
          SubClassOf( a4:process a4:stative ) Declaration( Class( a4:process ) )
            SubClassOf( a5:flux a4:process ) Declaration( Class( a5:flux ) )
              SubClassOf( a5:reconstructed-flux a5:flux ) Declaration( Class( a5:reconstructed-flux ) )
          SubClassOf( a4:state a4:stative ) Declaration( Class( a4:state ) )
            SubClassOf( a5:cognitive-state a4:state ) Declaration( Class( a5:cognitive-state ) )
            SubClassOf( a10:decision-state a4:state ) Declaration( Class( a10:decision-state ) )
      SubClassOf( a4:quality a4:spatio-temporal-particular ) Declaration( Class( a4:quality ) )
        SubClassOf( a4:abstract-quality a4:quality ) Declaration( Class( a4:abstract-quality ) )
        SubClassOf( a4:physical-quality a4:quality ) Declaration( Class( a4:physical-quality ) )
          SubClassOf( a4:spatial-location_q a4:physical-quality ) Declaration( Class( a4:spatial-location_q ) )
        SubClassOf( a4:temporal-quality a4:quality ) Declaration( Class( a4:temporal-quality ) )
          SubClassOf( a4:temporal-location_q a4:temporal-quality ) Declaration( Class( a4:temporal-location_q ) )
      SubClassOf( a5:physical-realization a4:spatio-temporal-particular ) Declaration( Class( a5:physical-realization ) )
        SubClassOf( a7:information-realization a5:physical-realization ) Declaration( Class( a7:information-realization ) )
          SubClassOf( a7:gesturing a7:information-realization )
          SubClassOf( a7:voicing a7:information-realization )
          SubClassOf( a7:writing a7:information-realization ) Declaration( Class( a7:writing ) )
  SubClassOf( owl:Datatype owl:Thing ) Declaration( Class( owl:Datatype ) )

  SubObjectPropertyOf( a4:immediate-relation owl:topObjectProperty ) EquivalentObjectProperties( a4:immediate-relation ObjectInverseOf( a4:immediate-relation-i ) ) Declaration( ObjectProperty( a4:immediate-relation ) )
    SubObjectPropertyOf( a4:generic-constituent a4:immediate-relation ) EquivalentObjectProperties( a4:generic-constituent ObjectInverseOf( a4:generic-constituent-of ) ) Declaration( ObjectProperty( a4:generic-constituent ) )
      SubObjectPropertyOf( a5:member a4:generic-constituent ) EquivalentObjectProperties( a5:member ObjectInverseOf( a5:member-of ) ) Declaration( ObjectProperty( a5:member ) )
    SubObjectPropertyOf( a4:generic-dependent a4:immediate-relation ) EquivalentObjectProperties( a4:generic-dependent ObjectInverseOf( a4:generically-dependent-on ) ) Declaration( ObjectProperty( a4:generic-dependent ) )
    SubObjectPropertyOf( a4:identity-c a4:immediate-relation ) EquivalentObjectProperties( a4:identity-c ObjectInverseOf( a4:identity-c ) ) Declaration( ObjectProperty( a4:identity-c ) )
    SubObjectPropertyOf( a4:identity-n a4:immediate-relation ) EquivalentObjectProperties( a4:identity-n ObjectInverseOf( a4:identity-n ) ) Declaration( ObjectProperty( a4:identity-n ) )
    SubObjectPropertyOf( a4:inherent-in a4:immediate-relation ) EquivalentObjectProperties( a4:inherent-in ObjectInverseOf( a4:has-quality ) ) Declaration( ObjectProperty( a4:inherent-in ) )
      SubObjectPropertyOf( a4:t-inherent-in a4:inherent-in ) EquivalentObjectProperties( a4:t-inherent-in ObjectInverseOf( a4:has-t-quality ) ) Declaration( ObjectProperty( a4:t-inherent-in ) )
    SubObjectPropertyOf( a4:part a4:immediate-relation ) EquivalentObjectProperties( a4:part ObjectInverseOf( a4:part-of ) ) Declaration( ObjectProperty( a4:part ) )
      SubObjectPropertyOf( a4:atomic-part a4:part ) EquivalentObjectProperties( a4:atomic-part ObjectInverseOf( a4:atomic-part-of ) ) Declaration( ObjectProperty( a4:atomic-part ) )
      SubObjectPropertyOf( a4:proper-part a4:part ) EquivalentObjectProperties( a4:proper-part ObjectInverseOf( a4:proper-part-of ) ) Declaration( ObjectProperty( a4:proper-part ) )
        SubObjectPropertyOf( a3:geographic-part a4:proper-part ) EquivalentObjectProperties( a3:geographic-part ObjectInverseOf( a3:geographic-part-of ) ) Declaration( ObjectProperty( a3:geographic-part ) )
        SubObjectPropertyOf( a4:boundary a4:proper-part ) EquivalentObjectProperties( a4:boundary ObjectInverseOf( a4:boundary-of ) ) Declaration( ObjectProperty( a4:boundary ) )
        SubObjectPropertyOf( a4:temporary-proper-part a4:proper-part ) EquivalentObjectProperties( a4:temporary-proper-part ObjectInverseOf( a4:temporary-proper-part-of ) ) Declaration( ObjectProperty( a4:temporary-proper-part ) )
          SubObjectPropertyOf( a4:temporary-atomic-part a4:temporary-proper-part ) EquivalentObjectProperties( a4:temporary-atomic-part ObjectInverseOf( a4:temporary-atomic-part-of ) ) Declaration( ObjectProperty( a4:temporary-atomic-part ) )
          SubObjectPropertyOf( a5:temporary-component a4:temporary-proper-part ) EquivalentObjectProperties( a5:temporary-component ObjectInverseOf( a5:temporary-component-of ) ) Declaration( ObjectProperty( a5:temporary-component ) )
        SubObjectPropertyOf( a5:component a4:proper-part ) EquivalentObjectProperties( a5:component ObjectInverseOf( a5:component-of ) ) Declaration( ObjectProperty( a5:component ) )
          SubObjectPropertyOf( a5:d-uses a5:component ) EquivalentObjectProperties( a5:d-uses ObjectInverseOf( a5:d-used-by ) ) Declaration( ObjectProperty( a5:d-uses ) )
            SubObjectPropertyOf( a5:defines a5:d-uses ) EquivalentObjectProperties( a5:defines ObjectInverseOf( a5:defined-by ) ) Declaration( ObjectProperty( a5:defines ) )
            SubObjectPropertyOf( a5:optionally-uses a5:d-uses ) EquivalentObjectProperties( a5:optionally-uses ObjectInverseOf( a5:optionally-used-by ) ) Declaration( ObjectProperty( a5:optionally-uses ) )
            SubObjectPropertyOf( a10:discards a5:d-uses ) EquivalentObjectProperties( a10:discards ObjectInverseOf( a10:discarded-within ) ) Declaration( ObjectProperty( a10:discards ) )
          SubObjectPropertyOf( a5:temporary-component a5:component )
        SubObjectPropertyOf( a5:expands a4:proper-part ) EquivalentObjectProperties( a5:expands ObjectInverseOf( a5:expanded-by ) ) Declaration( ObjectProperty( a5:expands ) )
        SubObjectPropertyOf( a5:refines a4:proper-part ) EquivalentObjectProperties( a5:refines ObjectInverseOf( a5:refined-by ) ) Declaration( ObjectProperty( a5:refines ) )
        SubObjectPropertyOf( a7:broader-than a4:proper-part ) EquivalentObjectProperties( a7:broader-than ObjectInverseOf( a7:narrower-than ) ) Declaration( ObjectProperty( a7:broader-than ) )
        SubObjectPropertyOf( a10:main-goal a4:proper-part ) EquivalentObjectProperties( a10:main-goal ObjectInverseOf( a10:main-goal-of ) ) Declaration( ObjectProperty( a10:main-goal ) )
        SubObjectPropertyOf( a10:subgoal a4:proper-part ) EquivalentObjectProperties( a10:subgoal ObjectInverseOf( a10:subgoal-of ) ) Declaration( ObjectProperty( a10:subgoal ) )
      SubObjectPropertyOf( a4:temporary-part a4:part ) EquivalentObjectProperties( a4:temporary-part ObjectInverseOf( a4:temporary-part-of ) ) Declaration( ObjectProperty( a4:temporary-part ) )
        SubObjectPropertyOf( a4:mereologically-coincides a4:temporary-part ) EquivalentObjectProperties( a4:mereologically-coincides ObjectInverseOf( a4:mereologically-coincides ) ) Declaration( ObjectProperty( a4:mereologically-coincides ) )
        SubObjectPropertyOf( a4:temporary-proper-part a4:temporary-part )
    SubObjectPropertyOf( a4:participant a4:immediate-relation ) EquivalentObjectProperties( a4:participant ObjectInverseOf( a4:participant-in ) ) Declaration( ObjectProperty( a4:participant ) )
      SubObjectPropertyOf( a4:constant-participant a4:participant ) EquivalentObjectProperties( a4:constant-participant ObjectInverseOf( a4:constant-participant-in ) ) Declaration( ObjectProperty( a4:constant-participant ) )
        SubObjectPropertyOf( a4:life-of a4:constant-participant ) EquivalentObjectProperties( a4:life-of ObjectInverseOf( a4:life ) ) Declaration( ObjectProperty( a4:life-of ) )
        SubObjectPropertyOf( a4:total-constant-participant a4:constant-participant ) EquivalentObjectProperties( a4:total-constant-participant ObjectInverseOf( a4:total-constant-participant-in ) ) Declaration( ObjectProperty( a4:total-constant-participant ) )
          SubObjectPropertyOf( a6:substrate a4:total-constant-participant ) EquivalentObjectProperties( a6:substrate ObjectInverseOf( a6:substrate-of ) ) Declaration( ObjectProperty( a6:substrate ) )
            SubObjectPropertyOf( a6:state-of a6:substrate ) EquivalentObjectProperties( a6:state-of ObjectInverseOf( a6:has-state ) ) Declaration( ObjectProperty( a6:state-of ) )
      SubObjectPropertyOf( a4:temporary-participant a4:participant ) EquivalentObjectProperties( a4:temporary-participant ObjectInverseOf( a4:temporary-participant-in ) ) Declaration( ObjectProperty( a4:temporary-participant ) )
        SubObjectPropertyOf( a4:total-temporary-participant a4:temporary-participant ) EquivalentObjectProperties( a4:total-temporary-participant ObjectInverseOf( a4:total-temporary-participant-in ) ) Declaration( ObjectProperty( a4:total-temporary-participant ) )
      SubObjectPropertyOf( a6:functional-participant a4:participant ) EquivalentObjectProperties( a6:functional-participant ObjectInverseOf( a6:functional-participant-in ) ) Declaration( ObjectProperty( a6:functional-participant ) )
        SubObjectPropertyOf( a6:generic-target a6:functional-participant ) EquivalentObjectProperties( a6:generic-target ObjectInverseOf( a6:generic-target-of ) ) Declaration( ObjectProperty( a6:generic-target ) )
        SubObjectPropertyOf( a6:patient a6:functional-participant ) EquivalentObjectProperties( a6:patient ObjectInverseOf( a6:patient-of ) ) Declaration( ObjectProperty( a6:patient ) )
          SubObjectPropertyOf( a6:target a6:patient ) EquivalentObjectProperties( a6:target ObjectInverseOf( a6:target-of ) ) Declaration( ObjectProperty( a6:target ) )
          SubObjectPropertyOf( a6:theme a6:patient ) EquivalentObjectProperties( a6:theme ObjectInverseOf( a6:theme-of ) ) Declaration( ObjectProperty( a6:theme ) )
        SubObjectPropertyOf( a6:performed-by a6:functional-participant ) EquivalentObjectProperties( a6:performed-by ObjectInverseOf( a6:performs ) ) Declaration( ObjectProperty( a6:performed-by ) )
          SubObjectPropertyOf( a6:prescribed-by a6:performed-by ) EquivalentObjectProperties( a6:prescribed-by ObjectInverseOf( a6:prescribes ) ) Declaration( ObjectProperty( a6:prescribed-by ) )
        SubObjectPropertyOf( a6:product a6:functional-participant ) EquivalentObjectProperties( a6:product ObjectInverseOf( a6:product-of ) ) Declaration( ObjectProperty( a6:product ) )
        SubObjectPropertyOf( a6:substrate a6:functional-participant )
        SubObjectPropertyOf( a6:use-of a6:functional-participant ) EquivalentObjectProperties( a6:use-of ObjectInverseOf( a6:used-in ) ) Declaration( ObjectProperty( a6:use-of ) )
          SubObjectPropertyOf( a6:instrument a6:use-of ) EquivalentObjectProperties( a6:instrument ObjectInverseOf( a6:instrument-of ) ) Declaration( ObjectProperty( a6:instrument ) )
          SubObjectPropertyOf( a6:resource a6:use-of ) EquivalentObjectProperties( a6:resource ObjectInverseOf( a6:resource-for ) ) Declaration( ObjectProperty( a6:resource ) )
    SubObjectPropertyOf( a4:q-location a4:immediate-relation ) EquivalentObjectProperties( a4:q-location ObjectInverseOf( a4:q-location-of ) ) Declaration( ObjectProperty( a4:q-location ) )
      SubObjectPropertyOf( a4:has-quale a4:q-location ) EquivalentObjectProperties( a4:has-quale ObjectInverseOf( a4:quale-of ) ) Declaration( ObjectProperty( a4:has-quale ) )
    SubObjectPropertyOf( a4:r-location a4:immediate-relation ) EquivalentObjectProperties( a4:r-location ObjectInverseOf( a4:r-location-of ) ) Declaration( ObjectProperty( a4:r-location ) )
      SubObjectPropertyOf( a3:unit a4:r-location ) EquivalentObjectProperties( a3:unit ObjectInverseOf( a3:unit-of ) ) Declaration( ObjectProperty( a3:unit ) )
    SubObjectPropertyOf( a4:specific-constant-constituent a4:immediate-relation ) EquivalentObjectProperties( a4:specific-constant-constituent ObjectInverseOf( a4:specific-constant-constituent-of ) ) Declaration( ObjectProperty( a4:specific-constant-constituent ) )
    SubObjectPropertyOf( a4:specific-constant-dependent a4:immediate-relation ) EquivalentObjectProperties( a4:specific-constant-dependent ObjectInverseOf( a4:specifically-constantly-dependent-on ) ) Declaration( ObjectProperty( a4:specific-constant-dependent ) )
      SubObjectPropertyOf( a4:host-of a4:specific-constant-dependent ) EquivalentObjectProperties( a4:host-of ObjectInverseOf( a4:host ) ) Declaration( ObjectProperty( a4:host-of ) )
      SubObjectPropertyOf( a10:influences a4:specific-constant-dependent ) EquivalentObjectProperties( a10:influences ObjectInverseOf( a10:influenced-by ) ) Declaration( ObjectProperty( a10:influences ) )
    SubObjectPropertyOf( a4:weak-connection a4:immediate-relation ) EquivalentObjectProperties( a4:weak-connection ObjectInverseOf( a4:weak-connection ) ) Declaration( ObjectProperty( a4:weak-connection ) )
    SubObjectPropertyOf( a5:deputes a4:immediate-relation ) EquivalentObjectProperties( a5:deputes ObjectInverseOf( a5:deputed-by ) ) Declaration( ObjectProperty( a5:deputes ) )
    SubObjectPropertyOf( a5:extensionally-equivalent a4:immediate-relation ) EquivalentObjectProperties( a5:extensionally-equivalent ObjectInverseOf( a5:extensionally-equivalent ) ) Declaration( ObjectProperty( a5:extensionally-equivalent ) )
    SubObjectPropertyOf( a5:internally-represents a4:immediate-relation ) EquivalentObjectProperties( a5:internally-represents ObjectInverseOf( a5:internally-represented-in ) ) Declaration( ObjectProperty( a5:internally-represents ) )
      SubObjectPropertyOf( a5:adopts a5:internally-represents ) EquivalentObjectProperties( a5:adopts ObjectInverseOf( a5:adopted-by ) ) Declaration( ObjectProperty( a5:adopts ) )
        SubObjectPropertyOf( a10:adopts-goal a5:adopts ) Declaration( ObjectProperty( a10:adopts-goal ) )
        SubObjectPropertyOf( a10:adopts-plan a5:adopts ) Declaration( ObjectProperty( a10:adopts-plan ) )
      SubObjectPropertyOf( a5:creates a5:internally-represents ) EquivalentObjectProperties( a5:creates ObjectInverseOf( a5:created-by ) ) Declaration( ObjectProperty( a5:creates ) )
    SubObjectPropertyOf( a5:interprets a4:immediate-relation ) EquivalentObjectProperties( a5:interprets ObjectInverseOf( a5:interpreted-by ) ) Declaration( ObjectProperty( a5:interprets ) )
    SubObjectPropertyOf( a5:modal-target a4:immediate-relation ) EquivalentObjectProperties( a5:modal-target ObjectInverseOf( a5:modal-target-of ) ) Declaration( ObjectProperty( a5:modal-target ) )
      SubObjectPropertyOf( a5:attitude-towards a5:modal-target ) EquivalentObjectProperties( a5:attitude-towards ObjectInverseOf( a5:attitude-target-of ) ) Declaration( ObjectProperty( a5:attitude-towards ) )
        SubObjectPropertyOf( a5:empowered-to a5:attitude-towards ) EquivalentObjectProperties( a5:empowered-to ObjectInverseOf( a5:empowered-for ) ) Declaration( ObjectProperty( a5:empowered-to ) )
        SubObjectPropertyOf( a5:obliged-to a5:attitude-towards ) EquivalentObjectProperties( a5:obliged-to ObjectInverseOf( a5:obligation-for ) ) Declaration( ObjectProperty( a5:obliged-to ) )
        SubObjectPropertyOf( a5:right-to a5:attitude-towards ) EquivalentObjectProperties( a5:right-to ObjectInverseOf( a5:right-task-for ) ) Declaration( ObjectProperty( a5:right-to ) )
        SubObjectPropertyOf( a9:bdi a5:attitude-towards ) EquivalentObjectProperties( a9:bdi ObjectInverseOf( a9:bdi-target-of ) ) Declaration( ObjectProperty( a9:bdi ) )
        SubObjectPropertyOf( a9:desire-towards a5:attitude-towards ) EquivalentObjectProperties( a9:desire-towards ObjectInverseOf( a9:desire-target-of ) ) Declaration( ObjectProperty( a9:desire-towards ) )
        SubObjectPropertyOf( a9:subjected-to a5:attitude-towards ) EquivalentObjectProperties( a9:subjected-to ObjectInverseOf( a9:subject-target-of ) ) Declaration( ObjectProperty( a9:subjected-to ) )
    SubObjectPropertyOf( a5:references a4:immediate-relation ) EquivalentObjectProperties( a5:references ObjectInverseOf( a5:referenced-by ) ) Declaration( ObjectProperty( a5:references ) )
      SubObjectPropertyOf( a5:about a5:references ) EquivalentObjectProperties( a5:about ObjectInverseOf( a5:aboutness-of ) ) Declaration( ObjectProperty( a5:about ) )
        SubObjectPropertyOf( a7:identifies a5:about ) EquivalentObjectProperties( a7:identifies ObjectInverseOf( a7:identified-by ) ) Declaration( ObjectProperty( a7:identifies ) )
      SubObjectPropertyOf( a5:expresses a5:references ) EquivalentObjectProperties( a5:expresses ObjectInverseOf( a5:expressed-by ) ) Declaration( ObjectProperty( a5:expresses ) )
      SubObjectPropertyOf( a5:functionally-unifies a5:references ) EquivalentObjectProperties( a5:functionally-unifies ObjectInverseOf( a5:functionally-unified-by ) ) Declaration( ObjectProperty( a5:functionally-unifies ) )
      SubObjectPropertyOf( a5:has-in-scope a5:references ) EquivalentObjectProperties( a5:has-in-scope ObjectInverseOf( a5:in-scope-of ) ) Declaration( ObjectProperty( a5:has-in-scope ) )
      SubObjectPropertyOf( a5:hypostasis-of a5:references ) EquivalentObjectProperties( a5:hypostasis-of ObjectInverseOf( a5:hypostasis ) ) Declaration( ObjectProperty( a5:hypostasis-of ) )
      SubObjectPropertyOf( a5:intensionally-references a5:references ) EquivalentObjectProperties( a5:intensionally-references ObjectInverseOf( a5:intensionally-referenced-by ) ) Declaration( ObjectProperty( a5:intensionally-references ) )
        SubObjectPropertyOf( a5:characterizes a5:intensionally-references ) EquivalentObjectProperties( a5:characterizes ObjectInverseOf( a5:characterized-by ) ) Declaration( ObjectProperty( a5:characterizes ) )
        SubObjectPropertyOf( a5:classifies a5:intensionally-references ) EquivalentObjectProperties( a5:classifies ObjectInverseOf( a5:classified-by ) ) Declaration( ObjectProperty( a5:classifies ) )
          SubObjectPropertyOf( a5:played-by a5:classifies ) EquivalentObjectProperties( a5:played-by ObjectInverseOf( a5:plays ) ) Declaration( ObjectProperty( a5:played-by ) )
            SubObjectPropertyOf( a5:metaphorically-played-by a5:played-by ) EquivalentObjectProperties( a5:metaphorically-played-by ObjectInverseOf( a5:metaphorically-plays ) ) Declaration( ObjectProperty( a5:metaphorically-played-by ) )
          SubObjectPropertyOf( a5:sequences a5:classifies ) EquivalentObjectProperties( a5:sequences ObjectInverseOf( a5:sequenced-by ) ) Declaration( ObjectProperty( a5:sequences ) )
          SubObjectPropertyOf( a5:valued-by a5:classifies ) EquivalentObjectProperties( a5:valued-by ObjectInverseOf( a5:value-for ) ) Declaration( ObjectProperty( a5:valued-by ) )
        SubObjectPropertyOf( a5:covers a5:intensionally-references ) EquivalentObjectProperties( a5:covers ObjectInverseOf( a5:covered-by ) ) Declaration( ObjectProperty( a5:covers ) )
        SubObjectPropertyOf( a5:realized-by a5:intensionally-references ) EquivalentObjectProperties( a5:realized-by ObjectInverseOf( a5:realizes ) ) Declaration( ObjectProperty( a5:realized-by ) )
        SubObjectPropertyOf( a5:satisfied-by a5:intensionally-references ) EquivalentObjectProperties( a5:satisfied-by ObjectInverseOf( a5:satisfies ) ) Declaration( ObjectProperty( a5:satisfied-by ) )
          SubObjectPropertyOf( a5:c-sat-by a5:satisfied-by ) EquivalentObjectProperties( a5:c-sat-by ObjectInverseOf( a5:c-sat ) ) Declaration( ObjectProperty( a5:c-sat-by ) )
          SubObjectPropertyOf( a5:p-sat-by a5:satisfied-by ) EquivalentObjectProperties( a5:p-sat-by ObjectInverseOf( a5:p-sat ) ) Declaration( ObjectProperty( a5:p-sat-by ) )
          SubObjectPropertyOf( a5:r-sat-by a5:satisfied-by ) EquivalentObjectProperties( a5:r-sat-by ObjectInverseOf( a5:r-sat ) ) Declaration( ObjectProperty( a5:r-sat-by ) )
          SubObjectPropertyOf( a5:regulates a5:satisfied-by ) EquivalentObjectProperties( a5:regulates ObjectInverseOf( a5:regulated-by ) ) Declaration( ObjectProperty( a5:regulates ) )
      SubObjectPropertyOf( a5:setting-for a5:references ) EquivalentObjectProperties( a5:setting-for ObjectInverseOf( a5:setting ) ) Declaration( ObjectProperty( a5:setting-for ) )
      SubObjectPropertyOf( a5:unifies a5:references ) EquivalentObjectProperties( a5:unifies ObjectInverseOf( a5:unified-by ) ) Declaration( ObjectProperty( a5:unifies ) )
      SubObjectPropertyOf( a10:achievable-through a5:references ) EquivalentObjectProperties( a10:achievable-through ObjectInverseOf( a10:contributes-to-achieving-of ) ) Declaration( ObjectProperty( a10:achievable-through ) )
    SubObjectPropertyOf( a5:requires a4:immediate-relation ) EquivalentObjectProperties( a5:requires ObjectInverseOf( a5:required-by ) ) Declaration( ObjectProperty( a5:requires ) )
    SubObjectPropertyOf( a5:requisite-for a4:immediate-relation ) EquivalentObjectProperties( a5:requisite-for ObjectInverseOf( a5:requisite ) ) Declaration( ObjectProperty( a5:requisite-for ) )
    SubObjectPropertyOf( a5:specializes a4:immediate-relation ) EquivalentObjectProperties( a5:specializes ObjectInverseOf( a5:specialized-by ) ) Declaration( ObjectProperty( a5:specializes ) )
      SubObjectPropertyOf( a5:instantiates a5:specializes ) EquivalentObjectProperties( a5:instantiates ObjectInverseOf( a5:instantiated-by ) ) Declaration( ObjectProperty( a5:instantiates ) )
    SubObjectPropertyOf( a5:successor a4:immediate-relation ) EquivalentObjectProperties( a5:successor ObjectInverseOf( a5:predecessor ) ) Declaration( ObjectProperty( a5:successor ) )
      SubObjectPropertyOf( a5:direct-successor a5:successor ) EquivalentObjectProperties( a5:direct-successor ObjectInverseOf( a5:direct-predecessor ) ) Declaration( ObjectProperty( a5:direct-successor ) )
      SubObjectPropertyOf( a10:exit-condition a5:successor ) EquivalentObjectProperties( a10:exit-condition ObjectInverseOf( a10:exit-condition-of ) ) Declaration( ObjectProperty( a10:exit-condition ) )
    SubObjectPropertyOf( a7:prototype a4:immediate-relation ) EquivalentObjectProperties( a7:prototype ObjectInverseOf( a7:prototype-for ) ) Declaration( ObjectProperty( a7:prototype ) )
  SubObjectPropertyOf( a4:immediate-relation-i owl:topObjectProperty ) EquivalentObjectProperties( a4:immediate-relation-i ObjectInverseOf( a4:immediate-relation ) ) Declaration( ObjectProperty( a4:immediate-relation-i ) )
    SubObjectPropertyOf( a4:generic-constituent-of a4:immediate-relation-i ) EquivalentObjectProperties( a4:generic-constituent-of ObjectInverseOf( a4:generic-constituent ) ) Declaration( ObjectProperty( a4:generic-constituent-of ) )
      SubObjectPropertyOf( a5:member-of a4:generic-constituent-of ) EquivalentObjectProperties( a5:member-of ObjectInverseOf( a5:member ) ) Declaration( ObjectProperty( a5:member-of ) )
    SubObjectPropertyOf( a4:generically-dependent-on a4:immediate-relation-i ) EquivalentObjectProperties( a4:generically-dependent-on ObjectInverseOf( a4:generic-dependent ) ) Declaration( ObjectProperty( a4:generically-dependent-on ) )
    SubObjectPropertyOf( a4:has-quality a4:immediate-relation-i ) EquivalentObjectProperties( a4:has-quality ObjectInverseOf( a4:inherent-in ) ) Declaration( ObjectProperty( a4:has-quality ) )
      SubObjectPropertyOf( a4:has-t-quality a4:has-quality ) EquivalentObjectProperties( a4:has-t-quality ObjectInverseOf( a4:t-inherent-in ) ) Declaration( ObjectProperty( a4:has-t-quality ) )
    SubObjectPropertyOf( a4:identity-c a4:immediate-relation-i )
    SubObjectPropertyOf( a4:identity-n a4:immediate-relation-i )
    SubObjectPropertyOf( a4:part-of a4:immediate-relation-i ) EquivalentObjectProperties( a4:part-of ObjectInverseOf( a4:part ) ) Declaration( ObjectProperty( a4:part-of ) )
      SubObjectPropertyOf( a4:atomic-part-of a4:part-of ) EquivalentObjectProperties( a4:atomic-part-of ObjectInverseOf( a4:atomic-part ) ) Declaration( ObjectProperty( a4:atomic-part-of ) )
      SubObjectPropertyOf( a4:proper-part-of a4:part-of ) EquivalentObjectProperties( a4:proper-part-of ObjectInverseOf( a4:proper-part ) ) Declaration( ObjectProperty( a4:proper-part-of ) )
        SubObjectPropertyOf( a3:geographic-part-of a4:proper-part-of ) EquivalentObjectProperties( a3:geographic-part-of ObjectInverseOf( a3:geographic-part ) ) Declaration( ObjectProperty( a3:geographic-part-of ) )
        SubObjectPropertyOf( a4:boundary-of a4:proper-part-of ) EquivalentObjectProperties( a4:boundary-of ObjectInverseOf( a4:boundary ) ) Declaration( ObjectProperty( a4:boundary-of ) )
        SubObjectPropertyOf( a4:temporary-proper-part-of a4:proper-part-of ) EquivalentObjectProperties( a4:temporary-proper-part-of ObjectInverseOf( a4:temporary-proper-part ) ) Declaration( ObjectProperty( a4:temporary-proper-part-of ) )
          SubObjectPropertyOf( a4:temporary-atomic-part-of a4:temporary-proper-part-of ) EquivalentObjectProperties( a4:temporary-atomic-part-of ObjectInverseOf( a4:temporary-atomic-part ) ) Declaration( ObjectProperty( a4:temporary-atomic-part-of ) )
          SubObjectPropertyOf( a5:temporary-component-of a4:temporary-proper-part-of ) EquivalentObjectProperties( a5:temporary-component-of ObjectInverseOf( a5:temporary-component ) ) Declaration( ObjectProperty( a5:temporary-component-of ) )
        SubObjectPropertyOf( a5:component-of a4:proper-part-of ) EquivalentObjectProperties( a5:component-of ObjectInverseOf( a5:component ) ) Declaration( ObjectProperty( a5:component-of ) )
          SubObjectPropertyOf( a5:d-used-by a5:component-of ) EquivalentObjectProperties( a5:d-used-by ObjectInverseOf( a5:d-uses ) ) Declaration( ObjectProperty( a5:d-used-by ) )
            SubObjectPropertyOf( a5:defined-by a5:d-used-by ) EquivalentObjectProperties( a5:defined-by ObjectInverseOf( a5:defines ) ) Declaration( ObjectProperty( a5:defined-by ) )
            SubObjectPropertyOf( a5:optionally-used-by a5:d-used-by ) EquivalentObjectProperties( a5:optionally-used-by ObjectInverseOf( a5:optionally-uses ) ) Declaration( ObjectProperty( a5:optionally-used-by ) )
            SubObjectPropertyOf( a10:discarded-within a5:d-used-by ) EquivalentObjectProperties( a10:discarded-within ObjectInverseOf( a10:discards ) ) Declaration( ObjectProperty( a10:discarded-within ) )
          SubObjectPropertyOf( a5:temporary-component-of a5:component-of )
        SubObjectPropertyOf( a5:expanded-by a4:proper-part-of ) EquivalentObjectProperties( a5:expanded-by ObjectInverseOf( a5:expands ) ) Declaration( ObjectProperty( a5:expanded-by ) )
        SubObjectPropertyOf( a5:refined-by a4:proper-part-of ) EquivalentObjectProperties( a5:refined-by ObjectInverseOf( a5:refines ) ) Declaration( ObjectProperty( a5:refined-by ) )
        SubObjectPropertyOf( a7:narrower-than a4:proper-part-of ) EquivalentObjectProperties( a7:narrower-than ObjectInverseOf( a7:broader-than ) ) Declaration( ObjectProperty( a7:narrower-than ) )
        SubObjectPropertyOf( a10:main-goal-of a4:proper-part-of ) EquivalentObjectProperties( a10:main-goal-of ObjectInverseOf( a10:main-goal ) ) Declaration( ObjectProperty( a10:main-goal-of ) )
        SubObjectPropertyOf( a10:subgoal-of a4:proper-part-of ) EquivalentObjectProperties( a10:subgoal-of ObjectInverseOf( a10:subgoal ) ) Declaration( ObjectProperty( a10:subgoal-of ) )
      SubObjectPropertyOf( a4:temporary-part-of a4:part-of ) EquivalentObjectProperties( a4:temporary-part-of ObjectInverseOf( a4:temporary-part ) ) Declaration( ObjectProperty( a4:temporary-part-of ) )
        SubObjectPropertyOf( a4:mereologically-coincides a4:temporary-part-of )
        SubObjectPropertyOf( a4:temporary-proper-part-of a4:temporary-part-of )
    SubObjectPropertyOf( a4:participant-in a4:immediate-relation-i ) EquivalentObjectProperties( a4:participant-in ObjectInverseOf( a4:participant ) ) Declaration( ObjectProperty( a4:participant-in ) )
      SubObjectPropertyOf( a4:constant-participant-in a4:participant-in ) EquivalentObjectProperties( a4:constant-participant-in ObjectInverseOf( a4:constant-participant ) ) Declaration( ObjectProperty( a4:constant-participant-in ) )
        SubObjectPropertyOf( a4:life a4:constant-participant-in ) EquivalentObjectProperties( a4:life ObjectInverseOf( a4:life-of ) ) Declaration( ObjectProperty( a4:life ) )
        SubObjectPropertyOf( a4:total-constant-participant-in a4:constant-participant-in ) EquivalentObjectProperties( a4:total-constant-participant-in ObjectInverseOf( a4:total-constant-participant ) ) Declaration( ObjectProperty( a4:total-constant-participant-in ) )
          SubObjectPropertyOf( a6:substrate-of a4:total-constant-participant-in ) EquivalentObjectProperties( a6:substrate-of ObjectInverseOf( a6:substrate ) ) Declaration( ObjectProperty( a6:substrate-of ) )
            SubObjectPropertyOf( a6:has-state a6:substrate-of ) EquivalentObjectProperties( a6:has-state ObjectInverseOf( a6:state-of ) ) Declaration( ObjectProperty( a6:has-state ) )
      SubObjectPropertyOf( a4:temporary-participant-in a4:participant-in ) EquivalentObjectProperties( a4:temporary-participant-in ObjectInverseOf( a4:temporary-participant ) ) Declaration( ObjectProperty( a4:temporary-participant-in ) )
        SubObjectPropertyOf( a4:total-temporary-participant-in a4:temporary-participant-in ) EquivalentObjectProperties( a4:total-temporary-participant-in ObjectInverseOf( a4:total-temporary-participant ) ) Declaration( ObjectProperty( a4:total-temporary-participant-in ) )
      SubObjectPropertyOf( a6:functional-participant-in a4:participant-in ) EquivalentObjectProperties( a6:functional-participant-in ObjectInverseOf( a6:functional-participant ) ) Declaration( ObjectProperty( a6:functional-participant-in ) )
        SubObjectPropertyOf( a6:generic-target-of a6:functional-participant-in ) EquivalentObjectProperties( a6:generic-target-of ObjectInverseOf( a6:generic-target ) ) Declaration( ObjectProperty( a6:generic-target-of ) )
        SubObjectPropertyOf( a6:patient-of a6:functional-participant-in ) EquivalentObjectProperties( a6:patient-of ObjectInverseOf( a6:patient ) ) Declaration( ObjectProperty( a6:patient-of ) )
          SubObjectPropertyOf( a6:target-of a6:patient-of ) EquivalentObjectProperties( a6:target-of ObjectInverseOf( a6:target ) ) Declaration( ObjectProperty( a6:target-of ) )
          SubObjectPropertyOf( a6:theme-of a6:patient-of ) EquivalentObjectProperties( a6:theme-of ObjectInverseOf( a6:theme ) ) Declaration( ObjectProperty( a6:theme-of ) )
        SubObjectPropertyOf( a6:performs a6:functional-participant-in ) EquivalentObjectProperties( a6:performs ObjectInverseOf( a6:performed-by ) ) Declaration( ObjectProperty( a6:performs ) )
          SubObjectPropertyOf( a6:prescribes a6:performs ) EquivalentObjectProperties( a6:prescribes ObjectInverseOf( a6:prescribed-by ) ) Declaration( ObjectProperty( a6:prescribes ) )
        SubObjectPropertyOf( a6:product-of a6:functional-participant-in ) EquivalentObjectProperties( a6:product-of ObjectInverseOf( a6:product ) ) Declaration( ObjectProperty( a6:product-of ) )
        SubObjectPropertyOf( a6:substrate-of a6:functional-participant-in )
        SubObjectPropertyOf( a6:used-in a6:functional-participant-in ) EquivalentObjectProperties( a6:used-in ObjectInverseOf( a6:use-of ) ) Declaration( ObjectProperty( a6:used-in ) )
          SubObjectPropertyOf( a6:instrument-of a6:used-in ) EquivalentObjectProperties( a6:instrument-of ObjectInverseOf( a6:instrument ) ) Declaration( ObjectProperty( a6:instrument-of ) )
          SubObjectPropertyOf( a6:resource-for a6:used-in ) EquivalentObjectProperties( a6:resource-for ObjectInverseOf( a6:resource ) ) Declaration( ObjectProperty( a6:resource-for ) )
    SubObjectPropertyOf( a4:q-location-of a4:immediate-relation-i ) EquivalentObjectProperties( a4:q-location-of ObjectInverseOf( a4:q-location ) ) Declaration( ObjectProperty( a4:q-location-of ) )
      SubObjectPropertyOf( a4:quale-of a4:q-location-of ) EquivalentObjectProperties( a4:quale-of ObjectInverseOf( a4:has-quale ) ) Declaration( ObjectProperty( a4:quale-of ) )
    SubObjectPropertyOf( a4:r-location-of a4:immediate-relation-i ) EquivalentObjectProperties( a4:r-location-of ObjectInverseOf( a4:r-location ) ) Declaration( ObjectProperty( a4:r-location-of ) )
      SubObjectPropertyOf( a3:unit-of a4:r-location-of ) EquivalentObjectProperties( a3:unit-of ObjectInverseOf( a3:unit ) ) Declaration( ObjectProperty( a3:unit-of ) )
    SubObjectPropertyOf( a4:specific-constant-constituent-of a4:immediate-relation-i ) EquivalentObjectProperties( a4:specific-constant-constituent-of ObjectInverseOf( a4:specific-constant-constituent ) ) Declaration( ObjectProperty( a4:specific-constant-constituent-of ) )
    SubObjectPropertyOf( a4:specifically-constantly-dependent-on a4:immediate-relation-i ) EquivalentObjectProperties( a4:specifically-constantly-dependent-on ObjectInverseOf( a4:specific-constant-dependent ) ) Declaration( ObjectProperty( a4:specifically-constantly-dependent-on ) )
      SubObjectPropertyOf( a4:host a4:specifically-constantly-dependent-on ) EquivalentObjectProperties( a4:host ObjectInverseOf( a4:host-of ) ) Declaration( ObjectProperty( a4:host ) )
      SubObjectPropertyOf( a10:influenced-by a4:specifically-constantly-dependent-on ) EquivalentObjectProperties( a10:influenced-by ObjectInverseOf( a10:influences ) ) Declaration( ObjectProperty( a10:influenced-by ) )
    SubObjectPropertyOf( a4:weak-connection a4:immediate-relation-i )
    SubObjectPropertyOf( a5:deputed-by a4:immediate-relation-i ) EquivalentObjectProperties( a5:deputed-by ObjectInverseOf( a5:deputes ) ) Declaration( ObjectProperty( a5:deputed-by ) )
    SubObjectPropertyOf( a5:extensionally-equivalent a4:immediate-relation-i )
    SubObjectPropertyOf( a5:internally-represented-in a4:immediate-relation-i ) EquivalentObjectProperties( a5:internally-represented-in ObjectInverseOf( a5:internally-represents ) ) Declaration( ObjectProperty( a5:internally-represented-in ) )
      SubObjectPropertyOf( a5:adopted-by a5:internally-represented-in ) EquivalentObjectProperties( a5:adopted-by ObjectInverseOf( a5:adopts ) ) Declaration( ObjectProperty( a5:adopted-by ) )
        SubObjectPropertyOf( ObjectInverseOf( a10:adopts-goal ) a5:adopted-by )
        SubObjectPropertyOf( ObjectInverseOf( a10:adopts-plan ) a5:adopted-by )
      SubObjectPropertyOf( a5:created-by a5:internally-represented-in ) EquivalentObjectProperties( a5:created-by ObjectInverseOf( a5:creates ) ) Declaration( ObjectProperty( a5:created-by ) )
    SubObjectPropertyOf( a5:interpreted-by a4:immediate-relation-i ) EquivalentObjectProperties( a5:interpreted-by ObjectInverseOf( a5:interprets ) ) Declaration( ObjectProperty( a5:interpreted-by ) )
    SubObjectPropertyOf( a5:modal-target-of a4:immediate-relation-i ) EquivalentObjectProperties( a5:modal-target-of ObjectInverseOf( a5:modal-target ) ) Declaration( ObjectProperty( a5:modal-target-of ) )
      SubObjectPropertyOf( a5:attitude-target-of a5:modal-target-of ) EquivalentObjectProperties( a5:attitude-target-of ObjectInverseOf( a5:attitude-towards ) ) Declaration( ObjectProperty( a5:attitude-target-of ) )
        SubObjectPropertyOf( a5:empowered-for a5:attitude-target-of ) EquivalentObjectProperties( a5:empowered-for ObjectInverseOf( a5:empowered-to ) ) Declaration( ObjectProperty( a5:empowered-for ) )
        SubObjectPropertyOf( a5:obligation-for a5:attitude-target-of ) EquivalentObjectProperties( a5:obligation-for ObjectInverseOf( a5:obliged-to ) ) Declaration( ObjectProperty( a5:obligation-for ) )
        SubObjectPropertyOf( a5:right-task-for a5:attitude-target-of ) EquivalentObjectProperties( a5:right-task-for ObjectInverseOf( a5:right-to ) ) Declaration( ObjectProperty( a5:right-task-for ) )
        SubObjectPropertyOf( a9:bdi-target-of a5:attitude-target-of ) EquivalentObjectProperties( a9:bdi-target-of ObjectInverseOf( a9:bdi ) ) Declaration( ObjectProperty( a9:bdi-target-of ) )
        SubObjectPropertyOf( a9:desire-target-of a5:attitude-target-of ) EquivalentObjectProperties( a9:desire-target-of ObjectInverseOf( a9:desire-towards ) ) Declaration( ObjectProperty( a9:desire-target-of ) )
        SubObjectPropertyOf( a9:subject-target-of a5:attitude-target-of ) EquivalentObjectProperties( a9:subject-target-of ObjectInverseOf( a9:subjected-to ) ) Declaration( ObjectProperty( a9:subject-target-of ) )
    SubObjectPropertyOf( a5:predecessor a4:immediate-relation-i ) EquivalentObjectProperties( a5:predecessor ObjectInverseOf( a5:successor ) ) Declaration( ObjectProperty( a5:predecessor ) )
      SubObjectPropertyOf( a5:direct-predecessor a5:predecessor ) EquivalentObjectProperties( a5:direct-predecessor ObjectInverseOf( a5:direct-successor ) ) Declaration( ObjectProperty( a5:direct-predecessor ) )
      SubObjectPropertyOf( a10:exit-condition-of a5:predecessor ) EquivalentObjectProperties( a10:exit-condition-of ObjectInverseOf( a10:exit-condition ) ) Declaration( ObjectProperty( a10:exit-condition-of ) )
    SubObjectPropertyOf( a5:referenced-by a4:immediate-relation-i ) EquivalentObjectProperties( a5:referenced-by ObjectInverseOf( a5:references ) ) Declaration( ObjectProperty( a5:referenced-by ) )
      SubObjectPropertyOf( a5:aboutness-of a5:referenced-by ) EquivalentObjectProperties( a5:aboutness-of ObjectInverseOf( a5:about ) ) Declaration( ObjectProperty( a5:aboutness-of ) )
        SubObjectPropertyOf( a7:identified-by a5:aboutness-of ) EquivalentObjectProperties( a7:identified-by ObjectInverseOf( a7:identifies ) ) Declaration( ObjectProperty( a7:identified-by ) )
      SubObjectPropertyOf( a5:expressed-by a5:referenced-by ) EquivalentObjectProperties( a5:expressed-by ObjectInverseOf( a5:expresses ) ) Declaration( ObjectProperty( a5:expressed-by ) )
      SubObjectPropertyOf( a5:functionally-unified-by a5:referenced-by ) EquivalentObjectProperties( a5:functionally-unified-by ObjectInverseOf( a5:functionally-unifies ) ) Declaration( ObjectProperty( a5:functionally-unified-by ) )
      SubObjectPropertyOf( a5:hypostasis a5:referenced-by ) EquivalentObjectProperties( a5:hypostasis ObjectInverseOf( a5:hypostasis-of ) ) Declaration( ObjectProperty( a5:hypostasis ) )
      SubObjectPropertyOf( a5:in-scope-of a5:referenced-by ) EquivalentObjectProperties( a5:in-scope-of ObjectInverseOf( a5:has-in-scope ) ) Declaration( ObjectProperty( a5:in-scope-of ) )
      SubObjectPropertyOf( a5:intensionally-referenced-by a5:referenced-by ) EquivalentObjectProperties( a5:intensionally-referenced-by ObjectInverseOf( a5:intensionally-references ) ) Declaration( ObjectProperty( a5:intensionally-referenced-by ) )
        SubObjectPropertyOf( a5:characterized-by a5:intensionally-referenced-by ) EquivalentObjectProperties( a5:characterized-by ObjectInverseOf( a5:characterizes ) ) Declaration( ObjectProperty( a5:characterized-by ) )
        SubObjectPropertyOf( a5:classified-by a5:intensionally-referenced-by ) EquivalentObjectProperties( a5:classified-by ObjectInverseOf( a5:classifies ) ) Declaration( ObjectProperty( a5:classified-by ) )
          SubObjectPropertyOf( a5:plays a5:classified-by ) EquivalentObjectProperties( a5:plays ObjectInverseOf( a5:played-by ) ) Declaration( ObjectProperty( a5:plays ) )
            SubObjectPropertyOf( a5:metaphorically-plays a5:plays ) EquivalentObjectProperties( a5:metaphorically-plays ObjectInverseOf( a5:metaphorically-played-by ) ) Declaration( ObjectProperty( a5:metaphorically-plays ) )
          SubObjectPropertyOf( a5:sequenced-by a5:classified-by ) EquivalentObjectProperties( a5:sequenced-by ObjectInverseOf( a5:sequences ) ) Declaration( ObjectProperty( a5:sequenced-by ) )
          SubObjectPropertyOf( a5:value-for a5:classified-by ) EquivalentObjectProperties( a5:value-for ObjectInverseOf( a5:valued-by ) ) Declaration( ObjectProperty( a5:value-for ) )
        SubObjectPropertyOf( a5:covered-by a5:intensionally-referenced-by ) EquivalentObjectProperties( a5:covered-by ObjectInverseOf( a5:covers ) ) Declaration( ObjectProperty( a5:covered-by ) )
        SubObjectPropertyOf( a5:realizes a5:intensionally-referenced-by ) EquivalentObjectProperties( a5:realizes ObjectInverseOf( a5:realized-by ) ) Declaration( ObjectProperty( a5:realizes ) )
        SubObjectPropertyOf( a5:satisfies a5:intensionally-referenced-by ) EquivalentObjectProperties( a5:satisfies ObjectInverseOf( a5:satisfied-by ) ) Declaration( ObjectProperty( a5:satisfies ) )
          SubObjectPropertyOf( a5:c-sat a5:satisfies ) EquivalentObjectProperties( a5:c-sat ObjectInverseOf( a5:c-sat-by ) ) Declaration( ObjectProperty( a5:c-sat ) )
          SubObjectPropertyOf( a5:p-sat a5:satisfies ) EquivalentObjectProperties( a5:p-sat ObjectInverseOf( a5:p-sat-by ) ) Declaration( ObjectProperty( a5:p-sat ) )
          SubObjectPropertyOf( a5:r-sat a5:satisfies ) EquivalentObjectProperties( a5:r-sat ObjectInverseOf( a5:r-sat-by ) ) Declaration( ObjectProperty( a5:r-sat ) )
          SubObjectPropertyOf( a5:regulated-by a5:satisfies ) EquivalentObjectProperties( a5:regulated-by ObjectInverseOf( a5:regulates ) ) Declaration( ObjectProperty( a5:regulated-by ) )
      SubObjectPropertyOf( a5:setting a5:referenced-by ) EquivalentObjectProperties( a5:setting ObjectInverseOf( a5:setting-for ) ) Declaration( ObjectProperty( a5:setting ) )
      SubObjectPropertyOf( a5:unified-by a5:referenced-by ) EquivalentObjectProperties( a5:unified-by ObjectInverseOf( a5:unifies ) ) Declaration( ObjectProperty( a5:unified-by ) )
      SubObjectPropertyOf( a10:contributes-to-achieving-of a5:referenced-by ) EquivalentObjectProperties( a10:contributes-to-achieving-of ObjectInverseOf( a10:achievable-through ) ) Declaration( ObjectProperty( a10:contributes-to-achieving-of ) )
    SubObjectPropertyOf( a5:required-by a4:immediate-relation-i ) EquivalentObjectProperties( a5:required-by ObjectInverseOf( a5:requires ) ) Declaration( ObjectProperty( a5:required-by ) )
    SubObjectPropertyOf( a5:requisite a4:immediate-relation-i ) EquivalentObjectProperties( a5:requisite ObjectInverseOf( a5:requisite-for ) ) Declaration( ObjectProperty( a5:requisite ) )
    SubObjectPropertyOf( a5:specialized-by a4:immediate-relation-i ) EquivalentObjectProperties( a5:specialized-by ObjectInverseOf( a5:specializes ) ) Declaration( ObjectProperty( a5:specialized-by ) )
      SubObjectPropertyOf( a5:instantiated-by a5:specialized-by ) EquivalentObjectProperties( a5:instantiated-by ObjectInverseOf( a5:instantiates ) ) Declaration( ObjectProperty( a5:instantiated-by ) )
    SubObjectPropertyOf( a7:prototype-for a4:immediate-relation-i ) EquivalentObjectProperties( a7:prototype-for ObjectInverseOf( a7:prototype ) ) Declaration( ObjectProperty( a7:prototype-for ) )
  SubObjectPropertyOf( a4:mediated-relation owl:topObjectProperty ) EquivalentObjectProperties( a4:mediated-relation ObjectInverseOf( a4:mediated-relation-i ) ) Declaration( ObjectProperty( a4:mediated-relation ) )
    SubObjectPropertyOf( a4:generic-location a4:mediated-relation ) EquivalentObjectProperties( a4:generic-location ObjectInverseOf( a4:generic-location-of ) ) Declaration( ObjectProperty( a4:generic-location ) )
      SubObjectPropertyOf( a4:exact-location a4:generic-location ) EquivalentObjectProperties( a4:exact-location ObjectInverseOf( a4:exact-location-of ) ) Declaration( ObjectProperty( a4:exact-location ) )
        SubObjectPropertyOf( a4:abstract-location a4:exact-location ) EquivalentObjectProperties( a4:abstract-location ObjectInverseOf( a4:abstract-location-of ) ) Declaration( ObjectProperty( a4:abstract-location ) )
        SubObjectPropertyOf( a4:physical-location a4:exact-location ) EquivalentObjectProperties( a4:physical-location ObjectInverseOf( a4:physical-location-of ) ) Declaration( ObjectProperty( a4:physical-location ) )
          SubObjectPropertyOf( a13:spatial-location a4:physical-location ) EquivalentObjectProperties( a13:spatial-location ObjectInverseOf( a13:spatial-location-of ) ) Declaration( ObjectProperty( a13:spatial-location ) )
        SubObjectPropertyOf( a4:spatio-temporally-present-at a4:exact-location ) EquivalentObjectProperties( a4:spatio-temporally-present-at ObjectInverseOf( a4:spatio-temporal-presence-of ) ) Declaration( ObjectProperty( a4:spatio-temporally-present-at ) )
        SubObjectPropertyOf( a13:d-spatial-location a4:exact-location ) EquivalentObjectProperties( a13:d-spatial-location ObjectInverseOf( a13:d-spatial-location-of ) ) Declaration( ObjectProperty( a13:d-spatial-location ) )
        SubObjectPropertyOf( a13:p-spatial-location a4:exact-location ) EquivalentObjectProperties( a13:p-spatial-location ObjectInverseOf( a13:p-spatial-location-of ) ) Declaration( ObjectProperty( a13:p-spatial-location ) )
        SubObjectPropertyOf( a15:e-temporal-location a4:exact-location ) EquivalentObjectProperties( a15:e-temporal-location ObjectInverseOf( a15:e-temporal-location-of ) ) Declaration( ObjectProperty( a15:e-temporal-location ) )
          SubObjectPropertyOf( a15:present-at a15:e-temporal-location ) EquivalentObjectProperties( a15:present-at ObjectInverseOf( a15:time-of-presence-of ) ) Declaration( ObjectProperty( a15:present-at ) )
        SubObjectPropertyOf( a15:temporal-location a4:exact-location ) EquivalentObjectProperties( a15:temporal-location ObjectInverseOf( a15:temporal-location-of ) ) Declaration( ObjectProperty( a15:temporal-location ) )
          SubObjectPropertyOf( a3:duration a15:temporal-location ) EquivalentObjectProperties( a3:duration ObjectInverseOf( a3:duration-of ) ) Declaration( ObjectProperty( a3:duration ) )
          SubObjectPropertyOf( a3:happens-at a15:temporal-location ) EquivalentObjectProperties( a3:happens-at ObjectInverseOf( a3:time-of-happening-of ) ) Declaration( ObjectProperty( a3:happens-at ) )
      SubObjectPropertyOf( a13:approximate-location a4:generic-location ) EquivalentObjectProperties( a13:approximate-location ObjectInverseOf( a13:approximate-location-of ) ) Declaration( ObjectProperty( a13:approximate-location ) )
        SubObjectPropertyOf( a5:situation-place a13:approximate-location ) EquivalentObjectProperties( a5:situation-place ObjectInverseOf( a5:situation-place-of ) ) Declaration( ObjectProperty( a5:situation-place ) )
        SubObjectPropertyOf( a13:descriptive-place a13:approximate-location ) EquivalentObjectProperties( a13:descriptive-place ObjectInverseOf( a13:descriptive-place-of ) ) Declaration( ObjectProperty( a13:descriptive-place ) )
          SubObjectPropertyOf( a13:descriptive-origin a13:descriptive-place ) EquivalentObjectProperties( a13:descriptive-origin ObjectInverseOf( a13:descriptive-origin-of ) ) Declaration( ObjectProperty( a13:descriptive-origin ) )
        SubObjectPropertyOf( a13:participant-place a13:approximate-location ) EquivalentObjectProperties( a13:participant-place ObjectInverseOf( a13:participant-place-of ) ) Declaration( ObjectProperty( a13:participant-place ) )
        SubObjectPropertyOf( a13:place a13:approximate-location ) EquivalentObjectProperties( a13:place ObjectInverseOf( a13:place-of ) ) Declaration( ObjectProperty( a13:place ) )
          SubObjectPropertyOf( a13:material-place a13:place ) EquivalentObjectProperties( a13:material-place ObjectInverseOf( a13:material-place-of ) ) Declaration( ObjectProperty( a13:material-place ) )
            SubObjectPropertyOf( a13:origin a13:material-place ) EquivalentObjectProperties( a13:origin ObjectInverseOf( a13:origin-of ) ) Declaration( ObjectProperty( a13:origin ) )
    SubObjectPropertyOf( a4:overlaps a4:mediated-relation ) EquivalentObjectProperties( a4:overlaps ObjectInverseOf( a4:overlaps ) ) Declaration( ObjectProperty( a4:overlaps ) )
    SubObjectPropertyOf( a4:partly-compresent a4:mediated-relation ) EquivalentObjectProperties( a4:partly-compresent ObjectInverseOf( a4:partly-compresent ) ) Declaration( ObjectProperty( a4:partly-compresent ) )
      SubObjectPropertyOf( a4:temporary-part a4:partly-compresent )
      SubObjectPropertyOf( a4:temporary-part-of a4:partly-compresent )
    SubObjectPropertyOf( a4:q-present-at a4:mediated-relation ) EquivalentObjectProperties( a4:q-present-at ObjectInverseOf( a4:time-of-q-presence-of ) ) Declaration( ObjectProperty( a4:q-present-at ) )
    SubObjectPropertyOf( a4:sibling-part a4:mediated-relation ) EquivalentObjectProperties( a4:sibling-part ObjectInverseOf( a4:sibling-part ) ) Declaration( ObjectProperty( a4:sibling-part ) )
    SubObjectPropertyOf( a4:strong-connection a4:mediated-relation ) EquivalentObjectProperties( a4:strong-connection ObjectInverseOf( a4:strong-connection ) ) Declaration( ObjectProperty( a4:strong-connection ) )
    SubObjectPropertyOf( a5:acts-for a4:mediated-relation ) EquivalentObjectProperties( a5:acts-for ObjectInverseOf( a5:acted-by ) ) Declaration( ObjectProperty( a5:acts-for ) )
    SubObjectPropertyOf( a5:admits a4:mediated-relation ) EquivalentObjectProperties( a5:admits ObjectInverseOf( a5:admitted-by ) ) Declaration( ObjectProperty( a5:admits ) )
    SubObjectPropertyOf( a5:co-participates-with a4:mediated-relation ) EquivalentObjectProperties( a5:co-participates-with ObjectInverseOf( a5:co-participates-with ) ) Declaration( ObjectProperty( a5:co-participates-with ) )
      SubObjectPropertyOf( a5:made-by a5:co-participates-with ) EquivalentObjectProperties( a5:made-by ObjectInverseOf( a5:makes ) ) Declaration( ObjectProperty( a5:made-by ) )
      SubObjectPropertyOf( a5:makes a5:co-participates-with ) EquivalentObjectProperties( a5:makes ObjectInverseOf( a5:made-by ) ) Declaration( ObjectProperty( a5:makes ) )
      SubObjectPropertyOf( a5:used-by a5:co-participates-with ) EquivalentObjectProperties( a5:used-by ObjectInverseOf( a5:uses ) ) Declaration( ObjectProperty( a5:used-by ) )
      SubObjectPropertyOf( a5:uses a5:co-participates-with ) EquivalentObjectProperties( a5:uses ObjectInverseOf( a5:used-by ) ) Declaration( ObjectProperty( a5:uses ) )
    SubObjectPropertyOf( a5:expected-setting-for a4:mediated-relation ) EquivalentObjectProperties( a5:expected-setting-for ObjectInverseOf( a5:expected-setting ) ) Declaration( ObjectProperty( a5:expected-setting-for ) )
    SubObjectPropertyOf( a5:expects a4:mediated-relation ) EquivalentObjectProperties( a5:expects ObjectInverseOf( a5:expected-by ) ) Declaration( ObjectProperty( a5:expects ) )
      SubObjectPropertyOf( a5:method-of a5:expects ) EquivalentObjectProperties( a5:method-of ObjectInverseOf( a5:has-method ) ) Declaration( ObjectProperty( a5:method-of ) )
    SubObjectPropertyOf( a5:involves a4:mediated-relation ) EquivalentObjectProperties( a5:involves ObjectInverseOf( a5:involved-in ) ) Declaration( ObjectProperty( a5:involves ) )
      SubObjectPropertyOf( a5:exploits a5:involves ) EquivalentObjectProperties( a5:exploits ObjectInverseOf( a5:exploited-by ) ) Declaration( ObjectProperty( a5:exploits ) )
      SubObjectPropertyOf( a12:enforced-by a5:involves ) EquivalentObjectProperties( a12:enforced-by ObjectInverseOf( a12:enforces ) ) Declaration( ObjectProperty( a12:enforced-by ) )
    SubObjectPropertyOf( a5:ordered-by a4:mediated-relation ) EquivalentObjectProperties( a5:ordered-by ObjectInverseOf( a5:orders ) ) Declaration( ObjectProperty( a5:ordered-by ) )
    SubObjectPropertyOf( a5:parametrizes a4:mediated-relation ) EquivalentObjectProperties( a5:parametrizes ObjectInverseOf( a5:parametrized-by ) ) Declaration( ObjectProperty( a5:parametrizes ) )
    SubObjectPropertyOf( a7:q-represents a4:mediated-relation ) EquivalentObjectProperties( a7:q-represents ObjectInverseOf( a7:q-represented-by ) ) Declaration( ObjectProperty( a7:q-represents ) )
    SubObjectPropertyOf( a7:refers-to a4:mediated-relation ) EquivalentObjectProperties( a7:refers-to ObjectInverseOf( a7:referred-by ) ) Declaration( ObjectProperty( a7:refers-to ) )
    SubObjectPropertyOf( a10:disposition-to a4:mediated-relation ) Declaration( ObjectProperty( a10:disposition-to ) )
    SubObjectPropertyOf( a10:iteration-interval a4:mediated-relation ) EquivalentObjectProperties( a10:iteration-interval ObjectInverseOf( a10:iteration-interval-of ) ) Declaration( ObjectProperty( a10:iteration-interval ) )
    SubObjectPropertyOf( a10:postcondition a4:mediated-relation ) EquivalentObjectProperties( a10:postcondition ObjectInverseOf( a10:postcondition-of ) ) Declaration( ObjectProperty( a10:postcondition ) )
    SubObjectPropertyOf( a10:precondition a4:mediated-relation ) EquivalentObjectProperties( a10:precondition ObjectInverseOf( a10:precondition-of ) ) Declaration( ObjectProperty( a10:precondition ) )
    SubObjectPropertyOf( a10:sibling-task a4:mediated-relation ) EquivalentObjectProperties( a10:sibling-task ObjectInverseOf( a10:sibling-task ) ) Declaration( ObjectProperty( a10:sibling-task ) )
    SubObjectPropertyOf( a10:task-postcondition a4:mediated-relation ) EquivalentObjectProperties( a10:task-postcondition ObjectInverseOf( a10:task-postcondition-of ) ) Declaration( ObjectProperty( a10:task-postcondition ) )
    SubObjectPropertyOf( a10:task-precondition a4:mediated-relation ) EquivalentObjectProperties( a10:task-precondition ObjectInverseOf( a10:task-precondition-of ) ) Declaration( ObjectProperty( a10:task-precondition ) )
    SubObjectPropertyOf( a12:rules a4:mediated-relation ) EquivalentObjectProperties( a12:rules ObjectInverseOf( a12:ruled-by ) ) Declaration( ObjectProperty( a12:rules ) )
    SubObjectPropertyOf( a15:temporal-relation a4:mediated-relation ) EquivalentObjectProperties( a15:temporal-relation ObjectInverseOf( a15:temporal-relation-i ) ) Declaration( ObjectProperty( a15:temporal-relation ) )
      SubObjectPropertyOf( a15:precedes a15:temporal-relation ) EquivalentObjectProperties( a15:precedes ObjectInverseOf( a15:follows ) ) Declaration( ObjectProperty( a15:precedes ) )
        SubObjectPropertyOf( a6:causally-precedes a15:precedes ) EquivalentObjectProperties( a6:causally-precedes ObjectInverseOf( a6:causally-follows ) ) Declaration( ObjectProperty( a6:causally-precedes ) )
          SubObjectPropertyOf( a6:result a6:causally-precedes ) EquivalentObjectProperties( a6:result ObjectInverseOf( a6:result-of ) ) Declaration( ObjectProperty( a6:result ) )
      SubObjectPropertyOf( a15:temporally-coincides a15:temporal-relation ) EquivalentObjectProperties( a15:temporally-coincides ObjectInverseOf( a15:temporally-coincides ) ) Declaration( ObjectProperty( a15:temporally-coincides ) )
      SubObjectPropertyOf( a15:temporally-connected a15:temporal-relation ) EquivalentObjectProperties( a15:temporally-connected ObjectInverseOf( a15:temporally-connected ) ) Declaration( ObjectProperty( a15:temporally-connected ) )
        SubObjectPropertyOf( a15:meets a15:temporally-connected ) EquivalentObjectProperties( a15:meets ObjectInverseOf( a15:met-by ) ) Declaration( ObjectProperty( a15:meets ) )
        SubObjectPropertyOf( a15:met-by a15:temporally-connected ) EquivalentObjectProperties( a15:met-by ObjectInverseOf( a15:meets ) ) Declaration( ObjectProperty( a15:met-by ) )
      SubObjectPropertyOf( a15:temporally-includes a15:temporal-relation ) EquivalentObjectProperties( a15:temporally-includes ObjectInverseOf( a15:temporally-included-in ) ) Declaration( ObjectProperty( a15:temporally-includes ) )
        SubObjectPropertyOf( a15:concluded-by a15:temporally-includes ) EquivalentObjectProperties( a15:concluded-by ObjectInverseOf( a15:concludes ) ) Declaration( ObjectProperty( a15:concluded-by ) )
        SubObjectPropertyOf( a15:started-by a15:temporally-includes ) EquivalentObjectProperties( a15:started-by ObjectInverseOf( a15:starts ) ) Declaration( ObjectProperty( a15:started-by ) )
      SubObjectPropertyOf( a15:temporally-overlaps a15:temporal-relation ) EquivalentObjectProperties( a15:temporally-overlaps ObjectInverseOf( a15:temporally-overlaps ) ) Declaration( ObjectProperty( a15:temporally-overlaps ) )
  SubObjectPropertyOf( a4:mediated-relation-i owl:topObjectProperty ) EquivalentObjectProperties( a4:mediated-relation-i ObjectInverseOf( a4:mediated-relation ) ) Declaration( ObjectProperty( a4:mediated-relation-i ) )
    SubObjectPropertyOf( a4:generic-location-of a4:mediated-relation-i ) EquivalentObjectProperties( a4:generic-location-of ObjectInverseOf( a4:generic-location ) ) Declaration( ObjectProperty( a4:generic-location-of ) )
      SubObjectPropertyOf( a4:exact-location-of a4:generic-location-of ) EquivalentObjectProperties( a4:exact-location-of ObjectInverseOf( a4:exact-location ) ) Declaration( ObjectProperty( a4:exact-location-of ) )
        SubObjectPropertyOf( a4:abstract-location-of a4:exact-location-of ) EquivalentObjectProperties( a4:abstract-location-of ObjectInverseOf( a4:abstract-location ) ) Declaration( ObjectProperty( a4:abstract-location-of ) )
        SubObjectPropertyOf( a4:physical-location-of a4:exact-location-of ) EquivalentObjectProperties( a4:physical-location-of ObjectInverseOf( a4:physical-location ) ) Declaration( ObjectProperty( a4:physical-location-of ) )
          SubObjectPropertyOf( a13:spatial-location-of a4:physical-location-of ) EquivalentObjectProperties( a13:spatial-location-of ObjectInverseOf( a13:spatial-location ) ) Declaration( ObjectProperty( a13:spatial-location-of ) )
        SubObjectPropertyOf( a4:spatio-temporal-presence-of a4:exact-location-of ) EquivalentObjectProperties( a4:spatio-temporal-presence-of ObjectInverseOf( a4:spatio-temporally-present-at ) ) Declaration( ObjectProperty( a4:spatio-temporal-presence-of ) )
        SubObjectPropertyOf( a13:d-spatial-location-of a4:exact-location-of ) EquivalentObjectProperties( a13:d-spatial-location-of ObjectInverseOf( a13:d-spatial-location ) ) Declaration( ObjectProperty( a13:d-spatial-location-of ) )
        SubObjectPropertyOf( a13:p-spatial-location-of a4:exact-location-of ) EquivalentObjectProperties( a13:p-spatial-location-of ObjectInverseOf( a13:p-spatial-location ) ) Declaration( ObjectProperty( a13:p-spatial-location-of ) )
        SubObjectPropertyOf( a15:e-temporal-location-of a4:exact-location-of ) EquivalentObjectProperties( a15:e-temporal-location-of ObjectInverseOf( a15:e-temporal-location ) ) Declaration( ObjectProperty( a15:e-temporal-location-of ) )
          SubObjectPropertyOf( a15:time-of-presence-of a15:e-temporal-location-of ) EquivalentObjectProperties( a15:time-of-presence-of ObjectInverseOf( a15:present-at ) ) Declaration( ObjectProperty( a15:time-of-presence-of ) )
        SubObjectPropertyOf( a15:temporal-location-of a4:exact-location-of ) EquivalentObjectProperties( a15:temporal-location-of ObjectInverseOf( a15:temporal-location ) ) Declaration( ObjectProperty( a15:temporal-location-of ) )
          SubObjectPropertyOf( a3:duration-of a15:temporal-location-of ) EquivalentObjectProperties( a3:duration-of ObjectInverseOf( a3:duration ) ) Declaration( ObjectProperty( a3:duration-of ) )
          SubObjectPropertyOf( a3:time-of-happening-of a15:temporal-location-of ) EquivalentObjectProperties( a3:time-of-happening-of ObjectInverseOf( a3:happens-at ) ) Declaration( ObjectProperty( a3:time-of-happening-of ) )
      SubObjectPropertyOf( a13:approximate-location-of a4:generic-location-of ) EquivalentObjectProperties( a13:approximate-location-of ObjectInverseOf( a13:approximate-location ) ) Declaration( ObjectProperty( a13:approximate-location-of ) )
        SubObjectPropertyOf( a5:situation-place-of a13:approximate-location-of ) EquivalentObjectProperties( a5:situation-place-of ObjectInverseOf( a5:situation-place ) ) Declaration( ObjectProperty( a5:situation-place-of ) )
        SubObjectPropertyOf( a13:descriptive-place-of a13:approximate-location-of ) EquivalentObjectProperties( a13:descriptive-place-of ObjectInverseOf( a13:descriptive-place ) ) Declaration( ObjectProperty( a13:descriptive-place-of ) )
          SubObjectPropertyOf( a13:descriptive-origin-of a13:descriptive-place-of ) EquivalentObjectProperties( a13:descriptive-origin-of ObjectInverseOf( a13:descriptive-origin ) ) Declaration( ObjectProperty( a13:descriptive-origin-of ) )
        SubObjectPropertyOf( a13:participant-place-of a13:approximate-location-of ) EquivalentObjectProperties( a13:participant-place-of ObjectInverseOf( a13:participant-place ) ) Declaration( ObjectProperty( a13:participant-place-of ) )
        SubObjectPropertyOf( a13:place-of a13:approximate-location-of ) EquivalentObjectProperties( a13:place-of ObjectInverseOf( a13:place ) ) Declaration( ObjectProperty( a13:place-of ) )
          SubObjectPropertyOf( a13:material-place-of a13:place-of ) EquivalentObjectProperties( a13:material-place-of ObjectInverseOf( a13:material-place ) ) Declaration( ObjectProperty( a13:material-place-of ) )
            SubObjectPropertyOf( a13:origin-of a13:material-place-of ) EquivalentObjectProperties( a13:origin-of ObjectInverseOf( a13:origin ) ) Declaration( ObjectProperty( a13:origin-of ) )
    SubObjectPropertyOf( a4:overlaps a4:mediated-relation-i )
    SubObjectPropertyOf( a4:partly-compresent a4:mediated-relation-i )
    SubObjectPropertyOf( a4:sibling-part a4:mediated-relation-i )
    SubObjectPropertyOf( a4:strong-connection a4:mediated-relation-i )
    SubObjectPropertyOf( a4:time-of-q-presence-of a4:mediated-relation-i ) EquivalentObjectProperties( a4:time-of-q-presence-of ObjectInverseOf( a4:q-present-at ) ) Declaration( ObjectProperty( a4:time-of-q-presence-of ) )
    SubObjectPropertyOf( a5:acted-by a4:mediated-relation-i ) EquivalentObjectProperties( a5:acted-by ObjectInverseOf( a5:acts-for ) ) Declaration( ObjectProperty( a5:acted-by ) )
    SubObjectPropertyOf( a5:admitted-by a4:mediated-relation-i ) EquivalentObjectProperties( a5:admitted-by ObjectInverseOf( a5:admits ) ) Declaration( ObjectProperty( a5:admitted-by ) )
    SubObjectPropertyOf( a5:co-participates-with a4:mediated-relation-i )
    SubObjectPropertyOf( a5:expected-by a4:mediated-relation-i ) EquivalentObjectProperties( a5:expected-by ObjectInverseOf( a5:expects ) ) Declaration( ObjectProperty( a5:expected-by ) )
      SubObjectPropertyOf( a5:has-method a5:expected-by ) EquivalentObjectProperties( a5:has-method ObjectInverseOf( a5:method-of ) ) Declaration( ObjectProperty( a5:has-method ) )
    SubObjectPropertyOf( a5:expected-setting a4:mediated-relation-i ) EquivalentObjectProperties( a5:expected-setting ObjectInverseOf( a5:expected-setting-for ) ) Declaration( ObjectProperty( a5:expected-setting ) )
    SubObjectPropertyOf( a5:involved-in a4:mediated-relation-i ) EquivalentObjectProperties( a5:involved-in ObjectInverseOf( a5:involves ) ) Declaration( ObjectProperty( a5:involved-in ) )
      SubObjectPropertyOf( a5:exploited-by a5:involved-in ) EquivalentObjectProperties( a5:exploited-by ObjectInverseOf( a5:exploits ) ) Declaration( ObjectProperty( a5:exploited-by ) )
      SubObjectPropertyOf( a12:enforces a5:involved-in ) EquivalentObjectProperties( a12:enforces ObjectInverseOf( a12:enforced-by ) ) Declaration( ObjectProperty( a12:enforces ) )
    SubObjectPropertyOf( a5:orders a4:mediated-relation-i ) EquivalentObjectProperties( a5:orders ObjectInverseOf( a5:ordered-by ) ) Declaration( ObjectProperty( a5:orders ) )
    SubObjectPropertyOf( a5:parametrized-by a4:mediated-relation-i ) EquivalentObjectProperties( a5:parametrized-by ObjectInverseOf( a5:parametrizes ) ) Declaration( ObjectProperty( a5:parametrized-by ) )
    SubObjectPropertyOf( a7:q-represented-by a4:mediated-relation-i ) EquivalentObjectProperties( a7:q-represented-by ObjectInverseOf( a7:q-represents ) ) Declaration( ObjectProperty( a7:q-represented-by ) )
    SubObjectPropertyOf( a7:referred-by a4:mediated-relation-i ) EquivalentObjectProperties( a7:referred-by ObjectInverseOf( a7:refers-to ) ) Declaration( ObjectProperty( a7:referred-by ) )
    SubObjectPropertyOf( a10:iteration-interval-of a4:mediated-relation-i ) EquivalentObjectProperties( a10:iteration-interval-of ObjectInverseOf( a10:iteration-interval ) ) Declaration( ObjectProperty( a10:iteration-interval-of ) )
    SubObjectPropertyOf( a10:postcondition-of a4:mediated-relation-i ) EquivalentObjectProperties( a10:postcondition-of ObjectInverseOf( a10:postcondition ) ) Declaration( ObjectProperty( a10:postcondition-of ) )
    SubObjectPropertyOf( a10:precondition-of a4:mediated-relation-i ) EquivalentObjectProperties( a10:precondition-of ObjectInverseOf( a10:precondition ) ) Declaration( ObjectProperty( a10:precondition-of ) )
    SubObjectPropertyOf( a10:sibling-task a4:mediated-relation-i )
    SubObjectPropertyOf( a10:task-postcondition-of a4:mediated-relation-i ) EquivalentObjectProperties( a10:task-postcondition-of ObjectInverseOf( a10:task-postcondition ) ) Declaration( ObjectProperty( a10:task-postcondition-of ) )
    SubObjectPropertyOf( a10:task-precondition-of a4:mediated-relation-i ) EquivalentObjectProperties( a10:task-precondition-of ObjectInverseOf( a10:task-precondition ) ) Declaration( ObjectProperty( a10:task-precondition-of ) )
    SubObjectPropertyOf( a12:ruled-by a4:mediated-relation-i ) EquivalentObjectProperties( a12:ruled-by ObjectInverseOf( a12:rules ) ) Declaration( ObjectProperty( a12:ruled-by ) )
    SubObjectPropertyOf( a15:temporal-relation-i a4:mediated-relation-i ) EquivalentObjectProperties( a15:temporal-relation-i ObjectInverseOf( a15:temporal-relation ) ) Declaration( ObjectProperty( a15:temporal-relation-i ) )
      SubObjectPropertyOf( a15:follows a15:temporal-relation-i ) EquivalentObjectProperties( a15:follows ObjectInverseOf( a15:precedes ) ) Declaration( ObjectProperty( a15:follows ) )
        SubObjectPropertyOf( a6:causally-follows a15:follows ) EquivalentObjectProperties( a6:causally-follows ObjectInverseOf( a6:causally-precedes ) ) Declaration( ObjectProperty( a6:causally-follows ) )
          SubObjectPropertyOf( a6:result-of a6:causally-follows ) EquivalentObjectProperties( a6:result-of ObjectInverseOf( a6:result ) ) Declaration( ObjectProperty( a6:result-of ) )
      SubObjectPropertyOf( a15:temporally-coincides a15:temporal-relation-i )
      SubObjectPropertyOf( a15:temporally-connected a15:temporal-relation-i )
      SubObjectPropertyOf( a15:temporally-included-in a15:temporal-relation-i ) EquivalentObjectProperties( a15:temporally-included-in ObjectInverseOf( a15:temporally-includes ) ) Declaration( ObjectProperty( a15:temporally-included-in ) )
        SubObjectPropertyOf( a15:concludes a15:temporally-included-in ) EquivalentObjectProperties( a15:concludes ObjectInverseOf( a15:concluded-by ) ) Declaration( ObjectProperty( a15:concludes ) )
        SubObjectPropertyOf( a15:starts a15:temporally-included-in ) EquivalentObjectProperties( a15:starts ObjectInverseOf( a15:started-by ) ) Declaration( ObjectProperty( a15:starts ) )
      SubObjectPropertyOf( a15:temporally-overlaps a15:temporal-relation-i )
    SubObjectPropertyOf( ObjectInverseOf( a10:disposition-to ) a4:mediated-relation-i )

  SubDataPropertyOf( a3:counted-by owl:topDataProperty ) Declaration( DataProperty( a3:counted-by ) )
  SubDataPropertyOf( a3:has-informal-description owl:topDataProperty ) Declaration( DataProperty( a3:has-informal-description ) )
  SubDataPropertyOf( a7:title owl:topDataProperty ) Declaration( DataProperty( a7:title ) )
  SubDataPropertyOf( a10:iteration-cardinality owl:topDataProperty ) Declaration( DataProperty( a10:iteration-cardinality ) )

)
