From dec7e9000f85ed69edc5fb9081540e7fb2278f3c Mon Sep 17 00:00:00 2001
From: "Guendalina.Righetti1" <guendalina.righetti@unibz.it>
Date: Fri, 10 Nov 2023 13:08:52 +0100
Subject: [PATCH] Upload New File

---
 .../BigOntologies/agentive1big.owl            | 753 ++++++++++++++++++
 1 file changed, 753 insertions(+)
 create mode 100644 RandomOntologies/BigOntologies/BigOntologies/agentive1big.owl

diff --git a/RandomOntologies/BigOntologies/BigOntologies/agentive1big.owl b/RandomOntologies/BigOntologies/BigOntologies/agentive1big.owl
new file mode 100644
index 0000000..7693f4f
--- /dev/null
+++ b/RandomOntologies/BigOntologies/BigOntologies/agentive1big.owl
@@ -0,0 +1,753 @@
+Prefix: : <http://example.org/random.owl#>
+Prefix: dc: <http://purl.org/dc/elements/1.1/>
+Prefix: owl: <http://www.w3.org/2002/07/owl#>
+Prefix: rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
+Prefix: rdfs: <http://www.w3.org/2000/01/rdf-schema#>
+Prefix: xml: <http://www.w3.org/XML/1998/namespace>
+Prefix: xsd: <http://www.w3.org/2001/XMLSchema#>
+
+
+
+Ontology: <http://example.org/randombag1.owl>
+
+
+ObjectProperty: Rcluxf
+
+    
+ObjectProperty: Ribygv
+
+    
+ObjectProperty: Rkqmkd
+
+    
+ObjectProperty: Rlcpte
+
+    
+ObjectProperty: Rlkooj
+
+    
+ObjectProperty: Rpwzgf
+
+    
+ObjectProperty: Rqsfpm
+
+    
+ObjectProperty: Rtgvqu
+
+    
+ObjectProperty: Rwrpys
+
+    
+ObjectProperty: Rycyab
+
+    
+Class: AgentivePhysicalObject
+
+    SubClassOf: 
+        owl:Thing
+    
+    
+Class: Caqwlfo
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cchcypf,
+        Crzvtqi,
+        Csnlmpv,
+        Cstbeuh,
+        not (Ribygv some Cbwxaih)
+    
+    
+Class: Cavcxhe
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cockdrs
+    
+    
+Class: Cawsjxg
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cggyoyv
+    
+    
+Class: Cbaewjq
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cwjihsu,
+        Rycyab some Clmthpt
+    
+    
+Class: Cbplqtq
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cwyaplv,
+        Rpwzgf some Cqmybgd
+    
+    
+Class: Cbqleog
+
+    SubClassOf: 
+        AgentivePhysicalObject
+    
+    
+Class: Cbwxaih
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cjukrkr,
+        not (Ribygv some Cgpjkwm),
+        Rcluxf some Cbplqtq,
+        Rpwzgf some Cbplqtq
+    
+    
+Class: Cchcypf
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cybnpzz,
+        not (Rlkooj some Cawsjxg)
+    
+    
+Class: Cfixmav
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        not (Rycyab some Chkzcks)
+    
+    
+Class: Cgapeyq
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cifsvww,
+        not (Rqsfpm some Cjukrkr)
+    
+    
+Class: Cgbgdwo
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Crzvtqi
+    
+    
+Class: Cggyoyv
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cbwxaih,
+        Cggyoyv
+    
+    
+Class: Cgpjkwm
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        not (Rcluxf some Coracxn)
+    
+    
+Class: Chkzcks
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cfixmav,
+        Rtgvqu some Cockdrs
+    
+    
+Class: Chxkiwy
+
+    SubClassOf: 
+        AgentivePhysicalObject
+    
+    
+Class: Chyoyrx
+
+    SubClassOf: 
+        AgentivePhysicalObject
+    
+    
+Class: Cifsvww
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cbaewjq,
+        Chxkiwy,
+        not (Ribygv some Cbplqtq),
+        not (Rwrpys some Chyoyrx),
+        not (Rwrpys some Cwjihsu),
+        Ribygv some Cockdrs
+    
+    
+Class: Citeypv
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        not (Rkqmkd some Chkzcks)
+    
+    
+Class: Cixuect
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        not (Crkkivo)
+    
+    
+Class: Cjlpkvk
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Ckaveuw,
+        Csnlmpv,
+        not (Rqsfpm some Cjukrkr)
+    
+    
+Class: Cjrwlks
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Chkzcks,
+        not (Rlcpte some Chxkiwy),
+        Rlkooj some Cgbgdwo
+    
+    
+Class: Cjukrkr
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Csltpcx,
+        not (Rlkooj some Cmpsjor),
+        not (Rqsfpm some Crirpce),
+        Ribygv some Caqwlfo
+    
+    
+Class: Ckaveuw
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        not (Rycyab some Chyoyrx),
+        Rlcpte some Caqwlfo
+    
+    
+Class: Clmthpt
+
+    SubClassOf: 
+        AgentivePhysicalObject
+    
+    
+Class: Cmeeins
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cocybjv
+    
+    
+Class: Cmpsjor
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cnpfmdd,
+        Cocybjv,
+        Cwyaplv,
+        not (Cstbeuh),
+        Ribygv some Crzvtqi
+    
+    
+Class: Cmtiruw
+
+    SubClassOf: 
+        AgentivePhysicalObject
+    
+    
+Class: Cnpfmdd
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Rqsfpm some Csnlmpv
+    
+    
+Class: Cnuqicb
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cggyoyv,
+        Cockdrs
+    
+    
+Class: Cobpdcy
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cchcypf,
+        Cixuect,
+        Cpmqppb
+    
+    
+Class: Cockdrs
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        not (Cpzbkpq)
+    
+    
+Class: Cocybjv
+
+    SubClassOf: 
+        AgentivePhysicalObject
+    
+    
+Class: Coracxn
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cppvsou,
+        not (Rpwzgf some Chxkiwy)
+    
+    
+Class: Cpmqppb
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Clmthpt,
+        Csltpcx,
+        not (Cifsvww)
+    
+    
+Class: Cppvsou
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        not (Cumxkno),
+        Rkqmkd some Cockdrs
+    
+    
+Class: Cpzbkpq
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cggyoyv,
+        not (Rpwzgf some Cumxkno),
+        not (Rqsfpm some Cwyaplv),
+        Rycyab some Cobpdcy
+    
+    
+Class: Cqmybgd
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Chxkiwy,
+        Rlcpte some Csnlmpv
+    
+    
+Class: Crirpce
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cawsjxg,
+        Cockdrs,
+        Csnlmpv
+    
+    
+Class: Crkkivo
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        not (Rtgvqu some Cobpdcy),
+        Rpwzgf some Cqmybgd
+    
+    
+Class: Crzvtqi
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        not (Rpwzgf some Cwjihsu),
+        Rqsfpm some Cixuect
+    
+    
+Class: Csltpcx
+
+    SubClassOf: 
+        AgentivePhysicalObject
+    
+    
+Class: Csnlmpv
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Rkqmkd some Cawsjxg,
+        Rqsfpm some Csltpcx
+    
+    
+Class: Cstbeuh
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        not (Rycyab some Cppvsou)
+    
+    
+Class: Ctmomwi
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cgpjkwm,
+        Crkkivo,
+        Cwjihsu,
+        not (Rpwzgf some Cawsjxg)
+    
+    
+Class: Cumxkno
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cnuqicb,
+        Cockdrs,
+        not (Rqsfpm some Csltpcx)
+    
+    
+Class: Cutadxf
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cbaewjq,
+        Cmeeins,
+        Ribygv some Cocybjv
+    
+    
+Class: Cwjihsu
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cjlpkvk,
+        Cockdrs
+    
+    
+Class: Cwyaplv
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Chkzcks,
+        Rlkooj some Cgpjkwm
+    
+    
+Class: Cxairca
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cbplqtq,
+        Cmtiruw
+    
+    
+Class: Cybnpzz
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cbplqtq,
+        not (Cxairca),
+        not (Rkqmkd some Cnpfmdd)
+    
+    
+Class: owl:Thing
+
+    
+Individual: indCaqwlfo
+
+    Types: 
+        Caqwlfo
+    
+    
+Individual: indCavcxhe
+
+    Types: 
+        Cavcxhe
+    
+    
+Individual: indCawsjxg
+
+    Types: 
+        Cawsjxg
+    
+    
+Individual: indCbaewjq
+
+    Types: 
+        Cbaewjq
+    
+    
+Individual: indCbplqtq
+
+    Types: 
+        Cbplqtq
+    
+    
+Individual: indCbqleog
+
+    Types: 
+        Cbqleog
+    
+    
+Individual: indCbwxaih
+
+    Types: 
+        Cbwxaih
+    
+    
+Individual: indCchcypf
+
+    Types: 
+        Cchcypf
+    
+    
+Individual: indCfixmav
+
+    Types: 
+        Cfixmav
+    
+    
+Individual: indCgapeyq
+
+    Types: 
+        Cgapeyq
+    
+    
+Individual: indCgbgdwo
+
+    Types: 
+        Cgbgdwo
+    
+    
+Individual: indCggyoyv
+
+    Types: 
+        Cggyoyv
+    
+    
+Individual: indCgpjkwm
+
+    Types: 
+        Cgpjkwm
+    
+    
+Individual: indChkzcks
+
+    Types: 
+        Chkzcks
+    
+    
+Individual: indChxkiwy
+
+    Types: 
+        Chxkiwy
+    
+    
+Individual: indChyoyrx
+
+    Types: 
+        Chyoyrx
+    
+    
+Individual: indCifsvww
+
+    Types: 
+        Cifsvww
+    
+    
+Individual: indCiteypv
+
+    Types: 
+        Citeypv
+    
+    
+Individual: indCixuect
+
+    Types: 
+        Cixuect
+    
+    
+Individual: indCjlpkvk
+
+    Types: 
+        Cjlpkvk
+    
+    
+Individual: indCjrwlks
+
+    Types: 
+        Cjrwlks
+    
+    
+Individual: indCjukrkr
+
+    Types: 
+        Cjukrkr
+    
+    
+Individual: indCkaveuw
+
+    Types: 
+        Ckaveuw
+    
+    
+Individual: indClmthpt
+
+    Types: 
+        Clmthpt
+    
+    
+Individual: indCmeeins
+
+    Types: 
+        Cmeeins
+    
+    
+Individual: indCmpsjor
+
+    Types: 
+        Cmpsjor
+    
+    
+Individual: indCmtiruw
+
+    Types: 
+        Cmtiruw
+    
+    
+Individual: indCnpfmdd
+
+    Types: 
+        Cnpfmdd
+    
+    
+Individual: indCnuqicb
+
+    Types: 
+        Cnuqicb
+    
+    
+Individual: indCobpdcy
+
+    Types: 
+        Cobpdcy
+    
+    
+Individual: indCockdrs
+
+    Types: 
+        Cockdrs
+    
+    
+Individual: indCocybjv
+
+    Types: 
+        Cocybjv
+    
+    
+Individual: indCoracxn
+
+    Types: 
+        Coracxn
+    
+    
+Individual: indCpmqppb
+
+    Types: 
+        Cpmqppb
+    
+    
+Individual: indCppvsou
+
+    Types: 
+        Cppvsou
+    
+    
+Individual: indCpzbkpq
+
+    Types: 
+        Cpzbkpq
+    
+    
+Individual: indCqmybgd
+
+    Types: 
+        Cqmybgd
+    
+    
+Individual: indCrirpce
+
+    Types: 
+        Crirpce
+    
+    
+Individual: indCrkkivo
+
+    Types: 
+        Crkkivo
+    
+    
+Individual: indCrzvtqi
+
+    Types: 
+        Crzvtqi
+    
+    
+Individual: indCsltpcx
+
+    Types: 
+        Csltpcx
+    
+    
+Individual: indCsnlmpv
+
+    Types: 
+        Csnlmpv
+    
+    
+Individual: indCstbeuh
+
+    Types: 
+        Cstbeuh
+    
+    
+Individual: indCtmomwi
+
+    Types: 
+        Ctmomwi
+    
+    
+Individual: indCumxkno
+
+    Types: 
+        Cumxkno
+    
+    
+Individual: indCutadxf
+
+    Types: 
+        Cutadxf
+    
+    
+Individual: indCwjihsu
+
+    Types: 
+        Cwjihsu
+    
+    
+Individual: indCwyaplv
+
+    Types: 
+        Cwyaplv
+    
+    
+Individual: indCxairca
+
+    Types: 
+        Cxairca
+    
+    
+Individual: indCybnpzz
+
+    Types: 
+        Cybnpzz
+    
+    
-- 
GitLab