diff --git a/RandomOntologies/BigOntologies/BigOntologies/nonagentive3big.owl b/RandomOntologies/BigOntologies/BigOntologies/nonagentive3big.owl
new file mode 100644
index 0000000000000000000000000000000000000000..5146b30e13ce9e53c762c7bbc6340fee8910d7c4
--- /dev/null
+++ b/RandomOntologies/BigOntologies/BigOntologies/nonagentive3big.owl
@@ -0,0 +1,747 @@
+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/randombnag3.owl>
+
+
+ObjectProperty: Rbfujb
+
+    
+ObjectProperty: Rhbwxz
+
+    
+ObjectProperty: Rlgmqb
+
+    
+ObjectProperty: Rmlyvx
+
+    
+ObjectProperty: Rnbqzd
+
+    
+ObjectProperty: Rnjyar
+
+    
+ObjectProperty: Rqcazg
+
+    
+ObjectProperty: Rqceqq
+
+    
+ObjectProperty: Rrhnuf
+
+    
+ObjectProperty: Rvitjh
+
+    
+Class: Cagjeau
+
+    SubClassOf: 
+        Cchvtcc,
+        NonAgentivePhysicalObject
+    
+    
+Class: Cagqzui
+
+    SubClassOf: 
+        NonAgentivePhysicalObject,
+        Rqceqq some Cydmzpu
+    
+    
+Class: Cazivrv
+
+    SubClassOf: 
+        NonAgentivePhysicalObject,
+        Rqcazg some Cpbtgxj
+    
+    
+Class: Cbobrgl
+
+    SubClassOf: 
+        Cazivrv,
+        NonAgentivePhysicalObject,
+        not (Cldobcs)
+    
+    
+Class: Ccflmqr
+
+    SubClassOf: 
+        Czgchlm,
+        NonAgentivePhysicalObject,
+        not (Rrhnuf some Cfdyvcg),
+        not (Rvitjh some Czezwfs),
+        Rlgmqb some Cqnomwm
+    
+    
+Class: Cchghyo
+
+    SubClassOf: 
+        Cukwrmc,
+        NonAgentivePhysicalObject
+    
+    
+Class: Cchvtcc
+
+    SubClassOf: 
+        Cpjhczr,
+        Cwjwlui,
+        NonAgentivePhysicalObject,
+        Rmlyvx some Cpsgtkn
+    
+    
+Class: Cfdhnjh
+
+    SubClassOf: 
+        Cybgwjs,
+        NonAgentivePhysicalObject
+    
+    
+Class: Cfdyvcg
+
+    SubClassOf: 
+        NonAgentivePhysicalObject
+    
+    
+Class: Cgrwjuk
+
+    SubClassOf: 
+        NonAgentivePhysicalObject,
+        Rlgmqb some Coloqzb
+    
+    
+Class: Cibzjzb
+
+    SubClassOf: 
+        Cazivrv,
+        Cpbtgxj,
+        NonAgentivePhysicalObject,
+        not (Rnbqzd some Cazivrv)
+    
+    
+Class: Civpyhl
+
+    SubClassOf: 
+        Czcizca,
+        NonAgentivePhysicalObject
+    
+    
+Class: Cjbakex
+
+    SubClassOf: 
+        Cjwyquf,
+        Cwjwlui,
+        NonAgentivePhysicalObject,
+        Rnbqzd some Crjtbkh,
+        Rvitjh some Cydmzpu
+    
+    
+Class: Cjdyxfg
+
+    SubClassOf: 
+        Civpyhl,
+        Cydmzpu,
+        NonAgentivePhysicalObject
+    
+    
+Class: Cjwyquf
+
+    SubClassOf: 
+        NonAgentivePhysicalObject,
+        not (Codwacp),
+        not (Rmlyvx some Czreapm),
+        Rqcazg some Cagjeau
+    
+    
+Class: Cldobcs
+
+    SubClassOf: 
+        NonAgentivePhysicalObject,
+        not (Rqcazg some Cnyswvz)
+    
+    
+Class: Clfscnv
+
+    SubClassOf: 
+        NonAgentivePhysicalObject
+    
+    
+Class: Clgyhih
+
+    SubClassOf: 
+        NonAgentivePhysicalObject,
+        Rbfujb some Cgrwjuk
+    
+    
+Class: Clzdrhu
+
+    SubClassOf: 
+        NonAgentivePhysicalObject,
+        not (Rrhnuf some Czezwfs),
+        Rnjyar some Cchghyo,
+        Rqceqq some Cwjwlui
+    
+    
+Class: Cmnoebk
+
+    SubClassOf: 
+        NonAgentivePhysicalObject,
+        not (Rnjyar some Cagjeau),
+        not (Rqcazg some Cagqzui),
+        Rvitjh some Cmnoebk
+    
+    
+Class: Cmntjkn
+
+    SubClassOf: 
+        NonAgentivePhysicalObject,
+        not (Rlgmqb some Csbykri),
+        not (Rrhnuf some Czpxqzv),
+        not (Rvitjh some Crjtbkh)
+    
+    
+Class: Cncflgs
+
+    SubClassOf: 
+        NonAgentivePhysicalObject,
+        not (Rlgmqb some Cfdyvcg),
+        not (Rqcazg some Cchvtcc),
+        Rhbwxz some Czcizca
+    
+    
+Class: Cnpksng
+
+    SubClassOf: 
+        NonAgentivePhysicalObject,
+        Rvitjh some Cyworlj
+    
+    
+Class: Cnyswvz
+
+    SubClassOf: 
+        NonAgentivePhysicalObject
+    
+    
+Class: Codwacp
+
+    SubClassOf: 
+        Cvldmru,
+        NonAgentivePhysicalObject
+    
+    
+Class: Coloqzb
+
+    SubClassOf: 
+        NonAgentivePhysicalObject,
+        not (Rlgmqb some Cncflgs)
+    
+    
+Class: Cpbtgxj
+
+    SubClassOf: 
+        NonAgentivePhysicalObject
+    
+    
+Class: Cpihchp
+
+    SubClassOf: 
+        Cjwyquf,
+        Cybgwjs,
+        NonAgentivePhysicalObject,
+        Rbfujb some Cwedemx
+    
+    
+Class: Cpjhczr
+
+    SubClassOf: 
+        Cjbakex,
+        Cjwyquf,
+        NonAgentivePhysicalObject,
+        not (Rqceqq some Cvldmru),
+        Rbfujb some Cqnomwm
+    
+    
+Class: Cppeuaa
+
+    SubClassOf: 
+        Czreapm,
+        NonAgentivePhysicalObject,
+        Rlgmqb some Cchghyo
+    
+    
+Class: Cpsgtkn
+
+    SubClassOf: 
+        Clfscnv,
+        Czvlggr,
+        NonAgentivePhysicalObject,
+        not (Rnjyar some Cybgwjs)
+    
+    
+Class: Cqnomwm
+
+    SubClassOf: 
+        Cjbakex,
+        NonAgentivePhysicalObject
+    
+    
+Class: Crjtbkh
+
+    SubClassOf: 
+        Cagjeau,
+        NonAgentivePhysicalObject,
+        not (Rbfujb some Czcizca),
+        Rnjyar some Cydmzpu
+    
+    
+Class: Csbykri
+
+    SubClassOf: 
+        Czpciuf,
+        NonAgentivePhysicalObject,
+        not (Rqcazg some Clfscnv)
+    
+    
+Class: Cukwrmc
+
+    SubClassOf: 
+        Cchghyo,
+        Cjwyquf,
+        NonAgentivePhysicalObject
+    
+    
+Class: Cvldmru
+
+    SubClassOf: 
+        Cncflgs,
+        NonAgentivePhysicalObject
+    
+    
+Class: Cwbqlds
+
+    SubClassOf: 
+        Cfdhnjh,
+        NonAgentivePhysicalObject
+    
+    
+Class: Cwedemx
+
+    SubClassOf: 
+        NonAgentivePhysicalObject,
+        not (Czezwfs)
+    
+    
+Class: Cwjwlui
+
+    SubClassOf: 
+        Ccflmqr,
+        NonAgentivePhysicalObject
+    
+    
+Class: Cybgwjs
+
+    SubClassOf: 
+        Cfdhnjh,
+        Czezwfs,
+        NonAgentivePhysicalObject,
+        not (Rvitjh some Csbykri)
+    
+    
+Class: Cydmzpu
+
+    SubClassOf: 
+        Clzdrhu,
+        NonAgentivePhysicalObject,
+        Rmlyvx some Cpjhczr
+    
+    
+Class: Cyssxxd
+
+    SubClassOf: 
+        NonAgentivePhysicalObject,
+        not (Rqcazg some Cnpksng),
+        Rqcazg some Cfdyvcg
+    
+    
+Class: Cyworlj
+
+    SubClassOf: 
+        Cfdhnjh,
+        Cpsgtkn,
+        NonAgentivePhysicalObject
+    
+    
+Class: Czcizca
+
+    SubClassOf: 
+        NonAgentivePhysicalObject,
+        Rqcazg some Cjwyquf
+    
+    
+Class: Czezwfs
+
+    SubClassOf: 
+        Cjbakex,
+        Cybgwjs,
+        NonAgentivePhysicalObject,
+        not (Rqcazg some Csbykri)
+    
+    
+Class: Czgchlm
+
+    SubClassOf: 
+        NonAgentivePhysicalObject,
+        Rrhnuf some Cwedemx
+    
+    
+Class: Czpciuf
+
+    SubClassOf: 
+        Cchghyo,
+        Cjbakex,
+        NonAgentivePhysicalObject,
+        not (Cldobcs)
+    
+    
+Class: Czpxqzv
+
+    SubClassOf: 
+        Clzdrhu,
+        Cwbqlds,
+        Cyworlj,
+        NonAgentivePhysicalObject,
+        not (Rbfujb some Czvlggr),
+        not (Rvitjh some Czcizca)
+    
+    
+Class: Czreapm
+
+    SubClassOf: 
+        NonAgentivePhysicalObject
+    
+    
+Class: Czvlggr
+
+    SubClassOf: 
+        Cjwyquf,
+        Cybgwjs,
+        Czvlggr,
+        NonAgentivePhysicalObject,
+        not (Rrhnuf some Clgyhih)
+    
+    
+Class: NonAgentivePhysicalObject
+
+    SubClassOf: 
+        owl:Thing
+    
+    
+Class: owl:Thing
+
+    
+Individual: indCagjeau
+
+    Types: 
+        Cagjeau
+    
+    
+Individual: indCagqzui
+
+    Types: 
+        Cagqzui
+    
+    
+Individual: indCazivrv
+
+    Types: 
+        Cazivrv
+    
+    
+Individual: indCbobrgl
+
+    Types: 
+        Cbobrgl
+    
+    
+Individual: indCcflmqr
+
+    Types: 
+        Ccflmqr
+    
+    
+Individual: indCchghyo
+
+    Types: 
+        Cchghyo
+    
+    
+Individual: indCchvtcc
+
+    Types: 
+        Cchvtcc
+    
+    
+Individual: indCfdhnjh
+
+    Types: 
+        Cfdhnjh
+    
+    
+Individual: indCfdyvcg
+
+    Types: 
+        Cfdyvcg
+    
+    
+Individual: indCgrwjuk
+
+    Types: 
+        Cgrwjuk
+    
+    
+Individual: indCibzjzb
+
+    Types: 
+        Cibzjzb
+    
+    
+Individual: indCivpyhl
+
+    Types: 
+        Civpyhl
+    
+    
+Individual: indCjbakex
+
+    Types: 
+        Cjbakex
+    
+    
+Individual: indCjdyxfg
+
+    Types: 
+        Cjdyxfg
+    
+    
+Individual: indCjwyquf
+
+    Types: 
+        Cjwyquf
+    
+    
+Individual: indCldobcs
+
+    Types: 
+        Cldobcs
+    
+    
+Individual: indClfscnv
+
+    Types: 
+        Clfscnv
+    
+    
+Individual: indClgyhih
+
+    Types: 
+        Clgyhih
+    
+    
+Individual: indClzdrhu
+
+    Types: 
+        Clzdrhu
+    
+    
+Individual: indCmnoebk
+
+    Types: 
+        Cmnoebk
+    
+    
+Individual: indCmntjkn
+
+    Types: 
+        Cmntjkn
+    
+    
+Individual: indCncflgs
+
+    Types: 
+        Cncflgs
+    
+    
+Individual: indCnpksng
+
+    Types: 
+        Cnpksng
+    
+    
+Individual: indCnyswvz
+
+    Types: 
+        Cnyswvz
+    
+    
+Individual: indCodwacp
+
+    Types: 
+        Codwacp
+    
+    
+Individual: indColoqzb
+
+    Types: 
+        Coloqzb
+    
+    
+Individual: indCpbtgxj
+
+    Types: 
+        Cpbtgxj
+    
+    
+Individual: indCpihchp
+
+    Types: 
+        Cpihchp
+    
+    
+Individual: indCpjhczr
+
+    Types: 
+        Cpjhczr
+    
+    
+Individual: indCppeuaa
+
+    Types: 
+        Cppeuaa
+    
+    
+Individual: indCpsgtkn
+
+    Types: 
+        Cpsgtkn
+    
+    
+Individual: indCqnomwm
+
+    Types: 
+        Cqnomwm
+    
+    
+Individual: indCrjtbkh
+
+    Types: 
+        Crjtbkh
+    
+    
+Individual: indCsbykri
+
+    Types: 
+        Csbykri
+    
+    
+Individual: indCukwrmc
+
+    Types: 
+        Cukwrmc
+    
+    
+Individual: indCvldmru
+
+    Types: 
+        Cvldmru
+    
+    
+Individual: indCwbqlds
+
+    Types: 
+        Cwbqlds
+    
+    
+Individual: indCwedemx
+
+    Types: 
+        Cwedemx
+    
+    
+Individual: indCwjwlui
+
+    Types: 
+        Cwjwlui
+    
+    
+Individual: indCybgwjs
+
+    Types: 
+        Cybgwjs
+    
+    
+Individual: indCydmzpu
+
+    Types: 
+        Cydmzpu
+    
+    
+Individual: indCyssxxd
+
+    Types: 
+        Cyssxxd
+    
+    
+Individual: indCyworlj
+
+    Types: 
+        Cyworlj
+    
+    
+Individual: indCzcizca
+
+    Types: 
+        Czcizca
+    
+    
+Individual: indCzezwfs
+
+    Types: 
+        Czezwfs
+    
+    
+Individual: indCzgchlm
+
+    Types: 
+        Czgchlm
+    
+    
+Individual: indCzpciuf
+
+    Types: 
+        Czpciuf
+    
+    
+Individual: indCzpxqzv
+
+    Types: 
+        Czpxqzv
+    
+    
+Individual: indCzreapm
+
+    Types: 
+        Czreapm
+    
+    
+Individual: indCzvlggr
+
+    Types: 
+        Czvlggr
+    
+