diff --git a/imports/caro_import.owl b/imports/caro_import.owl
deleted file mode 100644
index c42ea9b..0000000
--- a/imports/caro_import.owl
+++ /dev/null
@@ -1,452 +0,0 @@
-
-
-
-
- The Common Anatomy Reference Ontology (CARO) is being developed to facilitate interoperability between existing anatomy ontologies for different species, and will provide a template for building new anatomy ontologies.
-
- Common Anatomy Reference Ontology
-
- Based on CARO 1.0, with modifications and additions by David Osumi-Sutherland, Chris Mungall, Ramona Walls and Melissa Haendel.
- 2023-03-15
- 2023-08-15
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- IAO:0000112
- uberon
- example_of_usage
- true
- example_of_usage
- example of usage
-
-
-
-
-
-
-
- definition
-
-
-
-
-
-
-
- IAO:0000116
- uberon
- editor_note
- true
- editor_note
- editor note
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- has_obo_namespace
-
-
-
-
-
-
-
-
-
-
-
-
-
- in_subset
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- entity
- Entity
- Julius Caesar
- Verdi’s Requiem
- the Second World War
- your body mass index
- BFO 2 Reference: In all areas of empirical inquiry we encounter general terms of two sorts. First are general terms which refer to universals or types:animaltuberculosissurgical procedurediseaseSecond, are general terms used to refer to groups of entities which instantiate a given universal but do not correspond to the extension of any subuniversal of that universal because there is nothing intrinsic to the entities in question by virtue of which they – and only they – are counted as belonging to the given group. Examples are: animal purchased by the Emperortuberculosis diagnosed on a Wednesdaysurgical procedure performed on a patient from Stockholmperson identified as candidate for clinical trial #2056-555person who is signatory of Form 656-PPVpainting by Leonardo da VinciSuch terms, which represent what are called ‘specializations’ in [81
- Entity doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example Werner Ceusters 'portions of reality' include 4 sorts, entities (as BFO construes them), universals, configurations, and relations. It is an open question as to whether entities as construed in BFO will at some point also include these other portions of reality. See, for example, 'How to track absolutely everything' at http://www.referent-tracking.com/_RTU/papers/CeustersICbookRevised.pdf
- An entity is anything that exists or has existed or will exist. (axiom label in BFO2 Reference: [001-001])
-
- entity
-
-
-
-
- Entity doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example Werner Ceusters 'portions of reality' include 4 sorts, entities (as BFO construes them), universals, configurations, and relations. It is an open question as to whether entities as construed in BFO will at some point also include these other portions of reality. See, for example, 'How to track absolutely everything' at http://www.referent-tracking.com/_RTU/papers/CeustersICbookRevised.pdf
-
- per discussion with Barry Smith
-
-
-
-
-
- An entity is anything that exists or has existed or will exist. (axiom label in BFO2 Reference: [001-001])
-
-
-
-
-
-
-
-
-
- continuant
- Continuant
- An entity that exists in full at any time in which it exists at all, persists through time while maintaining its identity and has no temporal parts.
- BFO 2 Reference: Continuant entities are entities which can be sliced to yield parts only along the spatial dimension, yielding for example the parts of your table which we call its legs, its top, its nails. ‘My desk stretches from the window to the door. It has spatial parts, and can be sliced (in space) in two. With respect to time, however, a thing is a continuant.’ [60, p. 240
- Continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example, in an expansion involving bringing in some of Ceuster's other portions of reality, questions are raised as to whether universals are continuants
- A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity. (axiom label in BFO2 Reference: [008-002])
- if b is a continuant and if, for some t, c has_continuant_part b at t, then c is a continuant. (axiom label in BFO2 Reference: [126-001])
- if b is a continuant and if, for some t, cis continuant_part of b at t, then c is a continuant. (axiom label in BFO2 Reference: [009-002])
- if b is a material entity, then there is some temporal interval (referred to below as a one-dimensional temporal region) during which b exists. (axiom label in BFO2 Reference: [011-002])
- (forall (x y) (if (and (Continuant x) (exists (t) (continuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [009-002]
- (forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001]
- (forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002]
- (forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002]
-
- continuant
-
-
-
-
- (forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002]
-
-
-
-
-
- (forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002]
-
-
-
-
-
- Continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example, in an expansion involving bringing in some of Ceuster's other portions of reality, questions are raised as to whether universals are continuants
-
-
-
-
-
- A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity. (axiom label in BFO2 Reference: [008-002])
-
-
-
-
-
- if b is a continuant and if, for some t, c has_continuant_part b at t, then c is a continuant. (axiom label in BFO2 Reference: [126-001])
-
-
-
-
-
- if b is a continuant and if, for some t, cis continuant_part of b at t, then c is a continuant. (axiom label in BFO2 Reference: [009-002])
-
-
-
-
-
- if b is a material entity, then there is some temporal interval (referred to below as a one-dimensional temporal region) during which b exists. (axiom label in BFO2 Reference: [011-002])
-
-
-
-
-
- (forall (x y) (if (and (Continuant x) (exists (t) (continuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [009-002]
-
-
-
-
-
- (forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001]
-
-
-
-
-
-
-
-
-
- ic
- IndependentContinuant
- a chair
- a heart
- a leg
- a molecule
- a spatial region
- an atom
- an orchestra.
- an organism
- the bottom right portion of a human torso
- the interior of your mouth
- A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything.
- b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002])
- For any independent continuant b and any time t there is some spatial region r such that b is located_in r at t. (axiom label in BFO2 Reference: [134-001])
- For every independent continuant b and time t during the region of time spanned by its life, there are entities which s-depends_on b during t. (axiom label in BFO2 Reference: [018-002])
- (forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001]
- (forall (x t) (if (and (IndependentContinuant x) (existsAt x t)) (exists (y) (and (Entity y) (specificallyDependsOnAt y x t))))) // axiom label in BFO2 CLIF: [018-002]
- (iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002]
-
- independent continuant
-
-
-
-
- b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002])
-
-
-
-
-
- For any independent continuant b and any time t there is some spatial region r such that b is located_in r at t. (axiom label in BFO2 Reference: [134-001])
-
-
-
-
-
- For every independent continuant b and time t during the region of time spanned by its life, there are entities which s-depends_on b during t. (axiom label in BFO2 Reference: [018-002])
-
-
-
-
-
- (forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001]
-
-
-
-
-
- (forall (x t) (if (and (IndependentContinuant x) (existsAt x t)) (exists (y) (and (Entity y) (specificallyDependsOnAt y x t))))) // axiom label in BFO2 CLIF: [018-002]
-
-
-
-
-
- (iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002]
-
-
-
-
-
-
-
-
-
- A part of a cellular organism that is either an immaterial entity or a material entity with granularity above the level of a protein complex. Or, a substance produced by a cellular organism with granularity above the level of a protein complex.
- CARO:0000000
- Following BFO, material anatomical entities may have immaterial parts (the lumen of your stomach is part of your stomach). The granularity limit follows the limits set by the Gene Ontology on the granularity limit for GO:cellular_component. Note that substances produced by an organism (sweat, feaces, urine) do not need to be part of an organism to qualify as an anatomical structure.
- anatomical entity
-
-
-
-
- A part of a cellular organism that is either an immaterial entity or a material entity with granularity above the level of a protein complex. Or, a substance produced by a cellular organism with granularity above the level of a protein complex.
- CAROC:Brownsville2014
-
-
-
-
-
-
-
-
- An anatomical entity that has mass.
- CARO:0000006
-
- material anatomical entity
-
-
-
-
-
-
-
-
- An anatomical structure consisting of one or more cells.
-
- 2018-09-28T14:20:19Z
- cellular anatomical structure
-
-
-
-
-
-
-
-
- Entity that is, is part of, or derived from an organism, virus, or viroid or a collection of them.
- Important for alignment with Darwin Core class "Organism".
- biological entity
-
-
-
-
-
-
-
-
- The mereological sum of all cells in a single organism in which expression of some specified gene occurs.
- expression pattern
-
-
-
-
-
-
-
diff --git a/imports/fbbt_import.owl b/imports/fbbt_import.owl
deleted file mode 100644
index d21cf2e..0000000
--- a/imports/fbbt_import.owl
+++ /dev/null
@@ -1,2481 +0,0 @@
-Prefix(:=)
-Prefix(owl:=)
-Prefix(rdf:=)
-Prefix(xml:=)
-Prefix(xsd:=)
-Prefix(rdfs:=)
-
-
-Ontology(
-
-Annotation( )
-Annotation(owl:versionInfo "2023-08-15")
-
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(Class())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(ObjectProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty())
-Declaration(AnnotationProperty(