diff --git a/imports/bfo_import.obo b/imports/bfo_import.obo
new file mode 100644
index 0000000..3a3dcb0
--- /dev/null
+++ b/imports/bfo_import.obo
@@ -0,0 +1,260 @@
+format-version: 1.2
+data-version: pco/imports/bfo_import/pco/releases/2020-02-13/bfo_import.owl/pco/imports/bfo_import.obo
+ontology: pco/imports/bfo_import.obo
+
+[Term]
+id: BFO:0000001
+name: entity
+property_value: BFO:0000179 "entity" xsd:string
+property_value: BFO:0000180 "Entity" xsd:string
+property_value: IAO:0000112 "Julius Caesar" xsd:string
+property_value: IAO:0000112 "the Second World War" xsd:string
+property_value: IAO:0000112 "Verdi’s Requiem" xsd:string
+property_value: IAO:0000112 "your body mass index" xsd:string
+property_value: IAO:0000116 "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" xsd:string
+property_value: IAO:0000116 "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" xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/0000004", http://www.w3.org/2000/01/rdf-schema#seeAlso="http://www.referent-tracking.com/_RTU/papers/CeustersICbookRevised.pdf", comment="per discussion with Barry Smith"}
+property_value: IAO:0000600 "An entity is anything that exists or has existed or will exist. (axiom label in BFO2 Reference: [001-001])" xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/001-001"}
+property_value: isDefinedBy http://purl.obolibrary.org/obo/bfo.owl
+
+[Term]
+id: BFO:0000002
+name: continuant
+is_a: BFO:0000001 ! entity
+disjoint_from: BFO:0000003 ! occurrent
+property_value: BFO:0000179 "continuant" xsd:string
+property_value: BFO:0000180 "Continuant" xsd:string
+property_value: IAO:0000116 "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" xsd:string
+property_value: IAO:0000116 "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" xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/0000007"}
+property_value: IAO:0000600 "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])" xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/008-002"}
+property_value: IAO:0000601 "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])" xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/126-001"}
+property_value: IAO:0000601 "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])" xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/009-002"}
+property_value: IAO:0000601 "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])" xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/011-002"}
+property_value: IAO:0000602 "(forall (x y) (if (and (Continuant x) (exists (t) (continuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [009-002] " xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/009-002"}
+property_value: IAO:0000602 "(forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001] " xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/126-001"}
+property_value: IAO:0000602 "(forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002] " xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/008-002"}
+property_value: IAO:0000602 "(forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002] " xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/011-002"}
+property_value: isDefinedBy http://purl.obolibrary.org/obo/bfo.owl
+
+[Term]
+id: BFO:0000003
+name: occurrent
+is_a: BFO:0000001 ! entity
+property_value: BFO:0000179 "occurrent" xsd:string
+property_value: BFO:0000180 "Occurrent" xsd:string
+property_value: IAO:0000116 "BFO 2 Reference: every occurrent that is not a temporal or spatiotemporal region is s-dependent on some independent continuant that is not a spatial region" xsd:string
+property_value: IAO:0000116 "BFO 2 Reference: s-dependence obtains between every process and its participants in the sense that, as a matter of necessity, this process could not have existed unless these or those participants existed also. A process may have a succession of participants at different phases of its unfolding. Thus there may be different players on the field at different times during the course of a football game; but the process which is the entire game s-depends_on all of these players nonetheless. Some temporal parts of this process will s-depend_on on only some of the players." xsd:string
+property_value: IAO:0000116 "Occurrent doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the sum of a process and the process boundary of another process." xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/0000006", comment="per discussion with Barry Smith"}
+property_value: IAO:0000116 "Simons uses different terminology for relations of occurrents to regions: Denote the spatio-temporal location of a given occurrent e by 'spn[e]' and call this region its span. We may say an occurrent is at its span, in any larger region, and covers any smaller region. Now suppose we have fixed a frame of reference so that we can speak not merely of spatio-temporal but also of spatial regions (places) and temporal regions (times). The spread of an occurrent, (relative to a frame of reference) is the space it exactly occupies, and its spell is likewise the time it exactly occupies. We write 'spr[e]' and `spl[e]' respectively for the spread and spell of e, omitting mention of the frame." xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/0000012"}
+property_value: IAO:0000600 "An occurrent is an entity that unfolds itself in time or it is the instantaneous boundary of such an entity (for example a beginning or an ending) or it is a temporal or spatiotemporal region which such an entity occupies_temporal_region or occupies_spatiotemporal_region. (axiom label in BFO2 Reference: [077-002])" xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/077-002"}
+property_value: IAO:0000601 "b is an occurrent entity iff b is an entity that has temporal parts. (axiom label in BFO2 Reference: [079-001])" xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/079-001"}
+property_value: IAO:0000601 "Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001])" xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/108-001"}
+property_value: IAO:0000602 "(forall (x) (if (Occurrent x) (exists (r) (and (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion x r))))) // axiom label in BFO2 CLIF: [108-001] " xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/108-001"}
+property_value: IAO:0000602 "(forall (x) (iff (Occurrent x) (and (Entity x) (exists (y) (temporalPartOf y x))))) // axiom label in BFO2 CLIF: [079-001] " xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/079-001"}
+property_value: isDefinedBy http://purl.obolibrary.org/obo/bfo.owl
+
+[Term]
+id: BFO:0000004
+name: independent continuant
+def: "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])" [] {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/017-002"}
+is_a: BFO:0000002 ! continuant
+disjoint_from: BFO:0000020 ! specifically dependent continuant
+disjoint_from: BFO:0000031 ! generically dependent continuant
+property_value: BFO:0000179 "ic" xsd:string
+property_value: BFO:0000180 "IndependentContinuant" xsd:string
+property_value: IAO:0000112 "a chair" xsd:string
+property_value: IAO:0000112 "a heart" xsd:string
+property_value: IAO:0000112 "a leg" xsd:string
+property_value: IAO:0000112 "a molecule" xsd:string
+property_value: IAO:0000112 "a spatial region" xsd:string
+property_value: IAO:0000112 "an atom" xsd:string
+property_value: IAO:0000112 "an orchestra." xsd:string
+property_value: IAO:0000112 "an organism" xsd:string
+property_value: IAO:0000112 "the bottom right portion of a human torso" xsd:string
+property_value: IAO:0000112 "the interior of your mouth" xsd:string
+property_value: IAO:0000601 "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])" xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/134-001"}
+property_value: IAO:0000601 "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])" xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/018-002"}
+property_value: IAO:0000602 "(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] " xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/018-002"}
+property_value: IAO:0000602 "(forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001] " xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/134-001"}
+property_value: IAO:0000602 "(iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002] " xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/017-002"}
+property_value: isDefinedBy http://purl.obolibrary.org/obo/bfo.owl
+
+[Term]
+id: BFO:0000015
+name: process
+def: "p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])" [] {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/083-003"}
+is_a: BFO:0000003 ! occurrent
+property_value: BFO:0000179 "process" xsd:string
+property_value: BFO:0000180 "Process" xsd:string
+property_value: IAO:0000112 "a process of cell-division, \\ a beating of the heart" xsd:string
+property_value: IAO:0000112 "a process of meiosis" xsd:string
+property_value: IAO:0000112 "a process of sleeping" xsd:string
+property_value: IAO:0000112 "the course of a disease" xsd:string
+property_value: IAO:0000112 "the flight of a bird" xsd:string
+property_value: IAO:0000112 "the life of an organism" xsd:string
+property_value: IAO:0000112 "your process of aging." xsd:string
+property_value: IAO:0000116 "BFO 2 Reference: The realm of occurrents is less pervasively marked by the presence of natural units than is the case in the realm of independent continuants. Thus there is here no counterpart of ‘object’. In BFO 1.0 ‘process’ served as such a counterpart. In BFO 2.0 ‘process’ is, rather, the occurrent counterpart of ‘material entity’. Those natural – as contrasted with engineered, which here means: deliberately executed – units which do exist in the realm of occurrents are typically either parasitic on the existence of natural units on the continuant side, or they are fiat in nature. Thus we can count lives; we can count football games; we can count chemical reactions performed in experiments or in chemical manufacturing. We cannot count the processes taking place, for instance, in an episode of insect mating behavior.Even where natural units are identifiable, for example cycles in a cyclical process such as the beating of a heart or an organism’s sleep/wake cycle, the processes in question form a sequence with no discontinuities (temporal gaps) of the sort that we find for instance where billiard balls or zebrafish or planets are separated by clear spatial gaps. Lives of organisms are process units, but they too unfold in a continuous series from other, prior processes such as fertilization, and they unfold in turn in continuous series of post-life processes such as post-mortem decay. Clear examples of boundaries of processes are almost always of the fiat sort (midnight, a time of death as declared in an operating theater or on a death certificate, the initiation of a state of war)" xsd:string
+property_value: IAO:0000602 "(iff (Process a) (and (Occurrent a) (exists (b) (properTemporalPartOf b a)) (exists (c t) (and (MaterialEntity c) (specificallyDependsOnAt a c t))))) // axiom label in BFO2 CLIF: [083-003] " xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/083-003"}
+property_value: isDefinedBy http://purl.obolibrary.org/obo/bfo.owl
+
+[Term]
+id: BFO:0000017
+name: realizable entity
+is_a: BFO:0000020 ! specifically dependent continuant
+property_value: BFO:0000179 "realizable" xsd:string
+property_value: BFO:0000180 "RealizableEntity" xsd:string
+property_value: IAO:0000112 "the disposition of this piece of metal to conduct electricity." xsd:string
+property_value: IAO:0000112 "the disposition of your blood to coagulate" xsd:string
+property_value: IAO:0000112 "the function of your reproductive organs" xsd:string
+property_value: IAO:0000112 "the role of being a doctor" xsd:string
+property_value: IAO:0000112 "the role of this boundary to delineate where Utah and Colorado meet" xsd:string
+property_value: IAO:0000600 "To say that b is a realizable entity is to say that b is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region and is of a type instances of which are realized in processes of a correlated type. (axiom label in BFO2 Reference: [058-002])" xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/058-002"}
+property_value: IAO:0000601 "All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002])" xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/060-002"}
+property_value: IAO:0000602 "(forall (x t) (if (RealizableEntity x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (bearerOfAt y x t))))) // axiom label in BFO2 CLIF: [060-002] " xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/060-002"}
+property_value: IAO:0000602 "(forall (x) (if (RealizableEntity x) (and (SpecificallyDependentContinuant x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (inheresIn x y)))))) // axiom label in BFO2 CLIF: [058-002] " xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/058-002"}
+property_value: isDefinedBy http://purl.obolibrary.org/obo/bfo.owl
+
+[Term]
+id: BFO:0000020
+name: specifically dependent continuant
+def: "b is a specifically dependent continuant = Def. b is a continuant & there is some independent continuant c which is not a spatial region and which is such that b s-depends_on c at every time t during the course of b’s existence. (axiom label in BFO2 Reference: [050-003])" [] {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/050-003"}
+is_a: BFO:0000002 ! continuant
+disjoint_from: BFO:0000031 ! generically dependent continuant
+property_value: BFO:0000179 "sdc" xsd:string
+property_value: BFO:0000180 "SpecificallyDependentContinuant" xsd:string
+property_value: IAO:0000112 "of one-sided specifically dependent continuants: the mass of this tomato" xsd:string
+property_value: IAO:0000112 "of relational dependent continuants (multiple bearers): John’s love for Mary, the ownership relation between John and this statue, the relation of authority between John and his subordinates." xsd:string
+property_value: IAO:0000112 "Reciprocal specifically dependent continuants: the function of this key to open this lock and the mutually dependent disposition of this lock: to be opened by this key" xsd:string
+property_value: IAO:0000112 "the disposition of this fish to decay" xsd:string
+property_value: IAO:0000112 "the function of this heart: to pump blood" xsd:string
+property_value: IAO:0000112 "the mutual dependence of proton donors and acceptors in chemical reactions [79" xsd:string
+property_value: IAO:0000112 "the mutual dependence of the role predator and the role prey as played by two organisms in a given interaction" xsd:string
+property_value: IAO:0000112 "the pink color of a medium rare piece of grilled filet mignon at its center" xsd:string
+property_value: IAO:0000112 "the role of being a doctor" xsd:string
+property_value: IAO:0000112 "the shape of this hole." xsd:string
+property_value: IAO:0000112 "the smell of this portion of mozzarella" xsd:string
+property_value: IAO:0000116 "Specifically dependent continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. We're not sure what else will develop here, but for example there are questions such as what are promises, obligation, etc." xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/0000005", comment="per discussion with Barry Smith"}
+property_value: IAO:0000602 "(iff (SpecificallyDependentContinuant a) (and (Continuant a) (forall (t) (if (existsAt a t) (exists (b) (and (IndependentContinuant b) (not (SpatialRegion b)) (specificallyDependsOnAt a b t))))))) // axiom label in BFO2 CLIF: [050-003] " xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/050-003"}
+property_value: isDefinedBy http://purl.obolibrary.org/obo/bfo.owl
+
+[Term]
+id: BFO:0000023
+name: role
+is_a: BFO:0000017 ! realizable entity
+property_value: BFO:0000179 "role" xsd:string
+property_value: BFO:0000180 "Role" xsd:string
+property_value: IAO:0000112 "John’s role of husband to Mary is dependent on Mary’s role of wife to John, and both are dependent on the object aggregate comprising John and Mary as member parts joined together through the relational quality of being married." xsd:string
+property_value: IAO:0000112 "the priest role" xsd:string
+property_value: IAO:0000112 "the role of a boundary to demarcate two neighboring administrative territories" xsd:string
+property_value: IAO:0000112 "the role of a building in serving as a military target" xsd:string
+property_value: IAO:0000112 "the role of a stone in marking a property boundary" xsd:string
+property_value: IAO:0000112 "the role of subject in a clinical trial" xsd:string
+property_value: IAO:0000112 "the student role" xsd:string
+property_value: IAO:0000116 "BFO 2 Reference: One major family of examples of non-rigid universals involves roles, and ontologies developed for corresponding administrative purposes may consist entirely of representatives of entities of this sort. Thus ‘professor’, defined as follows,b instance_of professor at t =Def. there is some c, c instance_of professor role & c inheres_in b at t.denotes a non-rigid universal and so also do ‘nurse’, ‘student’, ‘colonel’, ‘taxpayer’, and so forth. (These terms are all, in the jargon of philosophy, phase sortals.) By using role terms in definitions, we can create a BFO conformant treatment of such entities drawing on the fact that, while an instance of professor may be simultaneously an instance of trade union member, no instance of the type professor role is also (at any time) an instance of the type trade union member role (any more than any instance of the type color is at any time an instance of the type length).If an ontology of employment positions should be defined in terms of roles following the above pattern, this enables the ontology to do justice to the fact that individuals instantiate the corresponding universals – professor, sergeant, nurse – only during certain phases in their lives." xsd:string
+property_value: IAO:0000600 "b is a role means: b is a realizable entity & b exists because there is some single bearer that is in some special physical, social, or institutional set of circumstances in which this bearer does not have to be& b is not such that, if it ceases to exist, then the physical make-up of the bearer is thereby changed. (axiom label in BFO2 Reference: [061-001])" xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/061-001"}
+property_value: IAO:0000602 "(forall (x) (if (Role x) (RealizableEntity x))) // axiom label in BFO2 CLIF: [061-001] " xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/061-001"}
+property_value: isDefinedBy http://purl.obolibrary.org/obo/bfo.owl
+
+[Term]
+id: BFO:0000027
+name: object aggregate
+is_a: BFO:0000040 ! material entity
+property_value: BFO:0000179 "object-aggregate" xsd:string
+property_value: BFO:0000180 "ObjectAggregate" xsd:string
+property_value: IAO:0000112 "a collection of cells in a blood biobank." xsd:string
+property_value: IAO:0000112 "a swarm of bees is an aggregate of members who are linked together through natural bonds" xsd:string
+property_value: IAO:0000112 "a symphony orchestra" xsd:string
+property_value: IAO:0000112 "an organization is an aggregate whose member parts have roles of specific types (for example in a jazz band, a chess club, a football team)" xsd:string
+property_value: IAO:0000112 "defined by fiat: the aggregate of members of an organization" xsd:string
+property_value: IAO:0000112 "defined through physical attachment: the aggregate of atoms in a lump of granite" xsd:string
+property_value: IAO:0000112 "defined through physical containment: the aggregate of molecules of carbon dioxide in a sealed container" xsd:string
+property_value: IAO:0000112 "defined via attributive delimitations such as: the patients in this hospital" xsd:string
+property_value: IAO:0000112 "the aggregate of bearings in a constant velocity axle joint" xsd:string
+property_value: IAO:0000112 "the aggregate of blood cells in your body" xsd:string
+property_value: IAO:0000112 "the nitrogen atoms in the atmosphere" xsd:string
+property_value: IAO:0000112 "the restaurants in Palo Alto" xsd:string
+property_value: IAO:0000112 "your collection of Meissen ceramic plates." xsd:string
+property_value: IAO:0000116 "An entity a is an object aggregate if and only if there is a mutually exhaustive and pairwise disjoint partition of a into objects " xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/0000301"}
+property_value: IAO:0000116 "An entity a is an object aggregate if and only if there is a mutually exhaustive and pairwise disjoint partition of a into objects " xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/0000011"}
+property_value: IAO:0000116 "BFO 2 Reference: object aggregates may gain and lose parts while remaining numerically identical (one and the same individual) over time. This holds both for aggregates whose membership is determined naturally (the aggregate of cells in your body) and aggregates determined by fiat (a baseball team, a congressional committee)." xsd:string
+property_value: IAO:0000119 "ISBN:978-3-938793-98-5pp124-158#Thomas Bittner and Barry Smith, 'A Theory of Granular Partitions', in K. Munn and B. Smith (eds.), Applied Ontology: An Introduction, Frankfurt/Lancaster: ontos, 2008, 125-158." xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/0000300"}
+property_value: IAO:0000600 "b is an object aggregate means: b is a material entity consisting exactly of a plurality of objects as member_parts at all times at which b exists. (axiom label in BFO2 Reference: [025-004])" xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/025-004"}
+property_value: IAO:0000602 "(forall (x) (if (ObjectAggregate x) (and (MaterialEntity x) (forall (t) (if (existsAt x t) (exists (y z) (and (Object y) (Object z) (memberPartOfAt y x t) (memberPartOfAt z x t) (not (= y z)))))) (not (exists (w t_1) (and (memberPartOfAt w x t_1) (not (Object w)))))))) // axiom label in BFO2 CLIF: [025-004] " xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/025-004"}
+property_value: isDefinedBy http://purl.obolibrary.org/obo/bfo.owl
+
+[Term]
+id: BFO:0000029
+name: site
+is_a: BFO:0000141 ! immaterial entity
+property_value: BFO:0000179 "site" xsd:string
+property_value: BFO:0000180 "Site" xsd:string
+property_value: IAO:0000112 "a hole in the interior of a portion of cheese" xsd:string
+property_value: IAO:0000112 "a rabbit hole" xsd:string
+property_value: IAO:0000112 "an air traffic control region defined in the airspace above an airport" xsd:string
+property_value: IAO:0000112 "Manhattan Canyon)" xsd:string
+property_value: IAO:0000112 "the cockpit of an aircraft" xsd:string
+property_value: IAO:0000112 "the Grand Canyon" xsd:string
+property_value: IAO:0000112 "the hold of a ship" xsd:string
+property_value: IAO:0000112 "the interior of a kangaroo pouch" xsd:string
+property_value: IAO:0000112 "the interior of the trunk of your car" xsd:string
+property_value: IAO:0000112 "the interior of your bedroom" xsd:string
+property_value: IAO:0000112 "the interior of your office" xsd:string
+property_value: IAO:0000112 "the interior of your refrigerator" xsd:string
+property_value: IAO:0000112 "the lumen of your gut" xsd:string
+property_value: IAO:0000112 "the Piazza San Marco" xsd:string
+property_value: IAO:0000112 "your left nostril (a fiat part – the opening – of your left nasal cavity)" xsd:string
+property_value: IAO:0000600 "b is a site means: b is a three-dimensional immaterial entity that is (partially or wholly) bounded by a material entity or it is a three-dimensional immaterial part thereof. (axiom label in BFO2 Reference: [034-002])" xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/034-002"}
+property_value: IAO:0000602 "(forall (x) (if (Site x) (ImmaterialEntity x))) // axiom label in BFO2 CLIF: [034-002] " xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/034-002"}
+property_value: isDefinedBy http://purl.obolibrary.org/obo/bfo.owl
+
+[Term]
+id: BFO:0000031
+name: generically dependent continuant
+def: "b is a generically dependent continuant = Def. b is a continuant that g-depends_on one or more other entities. (axiom label in BFO2 Reference: [074-001])" [] {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/074-001"}
+is_a: BFO:0000002 ! continuant
+property_value: BFO:0000179 "gdc" xsd:string
+property_value: BFO:0000180 "GenericallyDependentContinuant" xsd:string
+property_value: IAO:0000112 "The entries in your database are patterns instantiated as quality instances in your hard drive. The database itself is an aggregate of such patterns. When you create the database you create a particular instance of the generically dependent continuant type database. Each entry in the database is an instance of the generically dependent continuant type IAO: information content entity." xsd:string
+property_value: IAO:0000112 "the pdf file on your laptop, the pdf file that is a copy thereof on my laptop" xsd:string
+property_value: IAO:0000112 "the sequence of this protein molecule; the sequence that is a copy thereof in that protein molecule." xsd:string
+property_value: IAO:0000602 "(iff (GenericallyDependentContinuant a) (and (Continuant a) (exists (b t) (genericallyDependsOnAt a b t)))) // axiom label in BFO2 CLIF: [074-001] " xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/074-001"}
+property_value: isDefinedBy http://purl.obolibrary.org/obo/bfo.owl
+
+[Term]
+id: BFO:0000040
+name: material entity
+is_a: BFO:0000004 ! independent continuant
+disjoint_from: BFO:0000141 ! immaterial entity
+property_value: BFO:0000179 "material" xsd:string
+property_value: BFO:0000180 "MaterialEntity" xsd:string
+property_value: IAO:0000112 "a flame" xsd:string
+property_value: IAO:0000112 "a forest fire" xsd:string
+property_value: IAO:0000112 "a human being" xsd:string
+property_value: IAO:0000112 "a hurricane" xsd:string
+property_value: IAO:0000112 "a photon" xsd:string
+property_value: IAO:0000112 "a puff of smoke" xsd:string
+property_value: IAO:0000112 "a sea wave" xsd:string
+property_value: IAO:0000112 "a tornado" xsd:string
+property_value: IAO:0000112 "an aggregate of human beings." xsd:string
+property_value: IAO:0000112 "an energy wave" xsd:string
+property_value: IAO:0000112 "an epidemic" xsd:string
+property_value: IAO:0000112 "the undetached arm of a human being" xsd:string
+property_value: IAO:0000116 "BFO 2 Reference: Material entities (continuants) can preserve their identity even while gaining and losing material parts. Continuants are contrasted with occurrents, which unfold themselves in successive temporal parts or phases [60" xsd:string
+property_value: IAO:0000116 "BFO 2 Reference: Object, Fiat Object Part and Object Aggregate are not intended to be exhaustive of Material Entity. Users are invited to propose new subcategories of Material Entity." xsd:string
+property_value: IAO:0000116 "BFO 2 Reference: ‘Matter’ is intended to encompass both mass and energy (we will address the ontological treatment of portions of energy in a later version of BFO). A portion of matter is anything that includes elementary particles among its proper or improper parts: quarks and leptons, including electrons, as the smallest particles thus far discovered; baryons (including protons and neutrons) at a higher level of granularity; atoms and molecules at still higher levels, forming the cells, organs, organisms and other material entities studied by biologists, the portions of rock studied by geologists, the fossils studied by paleontologists, and so on.Material entities are three-dimensional entities (entities extended in three spatial dimensions), as contrasted with the processes in which they participate, which are four-dimensional entities (entities extended also along the dimension of time).According to the FMA, material entities may have immaterial entities as parts – including the entities identified below as sites; for example the interior (or ‘lumen’) of your small intestine is a part of your body. BFO 2.0 embodies a decision to follow the FMA here." xsd:string
+property_value: IAO:0000600 "A material entity is an independent continuant that has some portion of matter as proper or improper continuant part. (axiom label in BFO2 Reference: [019-002])" xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/019-002"}
+property_value: IAO:0000601 "every entity of which a material entity is continuant part is also a material entity. (axiom label in BFO2 Reference: [021-002])" xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/021-002"}
+property_value: IAO:0000601 "Every entity which has a material entity as continuant part is a material entity. (axiom label in BFO2 Reference: [020-002])" xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/020-002"}
+property_value: IAO:0000602 "(forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt x y t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [021-002] " xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/021-002"}
+property_value: IAO:0000602 "(forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt y x t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [020-002] " xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/020-002"}
+property_value: IAO:0000602 "(forall (x) (if (MaterialEntity x) (IndependentContinuant x))) // axiom label in BFO2 CLIF: [019-002] " xsd:string {http://purl.obolibrary.org/obo/IAO_0010000="http://purl.obolibrary.org/obo/bfo/axiom/019-002"}
+property_value: isDefinedBy http://purl.obolibrary.org/obo/bfo.owl
+
+[Term]
+id: BFO:0000141
+name: immaterial entity
+is_a: BFO:0000004 ! independent continuant
+property_value: BFO:0000179 "immaterial" xsd:string
+property_value: BFO:0000180 "ImmaterialEntity" xsd:string
+property_value: IAO:0000116 "BFO 2 Reference: Immaterial entities are divided into two subgroups:boundaries and sites, which bound, or are demarcated in relation, to material entities, and which can thus change location, shape and size and as their material hosts move or change shape or size (for example: your nasal passage; the hold of a ship; the boundary of Wales (which moves with the rotation of the Earth) [38, 7, 10" xsd:string
+property_value: isDefinedBy http://purl.obolibrary.org/obo/bfo.owl
+
diff --git a/imports/bfo_import.owl b/imports/bfo_import.owl
index baec420..d0e3934 100644
--- a/imports/bfo_import.owl
+++ b/imports/bfo_import.owl
@@ -1,13 +1,15 @@
-
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
+
+
+
@@ -22,15 +24,134 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -48,8 +169,32 @@
+ 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])
+
+
@@ -57,8 +202,140 @@
+
+ continuant
+ Continuant
+ 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]
+
+
+
+
+
+
+
+
+
+ occurrent
+ Occurrent
+ BFO 2 Reference: every occurrent that is not a temporal or spatiotemporal region is s-dependent on some independent continuant that is not a spatial region
+ BFO 2 Reference: s-dependence obtains between every process and its participants in the sense that, as a matter of necessity, this process could not have existed unless these or those participants existed also. A process may have a succession of participants at different phases of its unfolding. Thus there may be different players on the field at different times during the course of a football game; but the process which is the entire game s-depends_on all of these players nonetheless. Some temporal parts of this process will s-depend_on on only some of the players.
+ Occurrent doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the sum of a process and the process boundary of another process.
+ Simons uses different terminology for relations of occurrents to regions: Denote the spatio-temporal location of a given occurrent e by 'spn[e]' and call this region its span. We may say an occurrent is at its span, in any larger region, and covers any smaller region. Now suppose we have fixed a frame of reference so that we can speak not merely of spatio-temporal but also of spatial regions (places) and temporal regions (times). The spread of an occurrent, (relative to a frame of reference) is the space it exactly occupies, and its spell is likewise the time it exactly occupies. We write 'spr[e]' and `spl[e]' respectively for the spread and spell of e, omitting mention of the frame.
+ An occurrent is an entity that unfolds itself in time or it is the instantaneous boundary of such an entity (for example a beginning or an ending) or it is a temporal or spatiotemporal region which such an entity occupies_temporal_region or occupies_spatiotemporal_region. (axiom label in BFO2 Reference: [077-002])
+ Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001])
+ b is an occurrent entity iff b is an entity that has temporal parts. (axiom label in BFO2 Reference: [079-001])
+ (forall (x) (if (Occurrent x) (exists (r) (and (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion x r))))) // axiom label in BFO2 CLIF: [108-001]
+ (forall (x) (iff (Occurrent x) (and (Entity x) (exists (y) (temporalPartOf y x))))) // axiom label in BFO2 CLIF: [079-001]
+
+ occurrent
+
+
+
+
+ Occurrent doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the sum of a process and the process boundary of another process.
+
+ per discussion with Barry Smith
+
+
+
+
+ Simons uses different terminology for relations of occurrents to regions: Denote the spatio-temporal location of a given occurrent e by 'spn[e]' and call this region its span. We may say an occurrent is at its span, in any larger region, and covers any smaller region. Now suppose we have fixed a frame of reference so that we can speak not merely of spatio-temporal but also of spatial regions (places) and temporal regions (times). The spread of an occurrent, (relative to a frame of reference) is the space it exactly occupies, and its spell is likewise the time it exactly occupies. We write 'spr[e]' and `spl[e]' respectively for the spread and spell of e, omitting mention of the frame.
+
+
+
+
+
+ An occurrent is an entity that unfolds itself in time or it is the instantaneous boundary of such an entity (for example a beginning or an ending) or it is a temporal or spatiotemporal region which such an entity occupies_temporal_region or occupies_spatiotemporal_region. (axiom label in BFO2 Reference: [077-002])
+
+
+
+
+
+ Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001])
+
+
+
+
+
+ b is an occurrent entity iff b is an entity that has temporal parts. (axiom label in BFO2 Reference: [079-001])
+
+
+
+
+
+ (forall (x) (if (Occurrent x) (exists (r) (and (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion x r))))) // axiom label in BFO2 CLIF: [108-001]
+
+
+
+
+
+ (forall (x) (iff (Occurrent x) (and (Entity x) (exists (y) (temporalPartOf y x))))) // axiom label in BFO2 CLIF: [079-001]
+
+
@@ -66,7 +343,27 @@
+
+
+ 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
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
@@ -75,6 +372,195 @@
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]
+
+
+
+
+
+
+
+
+
+ process
+ Process
+ a process of cell-division, \ a beating of the heart
+ a process of meiosis
+ a process of sleeping
+ the course of a disease
+ the flight of a bird
+ the life of an organism
+ your process of aging.
+ p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])
+ BFO 2 Reference: The realm of occurrents is less pervasively marked by the presence of natural units than is the case in the realm of independent continuants. Thus there is here no counterpart of ‘object’. In BFO 1.0 ‘process’ served as such a counterpart. In BFO 2.0 ‘process’ is, rather, the occurrent counterpart of ‘material entity’. Those natural – as contrasted with engineered, which here means: deliberately executed – units which do exist in the realm of occurrents are typically either parasitic on the existence of natural units on the continuant side, or they are fiat in nature. Thus we can count lives; we can count football games; we can count chemical reactions performed in experiments or in chemical manufacturing. We cannot count the processes taking place, for instance, in an episode of insect mating behavior.Even where natural units are identifiable, for example cycles in a cyclical process such as the beating of a heart or an organism’s sleep/wake cycle, the processes in question form a sequence with no discontinuities (temporal gaps) of the sort that we find for instance where billiard balls or zebrafish or planets are separated by clear spatial gaps. Lives of organisms are process units, but they too unfold in a continuous series from other, prior processes such as fertilization, and they unfold in turn in continuous series of post-life processes such as post-mortem decay. Clear examples of boundaries of processes are almost always of the fiat sort (midnight, a time of death as declared in an operating theater or on a death certificate, the initiation of a state of war)
+ (iff (Process a) (and (Occurrent a) (exists (b) (properTemporalPartOf b a)) (exists (c t) (and (MaterialEntity c) (specificallyDependsOnAt a c t))))) // axiom label in BFO2 CLIF: [083-003]
+
+ process
+
+
+
+
+ p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])
+
+
+
+
+
+ (iff (Process a) (and (Occurrent a) (exists (b) (properTemporalPartOf b a)) (exists (c t) (and (MaterialEntity c) (specificallyDependsOnAt a c t))))) // axiom label in BFO2 CLIF: [083-003]
+
+
+
+
+
+
+
+
+
+ realizable
+ RealizableEntity
+ the disposition of this piece of metal to conduct electricity.
+ the disposition of your blood to coagulate
+ the function of your reproductive organs
+ the role of being a doctor
+ the role of this boundary to delineate where Utah and Colorado meet
+ To say that b is a realizable entity is to say that b is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region and is of a type instances of which are realized in processes of a correlated type. (axiom label in BFO2 Reference: [058-002])
+ All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002])
+ (forall (x t) (if (RealizableEntity x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (bearerOfAt y x t))))) // axiom label in BFO2 CLIF: [060-002]
+ (forall (x) (if (RealizableEntity x) (and (SpecificallyDependentContinuant x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (inheresIn x y)))))) // axiom label in BFO2 CLIF: [058-002]
+
+ realizable entity
+
+
+
+
+ To say that b is a realizable entity is to say that b is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region and is of a type instances of which are realized in processes of a correlated type. (axiom label in BFO2 Reference: [058-002])
+
+
+
+
+
+ All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002])
+
+
+
+
+
+ (forall (x t) (if (RealizableEntity x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (bearerOfAt y x t))))) // axiom label in BFO2 CLIF: [060-002]
+
+
+
+
+
+ (forall (x) (if (RealizableEntity x) (and (SpecificallyDependentContinuant x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (inheresIn x y)))))) // axiom label in BFO2 CLIF: [058-002]
+
+
+
+
+
+
+
+
+
+
+ sdc
+ SpecificallyDependentContinuant
+ Reciprocal specifically dependent continuants: the function of this key to open this lock and the mutually dependent disposition of this lock: to be opened by this key
+ of one-sided specifically dependent continuants: the mass of this tomato
+ of relational dependent continuants (multiple bearers): John’s love for Mary, the ownership relation between John and this statue, the relation of authority between John and his subordinates.
+ the disposition of this fish to decay
+ the function of this heart: to pump blood
+ the mutual dependence of proton donors and acceptors in chemical reactions [79
+ the mutual dependence of the role predator and the role prey as played by two organisms in a given interaction
+ the pink color of a medium rare piece of grilled filet mignon at its center
+ the role of being a doctor
+ the shape of this hole.
+ the smell of this portion of mozzarella
+ b is a specifically dependent continuant = Def. b is a continuant & there is some independent continuant c which is not a spatial region and which is such that b s-depends_on c at every time t during the course of b’s existence. (axiom label in BFO2 Reference: [050-003])
+ Specifically dependent continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. We're not sure what else will develop here, but for example there are questions such as what are promises, obligation, etc.
+ (iff (SpecificallyDependentContinuant a) (and (Continuant a) (forall (t) (if (existsAt a t) (exists (b) (and (IndependentContinuant b) (not (SpatialRegion b)) (specificallyDependsOnAt a b t))))))) // axiom label in BFO2 CLIF: [050-003]
+
+ specifically dependent continuant
+
+
+
+
+ b is a specifically dependent continuant = Def. b is a continuant & there is some independent continuant c which is not a spatial region and which is such that b s-depends_on c at every time t during the course of b’s existence. (axiom label in BFO2 Reference: [050-003])
+
+
+
+
+
+ Specifically dependent continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. We're not sure what else will develop here, but for example there are questions such as what are promises, obligation, etc.
+
+ per discussion with Barry Smith
+
+
+
+
+ (iff (SpecificallyDependentContinuant a) (and (Continuant a) (forall (t) (if (existsAt a t) (exists (b) (and (IndependentContinuant b) (not (SpatialRegion b)) (specificallyDependsOnAt a b t))))))) // axiom label in BFO2 CLIF: [050-003]
+
+
+
+
+
+
+
+
+
+ role
+ Role
+ John’s role of husband to Mary is dependent on Mary’s role of wife to John, and both are dependent on the object aggregate comprising John and Mary as member parts joined together through the relational quality of being married.
+ the priest role
+ the role of a boundary to demarcate two neighboring administrative territories
+ the role of a building in serving as a military target
+ the role of a stone in marking a property boundary
+ the role of subject in a clinical trial
+ the student role
+ BFO 2 Reference: One major family of examples of non-rigid universals involves roles, and ontologies developed for corresponding administrative purposes may consist entirely of representatives of entities of this sort. Thus ‘professor’, defined as follows,b instance_of professor at t =Def. there is some c, c instance_of professor role & c inheres_in b at t.denotes a non-rigid universal and so also do ‘nurse’, ‘student’, ‘colonel’, ‘taxpayer’, and so forth. (These terms are all, in the jargon of philosophy, phase sortals.) By using role terms in definitions, we can create a BFO conformant treatment of such entities drawing on the fact that, while an instance of professor may be simultaneously an instance of trade union member, no instance of the type professor role is also (at any time) an instance of the type trade union member role (any more than any instance of the type color is at any time an instance of the type length).If an ontology of employment positions should be defined in terms of roles following the above pattern, this enables the ontology to do justice to the fact that individuals instantiate the corresponding universals – professor, sergeant, nurse – only during certain phases in their lives.
+ b is a role means: b is a realizable entity & b exists because there is some single bearer that is in some special physical, social, or institutional set of circumstances in which this bearer does not have to be& b is not such that, if it ceases to exist, then the physical make-up of the bearer is thereby changed. (axiom label in BFO2 Reference: [061-001])
+ (forall (x) (if (Role x) (RealizableEntity x))) // axiom label in BFO2 CLIF: [061-001]
+
+ role
+
+
+
+
+ b is a role means: b is a realizable entity & b exists because there is some single bearer that is in some special physical, social, or institutional set of circumstances in which this bearer does not have to be& b is not such that, if it ceases to exist, then the physical make-up of the bearer is thereby changed. (axiom label in BFO2 Reference: [061-001])
+
+
+
+
+
+ (forall (x) (if (Role x) (RealizableEntity x))) // axiom label in BFO2 CLIF: [061-001]
+
+
@@ -82,8 +568,59 @@
+ object-aggregate
+ ObjectAggregate
+ a collection of cells in a blood biobank.
+ a swarm of bees is an aggregate of members who are linked together through natural bonds
+ a symphony orchestra
+ an organization is an aggregate whose member parts have roles of specific types (for example in a jazz band, a chess club, a football team)
+ defined by fiat: the aggregate of members of an organization
+ defined through physical attachment: the aggregate of atoms in a lump of granite
+ defined through physical containment: the aggregate of molecules of carbon dioxide in a sealed container
+ defined via attributive delimitations such as: the patients in this hospital
+ the aggregate of bearings in a constant velocity axle joint
+ the aggregate of blood cells in your body
+ the nitrogen atoms in the atmosphere
+ the restaurants in Palo Alto
+ your collection of Meissen ceramic plates.
+ An entity a is an object aggregate if and only if there is a mutually exhaustive and pairwise disjoint partition of a into objects
+ BFO 2 Reference: object aggregates may gain and lose parts while remaining numerically identical (one and the same individual) over time. This holds both for aggregates whose membership is determined naturally (the aggregate of cells in your body) and aggregates determined by fiat (a baseball team, a congressional committee).
+ ISBN:978-3-938793-98-5pp124-158#Thomas Bittner and Barry Smith, 'A Theory of Granular Partitions', in K. Munn and B. Smith (eds.), Applied Ontology: An Introduction, Frankfurt/Lancaster: ontos, 2008, 125-158.
+ b is an object aggregate means: b is a material entity consisting exactly of a plurality of objects as member_parts at all times at which b exists. (axiom label in BFO2 Reference: [025-004])
+ (forall (x) (if (ObjectAggregate x) (and (MaterialEntity x) (forall (t) (if (existsAt x t) (exists (y z) (and (Object y) (Object z) (memberPartOfAt y x t) (memberPartOfAt z x t) (not (= y z)))))) (not (exists (w t_1) (and (memberPartOfAt w x t_1) (not (Object w)))))))) // axiom label in BFO2 CLIF: [025-004]
+
object aggregate
+
+
+
+ An entity a is an object aggregate if and only if there is a mutually exhaustive and pairwise disjoint partition of a into objects
+
+
+
+
+
+ An entity a is an object aggregate if and only if there is a mutually exhaustive and pairwise disjoint partition of a into objects
+
+
+
+
+
+ ISBN:978-3-938793-98-5pp124-158#Thomas Bittner and Barry Smith, 'A Theory of Granular Partitions', in K. Munn and B. Smith (eds.), Applied Ontology: An Introduction, Frankfurt/Lancaster: ontos, 2008, 125-158.
+
+
+
+
+
+ b is an object aggregate means: b is a material entity consisting exactly of a plurality of objects as member_parts at all times at which b exists. (axiom label in BFO2 Reference: [025-004])
+
+
+
+
+
+ (forall (x) (if (ObjectAggregate x) (and (MaterialEntity x) (forall (t) (if (existsAt x t) (exists (y z) (and (Object y) (Object z) (memberPartOfAt y x t) (memberPartOfAt z x t) (not (= y z)))))) (not (exists (w t_1) (and (memberPartOfAt w x t_1) (not (Object w)))))))) // axiom label in BFO2 CLIF: [025-004]
+
+
@@ -91,8 +628,69 @@
+ site
+ Site
+ Manhattan Canyon)
+ a hole in the interior of a portion of cheese
+ a rabbit hole
+ an air traffic control region defined in the airspace above an airport
+ the Grand Canyon
+ the Piazza San Marco
+ the cockpit of an aircraft
+ the hold of a ship
+ the interior of a kangaroo pouch
+ the interior of the trunk of your car
+ the interior of your bedroom
+ the interior of your office
+ the interior of your refrigerator
+ the lumen of your gut
+ your left nostril (a fiat part – the opening – of your left nasal cavity)
+ b is a site means: b is a three-dimensional immaterial entity that is (partially or wholly) bounded by a material entity or it is a three-dimensional immaterial part thereof. (axiom label in BFO2 Reference: [034-002])
+ (forall (x) (if (Site x) (ImmaterialEntity x))) // axiom label in BFO2 CLIF: [034-002]
+
site
+
+
+
+ b is a site means: b is a three-dimensional immaterial entity that is (partially or wholly) bounded by a material entity or it is a three-dimensional immaterial part thereof. (axiom label in BFO2 Reference: [034-002])
+
+
+
+
+
+ (forall (x) (if (Site x) (ImmaterialEntity x))) // axiom label in BFO2 CLIF: [034-002]
+
+
+
+
+
+
+
+
+
+ gdc
+ GenericallyDependentContinuant
+ The entries in your database are patterns instantiated as quality instances in your hard drive. The database itself is an aggregate of such patterns. When you create the database you create a particular instance of the generically dependent continuant type database. Each entry in the database is an instance of the generically dependent continuant type IAO: information content entity.
+ the pdf file on your laptop, the pdf file that is a copy thereof on my laptop
+ the sequence of this protein molecule; the sequence that is a copy thereof in that protein molecule.
+ b is a generically dependent continuant = Def. b is a continuant that g-depends_on one or more other entities. (axiom label in BFO2 Reference: [074-001])
+ (iff (GenericallyDependentContinuant a) (and (Continuant a) (exists (b t) (genericallyDependsOnAt a b t)))) // axiom label in BFO2 CLIF: [074-001]
+
+ generically dependent continuant
+
+
+
+
+ b is a generically dependent continuant = Def. b is a continuant that g-depends_on one or more other entities. (axiom label in BFO2 Reference: [074-001])
+
+
+
+
+
+ (iff (GenericallyDependentContinuant a) (and (Continuant a) (exists (b t) (genericallyDependsOnAt a b t)))) // axiom label in BFO2 CLIF: [074-001]
+
+
@@ -101,8 +699,68 @@
+ material
+ MaterialEntity
+ a flame
+ a forest fire
+ a human being
+ a hurricane
+ a photon
+ a puff of smoke
+ a sea wave
+ a tornado
+ an aggregate of human beings.
+ an energy wave
+ an epidemic
+ the undetached arm of a human being
+ BFO 2 Reference: Material entities (continuants) can preserve their identity even while gaining and losing material parts. Continuants are contrasted with occurrents, which unfold themselves in successive temporal parts or phases [60
+ BFO 2 Reference: Object, Fiat Object Part and Object Aggregate are not intended to be exhaustive of Material Entity. Users are invited to propose new subcategories of Material Entity.
+ BFO 2 Reference: ‘Matter’ is intended to encompass both mass and energy (we will address the ontological treatment of portions of energy in a later version of BFO). A portion of matter is anything that includes elementary particles among its proper or improper parts: quarks and leptons, including electrons, as the smallest particles thus far discovered; baryons (including protons and neutrons) at a higher level of granularity; atoms and molecules at still higher levels, forming the cells, organs, organisms and other material entities studied by biologists, the portions of rock studied by geologists, the fossils studied by paleontologists, and so on.Material entities are three-dimensional entities (entities extended in three spatial dimensions), as contrasted with the processes in which they participate, which are four-dimensional entities (entities extended also along the dimension of time).According to the FMA, material entities may have immaterial entities as parts – including the entities identified below as sites; for example the interior (or ‘lumen’) of your small intestine is a part of your body. BFO 2.0 embodies a decision to follow the FMA here.
+ A material entity is an independent continuant that has some portion of matter as proper or improper continuant part. (axiom label in BFO2 Reference: [019-002])
+ Every entity which has a material entity as continuant part is a material entity. (axiom label in BFO2 Reference: [020-002])
+ every entity of which a material entity is continuant part is also a material entity. (axiom label in BFO2 Reference: [021-002])
+ (forall (x) (if (MaterialEntity x) (IndependentContinuant x))) // axiom label in BFO2 CLIF: [019-002]
+ (forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt x y t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [021-002]
+ (forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt y x t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [020-002]
+
material entity
+
+
+
+ A material entity is an independent continuant that has some portion of matter as proper or improper continuant part. (axiom label in BFO2 Reference: [019-002])
+
+
+
+
+
+ Every entity which has a material entity as continuant part is a material entity. (axiom label in BFO2 Reference: [020-002])
+
+
+
+
+
+ every entity of which a material entity is continuant part is also a material entity. (axiom label in BFO2 Reference: [021-002])
+
+
+
+
+
+ (forall (x) (if (MaterialEntity x) (IndependentContinuant x))) // axiom label in BFO2 CLIF: [019-002]
+
+
+
+
+
+ (forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt x y t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [021-002]
+
+
+
+
+
+ (forall (x) (if (and (Entity x) (exists (y t) (and (MaterialEntity y) (continuantPartOfAt y x t)))) (MaterialEntity x))) // axiom label in BFO2 CLIF: [020-002]
+
+
@@ -110,11 +768,15 @@
+ immaterial
+ ImmaterialEntity
+ BFO 2 Reference: Immaterial entities are divided into two subgroups:boundaries and sites, which bound, or are demarcated in relation, to material entities, and which can thus change location, shape and size and as their material hosts move or change shape or size (for example: your nasal passage; the hold of a ship; the boundary of Wales (which moves with the rotation of the Earth) [38, 7, 10
+
immaterial entity
-
+
diff --git a/imports/envo_import.obo b/imports/envo_import.obo
new file mode 100644
index 0000000..afdec1c
--- /dev/null
+++ b/imports/envo_import.obo
@@ -0,0 +1,72 @@
+format-version: 1.2
+data-version: pco/imports/envo_import/pco/releases/2020-02-13/envo_import.owl/pco/imports/envo_import.obo
+default-namespace: ENVO
+remark: ENVO is an ontology which represents knowledge about environments,environmental processes, ecosystems, habitats, and related entities. It interoperates with other ontologies in the OBO Foundry and Library. \n\nNew terms or revisions can be requested at https://github.com/EnvironmentOntology/envo/issues/ \n\n\nPlease see www.environmentontology.org for more information and citations.
+remark: Includes Ontology(OntologyID(OntologyIRI() VersionIRI())) [Axioms: 186 Logical Axioms: 30]
+remark: Includes Ontology(OntologyID(OntologyIRI() VersionIRI())) [Axioms: 114 Logical Axioms: 19]
+remark: Includes Ontology(OntologyID(OntologyIRI() VersionIRI())) [Axioms: 132 Logical Axioms: 23]
+remark: Includes Ontology(OntologyID(OntologyIRI() VersionIRI())) [Axioms: 40 Logical Axioms: 6]
+remark: Includes Ontology(OntologyID(OntologyIRI() VersionIRI())) [Axioms: 21 Logical Axioms: 2]
+ontology: pco/imports/envo_import.obo
+property_value: http://purl.org/dc/elements/1.1/creator http://orcid.org/0000-0002-4366-3088 xsd:string
+property_value: http://purl.org/dc/elements/1.1/creator http://orcid.org/0000-0002-6601-2165 xsd:string
+property_value: http://purl.org/dc/elements/1.1/creator http://orcid.org/0000-0002-8343-612X xsd:string
+property_value: http://purl.org/dc/elements/1.1/creator http://orcid.org/0000-0003-1604-1512 xsd:string
+property_value: http://purl.org/dc/elements/1.1/creator https://orcid.org/0000-0002-6962-2807 xsd:string
+
+[Term]
+id: ENVO:00000070
+name: construction
+def: "A feature that has been constructed by deliberate human effort." [MA:ma]
+synonym: "constructed feature" EXACT []
+is_a: BFO:0000040
+is_a: ENVO:00002297 ! environmental feature
+is_a: ENVO:01000813 ! astronomical body part
+property_value: IAO:0000116 "\"constructed\" should probably be made something like a quality and this class obsoleted or filled only by inference" xsd:string
+
+[Term]
+id: ENVO:00002297
+name: environmental feature
+def: "A material entity which determines an environmental system." [DOI:10.1186/2041-1480-4-43, NM:nm, ORCID:0000-0002-4366-3088]
+comment: A material entity determines an environmental system when its removal would cause the collapse of that system. For example, a seamount determines a seamount environment, acting as its 'hub'. This class is currently being aligned to the Basic Formal Ontology. Following this alignment, its definition and the definitions of its subclasses will be revised.
+is_a: BFO:0000040
+
+[Term]
+id: ENVO:01000254
+name: environmental system
+def: "A system which has the disposition to environ one or more material entities." [DOI:10.1186/2041-1480-4-43]
+comment: In ENVO's alignment with the Basic Formal Ontology, this class is being considered as a subclass of a proposed BFO class "system". The relation "environed_by" is also under development. Roughly, a system which includes a material entity (at least partially) within its site and causally influences that entity may be considered to environ it. Following the completion of this alignment, this class' definition and the definitions of its subclasses will be revised.
+synonym: "environment" EXACT []
+xref: EcoLexicon:environment
+is_a: BFO:0000040
+creation_date: 2013-09-23T16:04:08Z
+
+[Term]
+id: ENVO:01000744
+name: human dwelling
+def: "A self-contained constructed feature used by one or more households as a home, such as a house, apartment, mobile home, houseboat or other 'substantial' structure. A dwelling typically includes nearby outbuildings, sheds etc. within the curtilage of the property, excluding any 'open fields beyond'. It has significance in relation to search and seizure, conveyancing of real property, burglary, trespass, and land use planning." [https://en.wikipedia.org/wiki/Dwelling accessed 11/25/2015]
+is_a: ENVO:00000070 ! construction
+property_value: IAO:0000116 "See https://github.com/EnvironmentOntology/envo/issues/264 for discussion. This definition needs a lot of clean up and links to household and related classes must be made to form logical definitions for inference to work." xsd:string
+property_value: IAO:0000116 "Subclasses will be added by inference." xsd:string
+
+[Term]
+id: ENVO:01000813
+name: astronomical body part
+def: "A material part of an astronomical body." []
+subset: envoAstro
+subset: envoPolar
+is_a: BFO:0000040
+is_a: ENVO:00002297 ! environmental feature
+
+[Term]
+id: ENVO:01001369
+name: tidal mangrove shrubland
+alt_id: CMECS:577
+def: "A shrubland biome which is densely vegetated by dwarf or short mangroves (and associates) that are generally less than 6 meters in height, is tidally influenced, is located in tropical or subtropical areas." []
+comment: This class aligns to the Coastal and Marine Ecological Classification Standard (CMECS). In ENVO, we may adapt the definition for consistency, but the semantics (meaning) of the term should be unaffected. Please consult the CMECS catalogue (https://cmecscatalog.org/) for authoritative and semantically unconstrained definitions. CMECS provides the following notes: "Commonly found on intertidal mud flats along the shores of estuaries. Tidal mangrove shrublands may include immature stands or stunted mature trees that indicate a harsh growing environment. Areas characterized by tall mangroves (> 6 meters) are placed in the Tidal Mangrove Forest Biotic Group. Where tidal amplitude is relatively low, the vegetation forms narrow bands along the coastal plains, and it rarely penetrates inland more than several kilometers along rivers. Where tidal amplitude is greater, mangroves extend further inland along river courses, forming extensive stands in the major river deltas. Also, mangrove cays may occur within the lagoon complex of barrier reefs. The list of biotic communities for this group is long: a few examples are provided below, and the complete list is available in Appendix F"
+subset: envoCmecs
+subset: envoMarine
+xref: https://cmecscatalog.org/cmecs/classification/unit/577.html
+is_a: ENVO:01000254 ! environmental system
+created_by: http://orcid.org/0000-0002-4366-3088
+
diff --git a/imports/envo_import.owl b/imports/envo_import.owl
index 0f48b7b..69bb002 100644
--- a/imports/envo_import.owl
+++ b/imports/envo_import.owl
@@ -1,92 +1,41 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+ xmlns:oboInOwl="http://www.geneontology.org/formats/oboInOwl#">
+
+
+ http://orcid.org/0000-0002-4366-3088
+ http://orcid.org/0000-0002-6601-2165
+ http://orcid.org/0000-0002-8343-612X
+ http://orcid.org/0000-0003-1604-1512
+ https://orcid.org/0000-0002-6962-2807
+ ENVO
+ ENVO is an ontology which represents knowledge about environments,environmental processes, ecosystems, habitats, and related entities. It interoperates with other ontologies in the OBO Foundry and Library.
-
+New terms or revisions can be requested at https://github.com/EnvironmentOntology/envo/issues/
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+Please see www.environmentontology.org for more information and citations.
+ Includes Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/envo/modules/chemical_concentration.owl>) VersionIRI(<null>))) [Axioms: 186 Logical Axioms: 30]
+ Includes Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/envo/modules/entity_attribute.owl>) VersionIRI(<null>))) [Axioms: 114 Logical Axioms: 19]
+ Includes Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/envo/modules/entity_attribute_location.owl>) VersionIRI(<null>))) [Axioms: 132 Logical Axioms: 23]
+ Includes Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/envo/modules/entity_quality_location.owl>) VersionIRI(<null>))) [Axioms: 40 Logical Axioms: 6]
+ Includes Ontology(OntologyID(OntologyIRI(<http://purl.obolibrary.org/obo/envo/modules/process_attribute.owl>) VersionIRI(<null>))) [Axioms: 21 Logical Axioms: 2]
+
@@ -94,453 +43,107 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- true
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- true
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- true
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- true
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
-
-
-
-
-
+
+ definition
+
-
+
-
-
-
-
+
+ editor note
+
-
+
-
-
-
-
+
-
+
-
-
-
-
-
+
-
+
-
+
-
+
-
-
-
-
-
+
-
+
-
-
-
-
-
-
-
-
+
+ has_alternative_id
+
-
+
-
-
-
+
-
+
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- true
-
+
+ has_exact_synonym
+
-
+
-
-
-
-
+
+ has_obo_namespace
+
-
+
-
-
-
+
+ has_related_synonym
+
-
+
-
-
-
-
-
-
-
-
+
-
+
-
-
-
-
-
+
+ in_subset
+
-
+
-
-
-
+
-
+
-
+
@@ -555,1638 +158,120 @@
-
-
-
- entity
-
-
-
-
-
-
-
-
-
- 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.
- continuant
-
-
-
-
-
+
-
-
- An entity that has temporal parts and that happens, unfolds or develops through time.
- occurrent
-
+
-
+
-
-
-
- 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])
- independent continuant
+
+
+
+
+ A feature that has been constructed by deliberate human effort.
+ "constructed" should probably be made something like a quality and this class obsoleted or filled only by inference
+ constructed feature
+ construction
-
+
- 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])
-
+ A feature that has been constructed by deliberate human effort.
+ MA:ma
-
+
-
-
- An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t.
- p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])
- process
+
+
+ A material entity which determines an environmental system.
+ ENVO
+ ENVO:00002297
+ A material entity determines an environmental system when its removal would cause the collapse of that system. For example, a seamount determines a seamount environment, acting as its 'hub'. This class is currently being aligned to the Basic Formal Ontology. Following this alignment, its definition and the definitions of its subclasses will be revised.
+ environmental feature
-
+
- p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])
-
+ A material entity which determines an environmental system.
+ DOI:10.1186/2041-1480-4-43
+ NM:nm
+ ORCID:0000-0002-4366-3088
-
-
-
-
- quality
-
-
-
-
-
+
-
-
- A continuant that inheres in or is borne by other entities. Every instance of A requires some specific instance of B which must always be the same.
- b is a relational specifically dependent continuant = Def. b is a specifically dependent continuant and there are n > 1 independent continuants c1, … cn which are not spatial regions are such that for all 1 i < j n, ci and cj share no common parts, are such that for each 1 i n, b s-depends_on ci at every time t during the course of b’s existence (axiom label in BFO2 Reference: [131-004])
- b is a specifically dependent continuant = Def. b is a continuant & there is some independent continuant c which is not a spatial region and which is such that b s-depends_on c at every time t during the course of b’s existence. (axiom label in BFO2 Reference: [050-003])
- specifically dependent continuant
+
+
+ A system which has the disposition to environ one or more material entities.
+ 2013-09-23T16:04:08Z
+ EcoLexicon:environment
+ environment
+ In ENVO's alignment with the Basic Formal Ontology, this class is being considered as a subclass of a proposed BFO class "system". The relation "environed_by" is also under development. Roughly, a system which includes a material entity (at least partially) within its site and causally influences that entity may be considered to environ it. Following the completion of this alignment, this class' definition and the definitions of its subclasses will be revised.
+ environmental system
-
+
- b is a specifically dependent continuant = Def. b is a continuant & there is some independent continuant c which is not a spatial region and which is such that b s-depends_on c at every time t during the course of b’s existence. (axiom label in BFO2 Reference: [050-003])
-
+ A system which has the disposition to environ one or more material entities.
+ DOI:10.1186/2041-1480-4-43
-
-
-
-
- A continuant that is dependent on one or other independent continuant bearers. For every instance of A requires some instance of (an independent continuant type) B but which instance of B serves can change from time to time.
- b is a generically dependent continuant = Def. b is a continuant that g-depends_on one or more other entities. (axiom label in BFO2 Reference: [074-001])
- generically dependent continuant
-
-
-
-
-
-
-
-
- An independent continuant that is spatially extended whose identity is independent of that of other entities and can be maintained through time.
- material entity
-
-
-
-
-
+
-
-
- anatomical structure
+
+
+ A self-contained constructed feature used by one or more households as a home, such as a house, apartment, mobile home, houseboat or other 'substantial' structure. A dwelling typically includes nearby outbuildings, sheds etc. within the curtilage of the property, excluding any 'open fields beyond'. It has significance in relation to search and seizure, conveyancing of real property, burglary, trespass, and land use planning.
+ See https://github.com/EnvironmentOntology/envo/issues/264 for discussion. This definition needs a lot of clean up and links to household and related classes must be made to form logical definitions for inference to work.
+ Subclasses will be added by inference.
+ human dwelling
+
+
+
+ A self-contained constructed feature used by one or more households as a home, such as a house, apartment, mobile home, houseboat or other 'substantial' structure. A dwelling typically includes nearby outbuildings, sheds etc. within the curtilage of the property, excluding any 'open fields beyond'. It has significance in relation to search and seizure, conveyancing of real property, burglary, trespass, and land use planning.
+ https://en.wikipedia.org/wiki/Dwelling accessed 11/25/2015
+
-
+
-
+
- material anatomical entity
+
+ A material part of an astronomical body.
+ envoAstro
+ envoPolar
+ astronomical body part
-
+
-
-
- macroscopic spatial feature
- geographic feature
+
+
+ A shrubland biome which is densely vegetated by dwarf or short mangroves (and associates) that are generally less than 6 meters in height, is tidally influenced, is located in tropical or subtropical areas.
+ http://orcid.org/0000-0002-4366-3088
+ CMECS:577
+ https://cmecscatalog.org/cmecs/classification/unit/577.html
+ envoCmecs
+ envoMarine
+ This class aligns to the Coastal and Marine Ecological Classification Standard (CMECS). In ENVO, we may adapt the definition for consistency, but the semantics (meaning) of the term should be unaffected. Please consult the CMECS catalogue (https://cmecscatalog.org/) for authoritative and semantically unconstrained definitions. CMECS provides the following notes: "Commonly found on intertidal mud flats along the shores of estuaries. Tidal mangrove shrublands may include immature stands or stunted mature trees that indicate a harsh growing environment. Areas characterized by tall mangroves (> 6 meters) are placed in the Tidal Mangrove Forest Biotic Group. Where tidal amplitude is relatively low, the vegetation forms narrow bands along the coastal plains, and it rarely penetrates inland more than several kilometers along rivers. Where tidal amplitude is greater, mangroves extend further inland along river courses, forming extensive stands in the major river deltas. Also, mangrove cays may occur within the lagoon complex of barrier reefs. The list of biotic communities for this group is long: a few examples are provided below, and the complete list is available in Appendix F"
+ tidal mangrove shrubland
-
-
-
-
-
-
-
- An anthropogenic geographic feature is a geographic feature
-resulting from the influence of human beings on nature.
- man-made feature
- manmade feature
- anthropogenic geographic feature
-
-
-
-
- An anthropogenic geographic feature is a geographic feature
-resulting from the influence of human beings on nature.
- ORCID:0000-0002-4366-3088
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- A feature that has been constructed by deliberate human effort.
- constructed feature
- construction
-
-
-
-
- A feature that has been constructed by deliberate human effort.
- MA:ma
-
-
-
-
-
-
-
-
- An environmental feature that is, or can be, contained and is predominantly composed of one or a few types of stuff.
- mesoscopic physical object
-
-
-
-
- An environmental feature that is, or can be, contained and is predominantly composed of one or a few types of stuff.
- MA:ma
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- A material entity which determines an environmental system.
- environmental feature
-
-
-
-
- A material entity which determines an environmental system.
- DOI:10.1186/2041-1480-4-43
- NM:nm
- ORCID:0000-0002-4366-3088
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- A material entity that has been processed by humans or their technology in any way, including intermediate products as well as final products.
- manufactured good
- manufactured product
-
-
-
-
- A material entity that has been processed by humans or their technology in any way, including intermediate products as well as final products.
- https://en.wikipedia.org/wiki/Manufactured_product
-
-
-
-
-
-
-
-
- anthropogenic abiotic mesoscopic feature
-
-
-
-
-
-
-
-
- A portion of environmental material is a fiat object which forms the medium or part of the medium of an environmental system.
- portion of environmental material
- environmental material
-
-
-
-
- A portion of environmental material is a fiat object which forms the medium or part of the medium of an environmental system.
- DOI:10.1186/2041-1480-4-43
- MA:ma
- ORCID:0000-0002-4366-3088
- URL:http://ontology.buffalo.edu/smith/articles/niches.html
-
-
-
-
-
-
-
-
- abiotic mesoscopic physical object
-
-
-
-
-
-
-
-
- A system which has the disposition to environ one or more material entities.
- environment
- environmental system
-
-
-
-
- A system which has the disposition to environ one or more material entities.
- DOI:10.1186/2041-1480-4-43
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- An anthropogenic environment is an environmental system which is the product of human activity.
- anthropogenic environment
-
-
-
-
-
-
-
-
- Outer space is a hard vacuum containing a low density of particles, predominantly a plasma of hydrogen and helium as well as electromagnetic radiation, magnetic fields, neutrinos, dust and cosmic rays that exists between celestial bodies.
- space
- outer space
-
-
-
-
- Outer space is a hard vacuum containing a low density of particles, predominantly a plasma of hydrogen and helium as well as electromagnetic radiation, magnetic fields, neutrinos, dust and cosmic rays that exists between celestial bodies.
- https://en.wikipedia.org/wiki/Outer_space
-
-
-
-
-
-
-
-
- A self-contained constructed feature used by one or more households as a home, such as a house, apartment, mobile home, houseboat or other 'substantial' structure. A dwelling typically includes nearby outbuildings, sheds etc. within the curtilage of the property, excluding any 'open fields beyond'. It has significance in relation to search and seizure, conveyancing of real property, burglary, trespass, and land use planning.
- human dwelling
-
-
-
-
- A self-contained constructed feature used by one or more households as a home, such as a house, apartment, mobile home, houseboat or other 'substantial' structure. A dwelling typically includes nearby outbuildings, sheds etc. within the curtilage of the property, excluding any 'open fields beyond'. It has significance in relation to search and seizure, conveyancing of real property, burglary, trespass, and land use planning.
- https://en.wikipedia.org/wiki/Dwelling accessed 11/25/2015
-
-
-
-
-
-
-
-
- An object which is naturally occuring, bound together by gravitational or electromagnetic forces, and surrounded by space.
- celestial body
- astronomical body
-
-
-
-
- An object which is naturally occuring, bound together by gravitational or electromagnetic forces, and surrounded by space.
- https://en.wikipedia.org/wiki/Astronomical_object
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- 1
-
-
-
- An object which is composed of one or more gravitationally bound structures that are associated with a position in space.
- celestial object
- astronomical object
-
-
-
-
- An object which is composed of one or more gravitationally bound structures that are associated with a position in space.
- https://en.wikipedia.org/wiki/Astronomical_object
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- A material part of an astronomical body.
- astronomical body part
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- A biosphere is an environmental system which includes, as parts, all the living entities within the gravitational sphere of influence of an astronomical body, and the non-living and dead entities which they interact with.
- biosphere
-
-
-
-
- A biosphere is an environmental system which includes, as parts, all the living entities within the gravitational sphere of influence of an astronomical body, and the non-living and dead entities which they interact with.
- http://www.biology-online.org/dictionary/Biosphere
- https://en.wikipedia.org/wiki/Biosphere
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- An environmental system in which minimal to no anthropisation has occurred and non-human agents are the primary determinants of the system's dynamics and composition.
- natural environment
-
-
-
-
- An environmental system in which minimal to no anthropisation has occurred and non-human agents are the primary determinants of the system's dynamics and composition.
- https://en.wikipedia.org/wiki/Anthropization
- https://en.wikipedia.org/wiki/Natural_environment
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- A process during which a natural environmental system is altered by human action.
- anthropization
- anthropisation
-
-
-
-
- A process during which a natural environmental system is altered by human action.
- https://en.wikipedia.org/wiki/Anthropization
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- An environmental system which includes, as parts, all the entities which have been constructed or manufactured by humans or their technology within the gravitational sphere of influence of an astronomical body.
- technosphere
-
-
-
-
- An environmental system which includes, as parts, all the entities which have been constructed or manufactured by humans or their technology within the gravitational sphere of influence of an astronomical body.
- http://dx.doi.org/10.1177/2053019616677743
- http://www.yourdictionary.com/technosphere
- https://www.sciencedaily.com/releases/2016/11/161130085021.htm
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- A planned process during which raw or recycled materials are transformed into products for use or sale using labour and machines, tools, chemical and biological processing, or formulation.
- manufacturing process
-
-
-
-
- A planned process during which raw or recycled materials are transformed into products for use or sale using labour and machines, tools, chemical and biological processing, or formulation.
- https://en.wikipedia.org/wiki/Manufacturing
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- An process during which natural or manufactured materials and products are processed and arranged by humans or their technology into structures.
- construction process
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- An environmental system which is determined by materials bearing roughly homogeneous qualities.
- environmental system determined by a quality
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- An environmental system within which an environmental material strongly influences the system's composition and properties.
- environmental system determined by a material
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- An environmental system which is determined by a living organism.
- host-associated environment
- environmental system determined by an organism
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- An environmental system determined by an animal.
- animal environment
- Metazoan-associated environment
- animal-associated environment
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- An environmental system determined by part of a living or dead animal, or a whole small animal.
- environment associated with an animal part or small animal
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- An environmental system determined by part of a living or dead plant, or a whole small plant.
- environment associated with a plant part or small plant
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- An environmental system which includes both living and non-living components.
- ecosystem
-
-
-
-
- An environmental system which includes both living and non-living components.
- https://en.wikipedia.org/wiki/Ecosystem
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- A process in which includes the components of an environmental system as participants.
- environmental system process
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- An environmental process which is driven by the action of humans.
- anthropogenic environmental process
-
-
-
-
-
-
-
-
- Any process specifically pertinent to the functioning of integrated living units: cells, tissues, organs, and organisms. A process is a collection of molecular events with a defined beginning and end.
- biological process
- physiological process
- biological_process
-
-
-
-
-
-
-
-
- all
- root
-
-
-
-
- all
-
-
-
-
-
-
-
-
-
- Teleostomi
-
-
-
-
-
-
-
-
- bony vertebrates
- Euteleostomi
-
-
-
-
-
-
-
-
- biota
- cellular organisms
-
-
-
-
- biota
-
-
-
-
-
-
-
-
-
- Dipnotetrapodomorpha
-
-
-
-
-
-
-
-
- Boreotheria
- Boreoeutheria
-
-
-
-
-
-
-
-
- Homo/Pan/Gorilla group
- Homininae
-
-
-
-
-
-
-
-
- eucaryotes
- eukaryotes
- Eucarya
- Eucaryotae
- Eukarya
- Eukaryotae
- eukaryotes
- Eukaryota
-
-
-
-
- eucaryotes
-
-
-
-
-
- eukaryotes
-
-
-
-
-
- Eucarya
-
-
-
-
-
- Eucaryotae
-
-
-
-
-
- Eukarya
-
-
-
-
-
- Eukaryotae
-
-
-
-
-
- eukaryotes
-
-
-
-
-
-
-
-
-
- Euarchontoglires
-
-
-
-
-
-
-
-
- Anthropoidea
- Simiiformes
-
-
-
-
-
-
-
-
- ape
- apes
- Hominoidea
-
-
-
-
-
-
-
-
- tetrapods
- Tetrapoda
-
-
-
-
-
-
-
-
- amniotes
- Amniota
-
-
-
-
-
-
-
-
- Theria
- Theria <Mammalia>
-
-
-
-
-
-
-
-
- Fungi/Metazoa group
- opisthokonts
- Opisthokonta
-
-
-
-
-
-
-
-
- metazoans
- multicellular animals
- Animalia
- animals
- Metazoa
-
-
-
-
-
-
-
-
- Bilateria
-
-
-
-
-
-
-
-
- deuterostomes
- Deuterostomia
-
-
-
-
-
-
-
-
- Haplorrhini
-
-
-
-
-
-
-
-
- mammals
- mammals
- Mammalia
-
-
-
-
-
-
-
-
- Eumetazoa
-
-
-
-
-
-
-
-
- chordates
- chordates
- Chordata
-
-
-
-
-
-
-
-
- Vertebrata
- vertebrates
- vertebrates
- Vertebrata <Metazoa>
-
-
-
-
-
-
-
-
- Gnathostomata
- jawed vertebrates
- Gnathostomata <vertebrate>
-
-
-
-
-
-
-
-
- Sarcopterygii
-
-
-
-
-
-
-
-
- Craniata
- Craniata <chordata>
-
-
-
-
-
-
-
-
- eutherian mammals
- placental mammals
- placentals
- Placentalia
- placentals
- Eutheria
-
-
-
-
-
-
-
-
- primate
- Primata
- primates
- Primates
-
-
-
-
-
-
-
-
- Catarrhini
-
-
-
-
-
-
-
-
- great apes
- Pongidae
- Hominidae
-
-
-
-
-
-
-
-
- Homo
-
-
-
-
-
-
-
-
- human
- man
- humans
- Homo sapiens
-
-
-
-
-
-
-
-
- A dependent entity that inheres in a bearer by virtue of how the bearer is related to other entities
- trait
- quality
-
-
-
-
-
-
-
-
-
- A quality of a single physical entity inhering in the bearer by virtue of the bearer's size or shape or structure.
- morphology
-
-
-
-
-
-
-
-
- qualitative
-
-
-
-
-
-
-
-
- A quality inhering in a bearer by virtue of the whether the bearer differs from normal or average.
- deviation(from_normal)
-
-
-
-
-
-
-
-
- A morphology quality inhering in a bearer by virtue of the bearer's physical magnitude.
- size
-
-
-
-
-
-
-
-
-
- A size quality which is relatively low.
- hypoplasia
- underdeveloped
- reduced
- small
- tiny
- decreased size
-
-
-
-
-
-
-
-
- A quality which inheres in a continuant.
- monadic quality of a continuant
- multiply inhering quality of a physical entity
- quality of a continuant
- quality of a single physical entity
- quality of an object
- quality of continuant
- monadic quality of an object
- monadic quality of continuant
- physical object quality
-
-
-
-
-
-
-
-
- A quality that has a value that is decreased compared to normal or average.
- decreased quality
-
-
-
-
-
-
-
-
-
- A quality of an object that has a value that is decreased compared to normal or average.
- decreased object quality
-
-
-
-
-
-
-
- A material entity that consists of two or more organisms, viruses, or viroids.
- collection of organisms
-
-
-
-
-
-
-
-
- A plant structure (PO:0005679) which is a whole organism.
- genet (broad)
- ramet (broad)
- planta entera (Spanish, exact)
- 植物体全体 (Japanese, exact)
- bush (narrow)
- frutex (narrow)
- frutices (narrow)
- gametophyte (narrow)
- herb (narrow)
- liana (narrow)
- prothalli (narrow)
- prothallium (narrow)
- prothallus (narrow)
- seedling (narrow)
- shrub (narrow)
- sporophyte (narrow)
- suffrutex (narrow)
- suffrutices (narrow)
- tree (narrow)
- vine (narrow)
- woody clump (narrow)
- clonal colony (related)
- colony (related)
- whole plant
-
-
-
-
-
-
-
-
- An anatomical structure that is or was part of a plant, or was derived from a part of a plant.
- estructura vegetal (Spanish, exact)
- 植物 構造 (Japanese, exact)
- plant structure
-
-
-
-
-
-
-
-
- An anatomical entity that is or was part of a plant.
- entidad anatómica vegetal (Spanish, exact)
- 植物 解剖学(形態)的実体 (Japanese, exact)
- plant anatomical entity
-
-
-
-
-
-
-
-
- A material entity consisting of multiple components that are causally integrated.
- system
-
-
-
-
-
-
-
-
- Biological entity that is either an individual member of a biological species or constitutes the structural organization of an individual member of a biological species.
- anatomical entity
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
+
diff --git a/imports/go_import.obo b/imports/go_import.obo
new file mode 100644
index 0000000..b44e307
--- /dev/null
+++ b/imports/go_import.obo
@@ -0,0 +1,119 @@
+format-version: 1.2
+data-version: pco/releases/2020-02-13/go_import.obo
+ontology: pco/imports/go_import.obo
+
+[Term]
+id: GO:0007610
+name: behavior
+namespace: biological_process
+alt_id: GO:0044708
+def: "The internally coordinated responses (actions or inactions) of animals (individuals or groups) to internal or external stimuli, via a mechanism that involves nervous system activity." [GOC:ems, GOC:jl, ISBN:0395448956, PMID:20160973]
+comment: 1. Note that this term is in the subset of terms that should not be used for direct gene product annotation. Instead, select a child term or, if no appropriate child term exists, please request a new term. Direct annotations to this term may be amended during annotation reviews.\n2. While a broader definition of behavior encompassing plants and single cell organisms would be justified on the basis of some usage (see PMID:20160973 for discussion), GO uses a tight definition that limits behavior to animals and to responses involving the nervous system, excluding plant responses that GO classifies under development, and responses of unicellular organisms that has general classifications for covering the responses of cells in multicellular organisms (e.g. cell chemotaxis).
+subset: gocheck_do_not_manually_annotate
+subset: goslim_agr
+subset: goslim_flybase_ribbon
+synonym: "behavioral response to stimulus" EXACT []
+synonym: "behaviour" EXACT []
+synonym: "behavioural response to stimulus" EXACT []
+synonym: "single-organism behavior" RELATED []
+xref: Wikipedia:Behavior
+is_a: GO:0008150 ! biological_process
+property_value: isDefinedBy http://purl.obolibrary.org/obo/go.owl
+created_by: janelomax
+creation_date: 2012-09-20T14:06:08Z
+
+[Term]
+id: GO:0008150
+name: biological_process
+namespace: biological_process
+alt_id: GO:0000004
+alt_id: GO:0007582
+alt_id: GO:0044699
+def: "A biological process represents a specific objective that the organism is genetically programmed to achieve. Biological processes are often described by their outcome or ending state, e.g., the biological process of cell division results in the creation of two daughter cells (a divided cell) from a single parent cell. A biological process is accomplished by a particular set of molecular functions carried out by specific gene products (or macromolecular complexes), often in a highly regulated manner and in a particular temporal sequence." [GOC:pdt]
+comment: Note that, in addition to forming the root of the biological process ontology, this term is recommended for use for the annotation of gene products whose biological process is unknown. When this term is used for annotation, it indicates that no information was available about the biological process of the gene product annotated as of the date the annotation was made; the evidence code "no data" (ND), is used to indicate this.
+subset: goslim_aspergillus
+subset: goslim_candida
+subset: goslim_chembl
+subset: goslim_generic
+subset: goslim_metagenomics
+subset: goslim_pir
+subset: goslim_plant
+subset: goslim_pombe
+subset: goslim_yeast
+synonym: "biological process" EXACT []
+synonym: "physiological process" EXACT []
+synonym: "single organism process" RELATED []
+synonym: "single-organism process" RELATED []
+xref: Wikipedia:Biological_process
+property_value: isDefinedBy http://purl.obolibrary.org/obo/go.owl
+created_by: janelomax
+creation_date: 2012-09-19T15:05:24Z
+
+[Term]
+id: GO:0035176
+name: social behavior
+namespace: biological_process
+def: "Behavior directed towards society, or taking place between members of the same species. Occurs predominantly, or only, in individuals that are part of a group." [GOC:jh2, PMID:12848939, Wikipedia:Social_behavior]
+comment: Behavior such as predation which involves members of different species is not social. Communication between members of different species is also not social behavior.
+synonym: "cooperative behavior" RELATED []
+synonym: "social behaviour" EXACT []
+xref: Wikipedia:Social_behavior
+is_a: GO:0051703 ! intraspecies interaction between organisms
+is_a: GO:0051705 ! multi-organism behavior
+property_value: isDefinedBy http://purl.obolibrary.org/obo/go.owl
+
+[Term]
+id: GO:0044419
+name: interspecies interaction between organisms
+namespace: biological_process
+def: "Any process in which an organism has an effect on an organism of a different species." [GOC:cc]
+subset: goslim_candida
+subset: goslim_pir
+synonym: "interaction with another species" EXACT []
+synonym: "interspecies interaction" EXACT []
+synonym: "interspecies interaction with other organisms" EXACT []
+is_a: GO:0051704 ! multi-organism process
+property_value: isDefinedBy http://purl.obolibrary.org/obo/go.owl
+
+[Term]
+id: GO:0051703
+name: intraspecies interaction between organisms
+namespace: biological_process
+def: "Any process in which an organism has an effect on an organism of the same species." [GOC:ai]
+subset: goslim_pir
+synonym: "intraspecies interaction with other organisms" EXACT []
+is_a: GO:0051704 ! multi-organism process
+property_value: isDefinedBy http://purl.obolibrary.org/obo/go.owl
+
+[Term]
+id: GO:0051704
+name: multi-organism process
+namespace: biological_process
+alt_id: GO:0051706
+def: "A biological process which involves another organism of the same or different species." [GOC:jl]
+subset: gocheck_do_not_annotate
+subset: goslim_pir
+synonym: "interaction between organisms" EXACT []
+synonym: "physiological interaction between organisms" EXACT []
+synonym: "physiological interaction with other organism" EXACT []
+is_a: GO:0008150 ! biological_process
+property_value: isDefinedBy http://purl.obolibrary.org/obo/go.owl
+
+[Term]
+id: GO:0051705
+name: multi-organism behavior
+namespace: biological_process
+alt_id: GO:0023032
+alt_id: GO:0044709
+def: "Any process in which an organism has a behavioral effect on another organism of the same or different species." [GOC:ai]
+subset: goslim_pir
+synonym: "behavioral interaction between organisms" EXACT []
+synonym: "behavioral interaction with other organism" EXACT []
+synonym: "behavioral signaling" NARROW []
+synonym: "behavioral signalling" NARROW [GOC:mah]
+synonym: "behavioural interaction between organisms" EXACT []
+synonym: "behavioural interaction with other organism" EXACT []
+is_a: GO:0007610 ! behavior
+is_a: GO:0051704 ! multi-organism process
+property_value: isDefinedBy http://purl.obolibrary.org/obo/go.owl
+
diff --git a/imports/go_import.owl b/imports/go_import.owl
index b95c935..3644886 100644
--- a/imports/go_import.owl
+++ b/imports/go_import.owl
@@ -1,14 +1,16 @@
-
+ xmlns:oboInOwl="http://www.geneontology.org/formats/oboInOwl#">
+
+
+
@@ -25,31 +27,124 @@
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
+
+
-
+
+
+
-
+
+
+
+
+
+
+
+
+
+
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -69,10 +164,22 @@
The internally coordinated responses (actions or inactions) of animals (individuals or groups) to internal or external stimuli, via a mechanism that involves nervous system activity.
+ janelomax
+ 2012-09-20T14:06:08Z
+ GO:0044708
+ Wikipedia:Behavior
behavioral response to stimulus
behaviour
behavioural response to stimulus
+ biological_process
single-organism behavior
+ GO:0007610
+
+
+
+ 1. Note that this term is in the subset of terms that should not be used for direct gene product annotation. Instead, select a child term or, if no appropriate child term exists, please request a new term. Direct annotations to this term may be amended during annotation reviews.
+2. While a broader definition of behavior encompassing plants and single cell organisms would be justified on the basis of some usage (see PMID:20160973 for discussion), GO uses a tight definition that limits behavior to animals and to responses involving the nervous system, excluding plant responses that GO classifies under development, and responses of unicellular organisms that has general classifications for covering the responses of cells in multicellular organisms (e.g. cell chemotaxis).
+
behavior
@@ -90,19 +197,37 @@
- Any process specifically pertinent to the functioning of integrated living units: cells, tissues, organs, and organisms. A process is a collection of molecular events with a defined beginning and end.
+ A biological process represents a specific objective that the organism is genetically programmed to achieve. Biological processes are often described by their outcome or ending state, e.g., the biological process of cell division results in the creation of two daughter cells (a divided cell) from a single parent cell. A biological process is accomplished by a particular set of molecular functions carried out by specific gene products (or macromolecular complexes), often in a highly regulated manner and in a particular temporal sequence.
+ janelomax
+ 2012-09-19T15:05:24Z
+ GO:0000004
+ GO:0007582
+ GO:0044699
+ Wikipedia:Biological_process
biological process
physiological process
+ biological_process
single organism process
single-organism process
+ GO:0008150
+
+
+
+
+
+
+
+
+
+ Note that, in addition to forming the root of the biological process ontology, this term is recommended for use for the annotation of gene products whose biological process is unknown. When this term is used for annotation, it indicates that no information was available about the biological process of the gene product annotated as of the date the annotation was made; the evidence code "no data" (ND), is used to indicate this.
+
biological_process
- Any process specifically pertinent to the functioning of integrated living units: cells, tissues, organs, and organisms. A process is a collection of molecular events with a defined beginning and end.
- GOC:go_curators
- GOC:isa_complete
+ A biological process represents a specific objective that the organism is genetically programmed to achieve. Biological processes are often described by their outcome or ending state, e.g., the biological process of cell division results in the creation of two daughter cells (a divided cell) from a single parent cell. A biological process is accomplished by a particular set of molecular functions carried out by specific gene products (or macromolecular complexes), often in a highly regulated manner and in a particular temporal sequence.
+ GOC:pdt
@@ -113,8 +238,13 @@
Behavior directed towards society, or taking place between members of the same species. Occurs predominantly, or only, in individuals that are part of a group.
+ Wikipedia:Social_behavior
social behaviour
+ biological_process
cooperative behavior
+ GO:0035176
+ Behavior such as predation which involves members of different species is not social. Communication between members of different species is also not social behavior.
+
social behavior
@@ -136,6 +266,11 @@
interaction with another species
interspecies interaction
interspecies interaction with other organisms
+ biological_process
+ GO:0044419
+
+
+
interspecies interaction between organisms
@@ -153,6 +288,10 @@
Any process in which an organism has an effect on an organism of the same species.
intraspecies interaction with other organisms
+ biological_process
+ GO:0051703
+
+
intraspecies interaction between organisms
@@ -169,9 +308,15 @@
A biological process which involves another organism of the same or different species.
+ GO:0051706
interaction between organisms
physiological interaction between organisms
physiological interaction with other organism
+ biological_process
+ GO:0051704
+
+
+
multi-organism process
@@ -189,12 +334,18 @@
Any process in which an organism has a behavioral effect on another organism of the same or different species.
+ GO:0023032
+ GO:0044709
behavioral interaction between organisms
behavioral interaction with other organism
behavioural interaction between organisms
behavioural interaction with other organism
behavioral signaling
behavioral signalling
+ biological_process
+ GO:0051705
+
+
multi-organism behavior
@@ -213,5 +364,5 @@
-
+
diff --git a/imports/ncbitaxon_import.obo b/imports/ncbitaxon_import.obo
new file mode 100644
index 0000000..39455ea
--- /dev/null
+++ b/imports/ncbitaxon_import.obo
@@ -0,0 +1,330 @@
+format-version: 1.2
+data-version: pco/releases/2020-02-13/ncbitaxon_import.obo
+ontology: pco/imports/ncbitaxon_import.obo
+
+[Term]
+id: NCBITaxon:1
+name: root
+synonym: "all" RELATED synonym []
+
+[Term]
+id: NCBITaxon:10239
+name: Viruses
+synonym: "Vira" RELATED synonym []
+synonym: "Viridae" RELATED synonym []
+synonym: "viruses" RELATED blast_name []
+is_a: NCBITaxon:1 ! root
+
+[Term]
+id: NCBITaxon:117570
+name: Teleostomi
+is_a: NCBITaxon:7776 ! Gnathostomata
+
+[Term]
+id: NCBITaxon:117571
+name: Euteleostomi
+synonym: "bony vertebrates" EXACT genbank_common_name []
+is_a: NCBITaxon:117570 ! Teleostomi
+
+[Term]
+id: NCBITaxon:12884
+name: Viroids
+synonym: "Viroid" RELATED synonym []
+synonym: "viroids" RELATED blast_name []
+is_a: NCBITaxon:1 ! root
+
+[Term]
+id: NCBITaxon:131221
+name: Streptophytina
+synonym: "Charophyta/Embryophyta group" RELATED synonym []
+synonym: "charophyte/embryophyte group" RELATED synonym []
+is_a: NCBITaxon:35493 ! Streptophyta
+
+[Term]
+id: NCBITaxon:131567
+name: cellular organisms
+synonym: "biota" RELATED synonym []
+is_a: NCBITaxon:1 ! root
+
+[Term]
+id: NCBITaxon:1338369
+name: Dipnotetrapodomorpha
+is_a: NCBITaxon:8287 ! Sarcopterygii
+
+[Term]
+id: NCBITaxon:1437010
+name: Boreoeutheria
+synonym: "Boreotheria" RELATED synonym []
+is_a: NCBITaxon:9347 ! Eutheria
+
+[Term]
+id: NCBITaxon:1437180
+name: Acrogymnospermae
+is_a: NCBITaxon:58024 ! Spermatophyta
+
+[Term]
+id: NCBITaxon:2
+name: Bacteria
+synonym: "bacteria" RELATED blast_name []
+synonym: "eubacteria" EXACT genbank_common_name []
+synonym: "Monera" RELATED in_part []
+synonym: "not Bacteria Haeckel 1894" RELATED synonym []
+synonym: "Procaryotae" RELATED in_part []
+synonym: "Prokaryota" RELATED in_part []
+synonym: "Prokaryotae" RELATED in_part []
+synonym: "prokaryote" RELATED in_part []
+synonym: "prokaryotes" RELATED in_part []
+is_a: NCBITaxon:131567 ! cellular organisms
+
+[Term]
+id: NCBITaxon:207598
+name: Homininae
+synonym: "Homo/Pan/Gorilla group" RELATED synonym []
+is_a: NCBITaxon:9604 ! Hominidae
+
+[Term]
+id: NCBITaxon:2157
+name: Archaea
+synonym: "archaea" RELATED blast_name []
+synonym: "Archaebacteria" RELATED synonym []
+synonym: "Mendosicutes" RELATED synonym []
+synonym: "Metabacteria" RELATED synonym []
+synonym: "Monera" RELATED in_part []
+synonym: "Procaryotae" RELATED in_part []
+synonym: "Prokaryota" RELATED in_part []
+synonym: "Prokaryotae" RELATED in_part []
+synonym: "prokaryote" RELATED in_part []
+synonym: "prokaryotes" RELATED in_part []
+is_a: NCBITaxon:131567 ! cellular organisms
+
+[Term]
+id: NCBITaxon:2759
+name: Eukaryota
+synonym: "Eucarya" RELATED synonym []
+synonym: "Eucaryotae" RELATED synonym []
+synonym: "eucaryotes" EXACT genbank_common_name []
+synonym: "Eukarya" RELATED synonym []
+synonym: "Eukaryotae" RELATED synonym []
+synonym: "eukaryotes" EXACT common_name []
+synonym: "eukaryotes" RELATED blast_name []
+is_a: NCBITaxon:131567 ! cellular organisms
+
+[Term]
+id: NCBITaxon:3041
+name: Chlorophyta
+synonym: "algae" RELATED in_part []
+synonym: "Chlorophycota" RELATED synonym []
+synonym: "Chlorophyta sensu Bremer 1985" RELATED synonym []
+synonym: "green algae" EXACT genbank_common_name []
+synonym: "green algae" RELATED blast_name []
+is_a: NCBITaxon:33090 ! Viridiplantae
+
+[Term]
+id: NCBITaxon:314146
+name: Euarchontoglires
+is_a: NCBITaxon:1437010 ! Boreoeutheria
+
+[Term]
+id: NCBITaxon:314293
+name: Simiiformes
+synonym: "Anthropoidea" RELATED synonym []
+is_a: NCBITaxon:376913 ! Haplorrhini
+
+[Term]
+id: NCBITaxon:314295
+name: Hominoidea
+synonym: "ape" EXACT common_name []
+synonym: "apes" EXACT genbank_common_name []
+is_a: NCBITaxon:9526 ! Catarrhini
+
+[Term]
+id: NCBITaxon:3193
+name: Embryophyta
+synonym: "higher plants" EXACT common_name []
+synonym: "land plants" EXACT common_name []
+synonym: "land plants" RELATED blast_name []
+synonym: "plants" EXACT common_name []
+is_a: NCBITaxon:131221 ! Streptophytina
+
+[Term]
+id: NCBITaxon:32523
+name: Tetrapoda
+synonym: "tetrapods" EXACT genbank_common_name []
+is_a: NCBITaxon:1338369 ! Dipnotetrapodomorpha
+
+[Term]
+id: NCBITaxon:32524
+name: Amniota
+synonym: "amniotes" EXACT genbank_common_name []
+is_a: NCBITaxon:32523 ! Tetrapoda
+
+[Term]
+id: NCBITaxon:32525
+name: Theria
+synonym: "Theria" EXACT scientific_name []
+is_a: NCBITaxon:40674 ! Mammalia
+
+[Term]
+id: NCBITaxon:33090
+name: Viridiplantae
+synonym: "Chlorobionta" RELATED synonym []
+synonym: "Chlorophyta/Embryophyta group" RELATED synonym []
+synonym: "chlorophyte/embryophyte group" RELATED synonym []
+synonym: "green plants" EXACT common_name []
+synonym: "green plants" RELATED blast_name []
+is_a: NCBITaxon:2759 ! Eukaryota
+
+[Term]
+id: NCBITaxon:33154
+name: Opisthokonta
+synonym: "Fungi/Metazoa group" RELATED synonym []
+synonym: "opisthokonts" RELATED synonym []
+is_a: NCBITaxon:2759 ! Eukaryota
+
+[Term]
+id: NCBITaxon:33208
+name: Metazoa
+synonym: "Animalia" RELATED synonym []
+synonym: "animals" RELATED blast_name []
+synonym: "metazoans" EXACT genbank_common_name []
+synonym: "multicellular animals" EXACT common_name []
+is_a: NCBITaxon:33154 ! Opisthokonta
+
+[Term]
+id: NCBITaxon:33213
+name: Bilateria
+is_a: NCBITaxon:6072 ! Eumetazoa
+
+[Term]
+id: NCBITaxon:33511
+name: Deuterostomia
+synonym: "deuterostomes" EXACT common_name []
+is_a: NCBITaxon:33213 ! Bilateria
+
+[Term]
+id: NCBITaxon:3398
+name: Magnoliophyta
+synonym: "Angiospermae" RELATED synonym []
+synonym: "angiosperms" EXACT common_name []
+synonym: "flowering plants" EXACT genbank_common_name []
+synonym: "flowering plants" RELATED blast_name []
+is_a: NCBITaxon:58024 ! Spermatophyta
+
+[Term]
+id: NCBITaxon:35493
+name: Streptophyta
+is_a: NCBITaxon:33090 ! Viridiplantae
+
+[Term]
+id: NCBITaxon:376913
+name: Haplorrhini
+is_a: NCBITaxon:9443 ! Primates
+
+[Term]
+id: NCBITaxon:40674
+name: Mammalia
+synonym: "mammals" EXACT genbank_common_name []
+synonym: "mammals" RELATED blast_name []
+is_a: NCBITaxon:32524 ! Amniota
+
+[Term]
+id: NCBITaxon:58023
+name: Tracheophyta
+synonym: "vascular plants" EXACT common_name []
+synonym: "vascular plants" RELATED blast_name []
+is_a: NCBITaxon:3193 ! Embryophyta
+
+[Term]
+id: NCBITaxon:58024
+name: Spermatophyta
+synonym: "seed plants" EXACT common_name []
+synonym: "seed plants" RELATED blast_name []
+is_a: NCBITaxon:78536 ! Euphyllophyta
+
+[Term]
+id: NCBITaxon:6072
+name: Eumetazoa
+is_a: NCBITaxon:33208 ! Metazoa
+
+[Term]
+id: NCBITaxon:7711
+name: Chordata
+synonym: "chordates" EXACT genbank_common_name []
+synonym: "chordates" RELATED blast_name []
+is_a: NCBITaxon:33511 ! Deuterostomia
+
+[Term]
+id: NCBITaxon:7742
+name: Vertebrata
+synonym: "Vertebrata" EXACT scientific_name []
+synonym: "vertebrates" EXACT genbank_common_name []
+synonym: "vertebrates" RELATED blast_name []
+is_a: NCBITaxon:89593 ! Craniata
+
+[Term]
+id: NCBITaxon:7776
+name: Gnathostomata
+synonym: "Gnathostomata" EXACT scientific_name []
+synonym: "jawed vertebrates" EXACT genbank_common_name []
+is_a: NCBITaxon:7742 ! Vertebrata
+
+[Term]
+id: NCBITaxon:78536
+name: Euphyllophyta
+synonym: "euphyllophytes" RELATED synonym []
+is_a: NCBITaxon:58023 ! Tracheophyta
+
+[Term]
+id: NCBITaxon:8287
+name: Sarcopterygii
+is_a: NCBITaxon:117571 ! Euteleostomi
+
+[Term]
+id: NCBITaxon:89593
+name: Craniata
+synonym: "Craniata" EXACT scientific_name []
+is_a: NCBITaxon:7711 ! Chordata
+
+[Term]
+id: NCBITaxon:9347
+name: Eutheria
+synonym: "eutherian mammals" EXACT common_name []
+synonym: "placental mammals" EXACT common_name []
+synonym: "Placentalia" RELATED synonym []
+synonym: "placentals" EXACT genbank_common_name []
+synonym: "placentals" RELATED blast_name []
+is_a: NCBITaxon:32525 ! Theria
+
+[Term]
+id: NCBITaxon:9443
+name: Primates
+synonym: "Primata" RELATED synonym []
+synonym: "primate" EXACT equivalent_name []
+synonym: "primates" RELATED blast_name []
+is_a: NCBITaxon:314146 ! Euarchontoglires
+
+[Term]
+id: NCBITaxon:9526
+name: Catarrhini
+is_a: NCBITaxon:314293 ! Simiiformes
+
+[Term]
+id: NCBITaxon:9604
+name: Hominidae
+synonym: "great apes" EXACT genbank_common_name []
+synonym: "Pongidae" RELATED synonym []
+is_a: NCBITaxon:314295 ! Hominoidea
+
+[Term]
+id: NCBITaxon:9605
+name: Homo
+synonym: "humans" EXACT common_name []
+is_a: NCBITaxon:207598 ! Homininae
+
+[Term]
+id: NCBITaxon:9606
+name: Homo sapiens
+synonym: "human" EXACT genbank_common_name []
+synonym: "man" EXACT common_name []
+is_a: NCBITaxon:9605 ! Homo
+
diff --git a/imports/ncbitaxon_import.owl b/imports/ncbitaxon_import.owl
index c1a95c7..3211368 100644
--- a/imports/ncbitaxon_import.owl
+++ b/imports/ncbitaxon_import.owl
@@ -1,13 +1,15 @@
-
+ xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
+ xmlns:oboInOwl="http://www.geneontology.org/formats/oboInOwl#">
+
+
+
@@ -1144,5 +1146,5 @@
-
+
diff --git a/imports/pato_import.obo b/imports/pato_import.obo
new file mode 100644
index 0000000..0ad1915
--- /dev/null
+++ b/imports/pato_import.obo
@@ -0,0 +1,97 @@
+format-version: 1.2
+data-version: pco/releases/2020-02-13/pato_import.obo
+ontology: pco/imports/pato_import.obo
+
+[Term]
+id: PATO:0000001
+name: quality
+namespace: quality
+alt_id: PATO:0000072
+def: "A dependent entity that inheres in a bearer by virtue of how the bearer is related to other entities" [PATOC:GVG]
+synonym: "trait" EXACT []
+property_value: isDefinedBy http://purl.obolibrary.org/obo/pato.owl
+
+[Term]
+id: PATO:0000161
+name: rate
+namespace: quality
+def: "A quality of a single process inhering in a bearer by virtue of the bearer's occurrence per unit time." [PATOC:melissa]
+subset: attribute_slim
+subset: scalar_slim
+is_a: PATO:0002062 ! physical quality of a process
+property_value: isDefinedBy http://purl.obolibrary.org/obo/pato.owl
+
+[Term]
+id: PATO:0001236
+name: process quality
+namespace: quality
+alt_id: PATO:0001239
+alt_id: PATO:0001240
+def: "A quality which inheres in an process." [PATOC:GVG]
+comment: See comments of relational quality of a physical entity.
+synonym: "quality of a process" EXACT []
+synonym: "quality of occurrent" EXACT []
+synonym: "quality of process" EXACT []
+synonym: "relational quality of occurrent" EXACT []
+is_a: PATO:0000001 ! quality
+property_value: isDefinedBy http://purl.obolibrary.org/obo/pato.owl
+
+[Term]
+id: PATO:0001241
+name: physical object quality
+namespace: quality
+alt_id: PATO:0001237
+alt_id: PATO:0001238
+def: "A quality which inheres in a continuant." [PATOC:GVG]
+comment: Relational qualities are qualities that hold between multiple entities. Normal (monadic) qualities such as the shape of a eyeball exist purely as a quality of that eyeball. A relational quality such as sensitivity to light is a quality of that eyeball (and connecting nervous system) as it relates to incoming light waves/particles.
+synonym: "monadic quality of a continuant" EXACT []
+synonym: "monadic quality of an object" NARROW []
+synonym: "monadic quality of continuant" NARROW []
+synonym: "multiply inhering quality of a physical entity" EXACT []
+synonym: "quality of a continuant" EXACT []
+synonym: "quality of a single physical entity" EXACT []
+synonym: "quality of an object" EXACT []
+synonym: "quality of continuant" EXACT []
+xref: snap:Quality
+is_a: PATO:0000001 ! quality
+property_value: isDefinedBy http://purl.obolibrary.org/obo/pato.owl
+
+[Term]
+id: PATO:0001338
+name: mixed sex
+namespace: quality
+def: "A biological sex quality inhering in a population of multiple sexes." [MGED:MGED]
+comment: For example a mixture of females and male or males and hermaphrodites.
+subset: value_slim
+is_a: PATO:0002003 ! population quality
+property_value: isDefinedBy http://purl.obolibrary.org/obo/pato.owl
+
+[Term]
+id: PATO:0001415
+name: morbidity
+namespace: quality
+def: "A quality inhering in a population by virtue of the proportion of its members that are ill at a given time." [PATOC:GVG]
+subset: attribute_slim
+subset: scalar_slim
+is_a: PATO:0002003 ! population quality
+property_value: isDefinedBy http://purl.obolibrary.org/obo/pato.owl
+
+[Term]
+id: PATO:0002003
+name: population quality
+namespace: quality
+def: "A quality that inheres in an entire population or part of a population." [PATOC:GVG]
+subset: attribute_slim
+is_a: PATO:0001241 ! physical object quality
+property_value: isDefinedBy http://purl.obolibrary.org/obo/pato.owl
+
+[Term]
+id: PATO:0002062
+name: physical quality of a process
+namespace: quality
+subset: attribute_slim
+is_a: PATO:0001236 ! process quality
+property_value: isDefinedBy http://purl.obolibrary.org/obo/pato.owl
+created_by: george
+creation_date: 2009-06-05T09:16:46Z
+
diff --git a/imports/pato_import.owl b/imports/pato_import.owl
index 3ac76b2..a6894b8 100644
--- a/imports/pato_import.owl
+++ b/imports/pato_import.owl
@@ -1,14 +1,16 @@
-
+ xmlns:oboInOwl="http://www.geneontology.org/formats/oboInOwl#">
+
+
+
@@ -25,25 +27,116 @@
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+
+
+
-
+
+
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -62,7 +155,11 @@
A dependent entity that inheres in a bearer by virtue of how the bearer is related to other entities
+ PATO:0000072
trait
+ quality
+ PATO:0000001
+
quality
@@ -74,29 +171,16 @@
-
-
-
-
- A composite chromatic quality composed of hue, saturation and intensity parts.
- colour
- relative color
- color
-
-
-
-
- A composite chromatic quality composed of hue, saturation and intensity parts.
- PATOC:GVG
-
-
-
-
A quality of a single process inhering in a bearer by virtue of the bearer's occurrence per unit time.
+ quality
+ PATO:0000161
+
+
+
rate
@@ -108,48 +192,21 @@
-
-
-
-
- A color hue with high wavelength of the long-wave end of the visible spectrum, evoked in the human observer by radiant energy with wavelengths of approximately 630 to 750 nanometers.
- red
-
-
-
-
- A color hue with high wavelength of the long-wave end of the visible spectrum, evoked in the human observer by radiant energy with wavelengths of approximately 630 to 750 nanometers.
- Dictionary:http://dictionary.reference.com/
-
-
-
-
-
-
-
-
- A quality of a physical entity that exists through action of continuants at the physical level of organisation in relation to other entities.
- relational physical quality
- physical quality
-
-
-
-
- A quality of a physical entity that exists through action of continuants at the physical level of organisation in relation to other entities.
- PATOC:GVG
-
-
-
-
A quality which inheres in an process.
+ PATO:0001239
+ PATO:0001240
quality of a process
quality of occurrent
quality of process
relational quality of occurrent
+ quality
+ PATO:0001236
+ See comments of relational quality of a physical entity.
+
process quality
@@ -166,6 +223,9 @@
A quality which inheres in a continuant.
+ PATO:0001237
+ PATO:0001238
+ snap:Quality
monadic quality of a continuant
multiply inhering quality of a physical entity
quality of a continuant
@@ -174,6 +234,10 @@
quality of continuant
monadic quality of an object
monadic quality of continuant
+ quality
+ PATO:0001241
+ Relational qualities are qualities that hold between multiple entities. Normal (monadic) qualities such as the shape of a eyeball exist purely as a quality of that eyeball. A relational quality such as sensitivity to light is a quality of that eyeball (and connecting nervous system) as it relates to incoming light waves/particles.
+
physical object quality
@@ -185,43 +249,16 @@
-
-
-
-
- A physical quality that inheres in an bearer by virtue of how that bearer interacts with electromagnetic radiation.
- electromagnetic (EM) radiation quality
-
-
-
-
- A physical quality that inheres in an bearer by virtue of how that bearer interacts with electromagnetic radiation.
- Wikipedia:http://en.wikipedia.org/wiki/Electromagnetic_radiation
-
-
-
-
-
-
-
-
- An EM radiation quality in which the EM radiation is within the fiat range of the spectrum visible deemed to be light.
- optical quality
-
-
-
-
- An EM radiation quality in which the EM radiation is within the fiat range of the spectrum visible deemed to be light.
- PATOC:GVG
-
-
-
-
A biological sex quality inhering in a population of multiple sexes.
+ quality
+ PATO:0001338
+
+ For example a mixture of females and male or males and hermaphrodites.
+
mixed sex
@@ -238,6 +275,11 @@
A quality inhering in a population by virtue of the proportion of its members that are ill at a given time.
+ quality
+ PATO:0001415
+
+
+
morbidity
@@ -249,27 +291,15 @@
-
-
-
-
- A quality that inheres in an bearer by virtue of how that bearer interacts with radiation.
- radiation quality
-
-
-
-
- A quality that inheres in an bearer by virtue of how that bearer interacts with radiation.
- PATOC:GVG
-
-
-
-
A quality that inheres in an entire population or part of a population.
+ quality
+ PATO:0002003
+
+
population quality
@@ -285,11 +315,17 @@
+ george
+ 2009-06-05T09:16:46Z
+ quality
+ PATO:0002062
+
+
physical quality of a process
-
+
diff --git a/imports/ro_import.obo b/imports/ro_import.obo
new file mode 100644
index 0000000..339d156
--- /dev/null
+++ b/imports/ro_import.obo
@@ -0,0 +1,1321 @@
+format-version: 1.2
+data-version: pco/releases/2020-02-13/ro_import.owl
+ontology: pco/imports/ro_import
+owl-axioms: Prefix(owl:=)\nPrefix(rdf:=)\nPrefix(xml:=)\nPrefix(xsd:=)\nPrefix(rdfs:=)\n\n\nOntology(\nDeclaration(Class())\nDeclaration(Class())\nDeclaration(Class())\nDeclaration(Class())\nDeclaration(Class())\nDeclaration(Class())\nDeclaration(Class())\nDeclaration(Class())\nDeclaration(Class())\nDeclaration(Class())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(ObjectProperty())\nDeclaration(AnnotationProperty())\n\n############################\n# Object Properties\n############################\n\n# Object Property: ()\n\nObjectPropertyRange( ObjectIntersectionOf( ObjectComplementOf()))\n\n# Object Property: ()\n\nIrreflexiveObjectProperty()\n\n\n\n############################\n# Classes\n############################\n\n# Class: ()\n\nDisjointClasses( ObjectSomeValuesFrom( ))\n\n# Class: ()\n\nDisjointClasses( ObjectSomeValuesFrom( ))\n\n# Class: ()\n\nDisjointClasses( ObjectSomeValuesFrom( ))\n\n# Class: ()\n\nDisjointClasses( ObjectSomeValuesFrom( ))\n\n# Class: ()\n\nSubClassOf( ObjectHasSelf())\n\n\nSubClassOf(ObjectSomeValuesFrom( ) ObjectUnionOf(ObjectSomeValuesFrom( ObjectSomeValuesFrom( )) ObjectSomeValuesFrom( ObjectSomeValuesFrom( ObjectSomeValuesFrom( )))))\nSubObjectPropertyOf(ObjectPropertyChain( ObjectInverseOf()) )\nSubObjectPropertyOf(ObjectPropertyChain( ) )\nSubObjectPropertyOf(ObjectPropertyChain( ) )\nSubObjectPropertyOf(ObjectPropertyChain( ) )\nSubObjectPropertyOf(ObjectPropertyChain( ) )\nSubObjectPropertyOf(ObjectPropertyChain( ) )\nDLSafeRule(Body(ObjectPropertyAtom( Variable() Variable()) ClassAtom( Variable()) ClassAtom( Variable()))Head(ObjectPropertyAtom( Variable() Variable())))\nDLSafeRule(Annotation( \"true\"^^xsd:boolean) Annotation(rdfs:comment \"MF(X)-directly_regulates->MF(Y)-enabled_by->GP(Z) => MF(Y)-has_input->GP(Y) e.g. if 'protein kinase activity'(X) directly_regulates 'protein binding activity (Y)and this is enabled by GP(Z) then X has_input Z\"^^xsd:string) Annotation(rdfs:label \"infer input from direct reg\"^^xsd:string) Body(ObjectPropertyAtom( Variable() Variable()) ObjectPropertyAtom( Variable() Variable()) ClassAtom( Variable()) ClassAtom( Variable()))Head(ObjectPropertyAtom( Variable() Variable())))\nDLSafeRule(Annotation(rdfs:comment \"GP(X)-enables->MF(Y)-has_part->MF(Z) => GP(X) enables MF(Z),\ne.g. if GP X enables ATPase coupled transporter activity' and 'ATPase coupled transporter activity' has_part 'ATPase activity' then GP(X) enables 'ATPase activity'\") Annotation(rdfs:label \"enabling an MF enables its parts\") Body(ClassAtom( Variable()) ObjectPropertyAtom( Variable() Variable()) ObjectPropertyAtom( Variable() Variable()))Head(ObjectPropertyAtom( Variable() Variable())))\nDLSafeRule(Annotation( \"true\"^^xsd:boolean) Annotation(rdfs:comment \"GP(X)-enables->MF(Y)-part_of->BP(Z) => GP(X) involved_in BP(Z) e.g. if X enables 'protein kinase activity' and Y 'part of' 'signal tranduction' then X involved in 'signal transduction'\"^^xsd:string) Annotation(rdfs:label \"involved in BP\"^^xsd:string) Body(ClassAtom( Variable()) ObjectPropertyAtom( Variable() Variable()) ObjectPropertyAtom( Variable() Variable()))Head(ObjectPropertyAtom( Variable() Variable())))\nDLSafeRule(Body(ObjectPropertyAtom( Variable() Variable()) ClassAtom( Variable()) ObjectPropertyAtom( Variable() Variable()) ObjectPropertyAtom( Variable() Variable()))Head(ObjectPropertyAtom( Variable() Variable())))\nDLSafeRule(Annotation(rdfs:comment \"This rule is dubious: added as a quick fix for expected inference in GO-CAM. The problem is most acute for transmembrane proteins, such as receptors or cell adhesion molecules, which have some subfunctions inside the cell (e.g. kinase activity) and some subfunctions outside (e.g. ligand binding). Correct annotation of where these functions occurs leads to incorrect inference about the location of the whole protein. This should probably be weakened to \\\"... -> overlaps\\\"\") Body(ObjectPropertyAtom( Variable() Variable()) ObjectPropertyAtom( Variable() Variable()))Head(ObjectPropertyAtom( Variable() Variable())))\nDLSafeRule(Annotation(rdfs:comment \"If a molecular function (X) has a regulatory subfunction, then any gene product which is an input to that subfunction has an activity that directly_regulates X. Note: this is intended for cases where the regaultory subfunction is protein binding, so it could be tightened with an additional clause to specify this.\") Annotation(rdfs:label \"inferring direct reg edge from input to regulatory subfunction\") Body(ObjectPropertyAtom( Variable() Variable()) ObjectPropertyAtom( Variable() Variable()) ObjectPropertyAtom( Variable() Variable()))Head(ObjectPropertyAtom( Variable() Variable())))\nDLSafeRule(Annotation(rdfs:label \"inferring direct neg reg edge from input to regulatory subfunction\") Body(ObjectPropertyAtom( Variable() Variable()) ObjectPropertyAtom( Variable() Variable()) ObjectPropertyAtom( Variable() Variable()))Head(ObjectPropertyAtom( Variable() Variable())))\nDLSafeRule(Annotation(rdfs:label \"inferring direct positive reg edge from input to regulatory subfunction\") Body(ObjectPropertyAtom( Variable() Variable()) ObjectPropertyAtom( Variable() Variable()) ObjectPropertyAtom( Variable() Variable()))Head(ObjectPropertyAtom( Variable() Variable())))\nDLSafeRule(Annotation(rdfs:label \"effector input is compound function input\") Body(ObjectPropertyAtom( Variable() Variable()) ObjectPropertyAtom( Variable() Variable()))Head(ObjectPropertyAtom( Variable(