diff --git a/RandomOntologies/BigOntologies/BigOntologies/agentive3big.owl b/RandomOntologies/BigOntologies/BigOntologies/agentive3big.owl
new file mode 100644
index 0000000000000000000000000000000000000000..74e945c21af8c8e98809084678d881596c70934c
--- /dev/null
+++ b/RandomOntologies/BigOntologies/BigOntologies/agentive3big.owl
@@ -0,0 +1,755 @@
+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/randombag3.owl>
+
+
+ObjectProperty: Rcchiu
+
+    
+ObjectProperty: Rcockh
+
+    
+ObjectProperty: Rfnvjx
+
+    
+ObjectProperty: Rfzpsj
+
+    
+ObjectProperty: Rjlumo
+
+    
+ObjectProperty: Rmbxfd
+
+    
+ObjectProperty: Rnbwdv
+
+    
+ObjectProperty: Rthasz
+
+    
+ObjectProperty: Ruxkba
+
+    
+ObjectProperty: Rxtvte
+
+    
+Class: AgentivePhysicalObject
+
+    SubClassOf: 
+        owl:Thing
+    
+    
+Class: Caojnwn
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Castpjw,
+        not (Rcockh some Crkiqvp),
+        Rthasz some Clwnmjr
+    
+    
+Class: Capjbhy
+
+    SubClassOf: 
+        AgentivePhysicalObject
+    
+    
+Class: Caqauci
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Caqauci,
+        Caztnwe,
+        Cntrbgi,
+        not (Rjlumo some Coansgm)
+    
+    
+Class: Castpjw
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Rxtvte some Crpjbvj
+    
+    
+Class: Cawefwl
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        not (Rthasz some Cmapmak)
+    
+    
+Class: Caztnwe
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Clwnmjr,
+        not (Rcchiu some Cmapmak),
+        not (Rnbwdv some Crdxiiy)
+    
+    
+Class: Cbiexgn
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cphngqw,
+        Cziduxe
+    
+    
+Class: Ccbacze
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Crdxiiy,
+        Rthasz some Castpjw
+    
+    
+Class: Ccdepvp
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Rcchiu some Cziduxe
+    
+    
+Class: Ccrtqxk
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Castpjw,
+        Ccdepvp,
+        Crzhwnk,
+        not (Rmbxfd some Czmivle)
+    
+    
+Class: Cctmhfb
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        not (Rjlumo some Cprwipf),
+        not (Ruxkba some Ctpadjt)
+    
+    
+Class: Cdirddo
+
+    SubClassOf: 
+        AgentivePhysicalObject
+    
+    
+Class: Cfgglye
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        not (Rnbwdv some Cotzwsd)
+    
+    
+Class: Cfguijf
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cntrbgi,
+        Cqxrjra,
+        Ctrdisl,
+        not (Rjlumo some Cfguijf),
+        Rcockh some Crczcpe
+    
+    
+Class: Cfzwtyz
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Rnbwdv some Cggqdzs
+    
+    
+Class: Cggqdzs
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cvcdxwy,
+        not (Ruxkba some Cvgnzjy)
+    
+    
+Class: Chxkfut
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Rthasz some Capjbhy
+    
+    
+Class: Cjdexpp
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Ccdepvp,
+        Ccrtqxk,
+        not (Rnbwdv some Cqiogzw),
+        Ruxkba some Crdxiiy
+    
+    
+Class: Ckwulvy
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cvgnzjy,
+        not (Rcockh some Cziduxe)
+    
+    
+Class: Clvtryc
+
+    SubClassOf: 
+        AgentivePhysicalObject
+    
+    
+Class: Clwnmjr
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        not (Rcchiu some Cfguijf),
+        Rmbxfd some Cmapmak
+    
+    
+Class: Cmapmak
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cntrbgi,
+        Cvcdxwy,
+        Rfzpsj some Castpjw,
+        Rnbwdv some Cawefwl,
+        Rnbwdv some Cdirddo
+    
+    
+Class: Cmeevzq
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Crzntxu,
+        Rcchiu some Caztnwe
+    
+    
+Class: Cmmukrs
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Rfnvjx some Cvwvroa,
+        Rfzpsj some Cggqdzs
+    
+    
+Class: Cmokmcc
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Ccdepvp
+    
+    
+Class: Cmqhbls
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Rfnvjx some Cbiexgn,
+        Rmbxfd some Crzntxu
+    
+    
+Class: Cntrbgi
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        not (Rxtvte some Cvgnzjy)
+    
+    
+Class: Coansgm
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Clwnmjr,
+        Rthasz some Cvwvroa
+    
+    
+Class: Cotzwsd
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        not (Rjlumo some Ckwulvy)
+    
+    
+Class: Cphngqw
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Clvtryc,
+        Cziduxe,
+        Ruxkba some Cphngqw
+    
+    
+Class: Cprwipf
+
+    SubClassOf: 
+        AgentivePhysicalObject
+    
+    
+Class: Cqiogzw
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Rcockh some Cphngqw
+    
+    
+Class: Cqxrjra
+
+    SubClassOf: 
+        AgentivePhysicalObject
+    
+    
+Class: Crczcpe
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Chxkfut,
+        not (Rfnvjx some Crczcpe)
+    
+    
+Class: Crdxiiy
+
+    SubClassOf: 
+        AgentivePhysicalObject
+    
+    
+Class: Crkiqvp
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        not (Rthasz some Caqauci)
+    
+    
+Class: Crpjbvj
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cawefwl,
+        not (Rcchiu some Caqauci)
+    
+    
+Class: Crzhwnk
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Rnbwdv some Cggqdzs
+    
+    
+Class: Crzntxu
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cmeevzq,
+        not (Rcchiu some Cjdexpp),
+        not (Rmbxfd some Cntrbgi),
+        not (Ruxkba some Cjdexpp)
+    
+    
+Class: Ctjlljx
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Castpjw,
+        Cmokmcc
+    
+    
+Class: Ctpadjt
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Caojnwn,
+        Crczcpe,
+        Cxmvtnb,
+        Rcockh some Ctspjnl
+    
+    
+Class: Ctrdisl
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Cmapmak
+    
+    
+Class: Ctspjnl
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        not (Ruxkba some Ctpadjt)
+    
+    
+Class: Cvcdxwy
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Coansgm,
+        Cprwipf,
+        Rcockh some Cvcdxwy,
+        Rmbxfd some Cdirddo
+    
+    
+Class: Cvgnzjy
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Ctjlljx,
+        not (Cziduxe),
+        not (Rfzpsj some Castpjw),
+        Rmbxfd some Ctspjnl
+    
+    
+Class: Cvwvroa
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        not (Rcockh some Cxmvtnb),
+        Ruxkba some Cziduxe,
+        Rxtvte some Castpjw
+    
+    
+Class: Cxmvtnb
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Clwnmjr,
+        not (Cctmhfb),
+        not (Cqiogzw)
+    
+    
+Class: Cxpuoyg
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Ctpadjt,
+        not (Cmmukrs),
+        Rmbxfd some Cprwipf,
+        Rthasz some Cdirddo
+    
+    
+Class: Cziduxe
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Crdxiiy,
+        Rfnvjx some Crczcpe
+    
+    
+Class: Czmivle
+
+    SubClassOf: 
+        AgentivePhysicalObject,
+        Caqauci,
+        Cfgglye,
+        Cqiogzw,
+        not (Ruxkba some Cqxrjra)
+    
+    
+Class: owl:Thing
+
+    
+Individual: indCaojnwn
+
+    Types: 
+        Caojnwn
+    
+    
+Individual: indCapjbhy
+
+    Types: 
+        Capjbhy
+    
+    
+Individual: indCaqauci
+
+    Types: 
+        Caqauci
+    
+    
+Individual: indCastpjw
+
+    Types: 
+        Castpjw
+    
+    
+Individual: indCawefwl
+
+    Types: 
+        Cawefwl
+    
+    
+Individual: indCaztnwe
+
+    Types: 
+        Caztnwe
+    
+    
+Individual: indCbiexgn
+
+    Types: 
+        Cbiexgn
+    
+    
+Individual: indCcbacze
+
+    Types: 
+        Ccbacze
+    
+    
+Individual: indCcdepvp
+
+    Types: 
+        Ccdepvp
+    
+    
+Individual: indCcrtqxk
+
+    Types: 
+        Ccrtqxk
+    
+    
+Individual: indCctmhfb
+
+    Types: 
+        Cctmhfb
+    
+    
+Individual: indCdirddo
+
+    Types: 
+        Cdirddo
+    
+    
+Individual: indCfgglye
+
+    Types: 
+        Cfgglye
+    
+    
+Individual: indCfguijf
+
+    Types: 
+        Cfguijf
+    
+    
+Individual: indCfzwtyz
+
+    Types: 
+        Cfzwtyz
+    
+    
+Individual: indCggqdzs
+
+    Types: 
+        Cggqdzs
+    
+    
+Individual: indChxkfut
+
+    Types: 
+        Chxkfut
+    
+    
+Individual: indCjdexpp
+
+    Types: 
+        Cjdexpp
+    
+    
+Individual: indCkwulvy
+
+    Types: 
+        Ckwulvy
+    
+    
+Individual: indClvtryc
+
+    Types: 
+        Clvtryc
+    
+    
+Individual: indClwnmjr
+
+    Types: 
+        Clwnmjr
+    
+    
+Individual: indCmapmak
+
+    Types: 
+        Cmapmak
+    
+    
+Individual: indCmeevzq
+
+    Types: 
+        Cmeevzq
+    
+    
+Individual: indCmmukrs
+
+    Types: 
+        Cmmukrs
+    
+    
+Individual: indCmokmcc
+
+    Types: 
+        Cmokmcc
+    
+    
+Individual: indCmqhbls
+
+    Types: 
+        Cmqhbls
+    
+    
+Individual: indCntrbgi
+
+    Types: 
+        Cntrbgi
+    
+    
+Individual: indCoansgm
+
+    Types: 
+        Coansgm
+    
+    
+Individual: indCotzwsd
+
+    Types: 
+        Cotzwsd
+    
+    
+Individual: indCphngqw
+
+    Types: 
+        Cphngqw
+    
+    
+Individual: indCprwipf
+
+    Types: 
+        Cprwipf
+    
+    
+Individual: indCqiogzw
+
+    Types: 
+        Cqiogzw
+    
+    
+Individual: indCqxrjra
+
+    Types: 
+        Cqxrjra
+    
+    
+Individual: indCrczcpe
+
+    Types: 
+        Crczcpe
+    
+    
+Individual: indCrdxiiy
+
+    Types: 
+        Crdxiiy
+    
+    
+Individual: indCrkiqvp
+
+    Types: 
+        Crkiqvp
+    
+    
+Individual: indCrpjbvj
+
+    Types: 
+        Crpjbvj
+    
+    
+Individual: indCrzhwnk
+
+    Types: 
+        Crzhwnk
+    
+    
+Individual: indCrzntxu
+
+    Types: 
+        Crzntxu
+    
+    
+Individual: indCtjlljx
+
+    Types: 
+        Ctjlljx
+    
+    
+Individual: indCtpadjt
+
+    Types: 
+        Ctpadjt
+    
+    
+Individual: indCtrdisl
+
+    Types: 
+        Ctrdisl
+    
+    
+Individual: indCtspjnl
+
+    Types: 
+        Ctspjnl
+    
+    
+Individual: indCvcdxwy
+
+    Types: 
+        Cvcdxwy
+    
+    
+Individual: indCvgnzjy
+
+    Types: 
+        Cvgnzjy
+    
+    
+Individual: indCvwvroa
+
+    Types: 
+        Cvwvroa
+    
+    
+Individual: indCxmvtnb
+
+    Types: 
+        Cxmvtnb
+    
+    
+Individual: indCxpuoyg
+
+    Types: 
+        Cxpuoyg
+    
+    
+Individual: indCziduxe
+
+    Types: 
+        Cziduxe
+    
+    
+Individual: indCzmivle
+
+    Types: 
+        Czmivle
+    
+