@prefix rdf: . @prefix : . @prefix dc: . @prefix obo: . @prefix owl: . @prefix xml: . @prefix xsd: . @prefix foaf: . @prefix rdfs: . @prefix terms: . @prefix protege: . @prefix oboInOwl: . @prefix ace_lexicon: . ace_lexicon:CN_pl a owl:AnnotationProperty . ace_lexicon:CN_sg a owl:AnnotationProperty . ace_lexicon:TV_pl a owl:AnnotationProperty . ace_lexicon:TV_sg a owl:AnnotationProperty . ace_lexicon:TV_vbg a owl:AnnotationProperty . protege:defaultLanguage a owl:AnnotationProperty . obo:BFO_0000001 obo:BFO_0000179 "entity" ; obo:BFO_0000180 "Entity" ; obo:IAO_0000112 "Julius Caesar"@en, "Verdi’s Requiem"@en, "the Second World War"@en, "your body mass index"@en ; obo: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"@en, "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"@en ; obo:IAO_0000600 "An entity is anything that exists or has existed or will exist. (axiom label in BFO2 Reference: [001-001])"@en ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "entity"@en ; rdfs:subClassOf owl:Thing . obo:BFO_0000002 obo:BFO_0000179 "continuant" ; obo:BFO_0000180 "Continuant" ; obo: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"@en, "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"@en ; obo: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])"@en ; obo: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])"@en, "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])"@en, "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])"@en ; obo:IAO_0000602 "(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] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "continuant"@en ; rdfs:subClassOf obo:BFO_0000001 ; owl:disjointWith obo:BFO_0000003 . obo:BFO_0000003 obo:BFO_0000179 "occurrent" ; obo:BFO_0000180 "Occurrent" ; obo: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"@en, "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."@en, "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."@en, "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." ; obo: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])"@en ; obo:IAO_0000601 "Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001])"@en, "b is an occurrent entity iff b is an entity that has temporal parts. (axiom label in BFO2 Reference: [079-001])"@en ; obo:IAO_0000602 "(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] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "occurrent"@en ; rdfs:subClassOf obo:BFO_0000001 . obo:BFO_0000004 obo:BFO_0000179 "ic" ; obo:BFO_0000180 "IndependentContinuant" ; obo:IAO_0000112 "a chair"@en, "a heart"@en, "a leg"@en, "a molecule"@en, "a spatial region"@en, "an atom"@en, "an orchestra."@en, "an organism"@en, "the bottom right portion of a human torso"@en, "the interior of your mouth"@en ; obo:IAO_0000115 "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])"@en ; obo: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])"@en, "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])"@en ; obo:IAO_0000602 "(forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001] ", "(forall (x t) (if (and (IndependentContinuant x) (existsAt x t)) (exists (y) (and (Entity y) (specificallyDependsOnAt y x t))))) // axiom label in BFO2 CLIF: [018-002] ", "(iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "independent continuant"@en ; rdfs:subClassOf obo:BFO_0000002 ; owl:disjointWith obo:BFO_0000020, obo:BFO_0000031 . obo:BFO_0000006 obo:BFO_0000179 "s-region" ; obo:BFO_0000180 "SpatialRegion" ; obo:IAO_0000116 "BFO 2 Reference: Spatial regions do not participate in processes."@en, "Spatial region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the union of a spatial point and a spatial line that doesn't overlap the point, or two spatial lines that intersect at a single point. In both cases the resultant spatial region is neither 0-dimensional, 1-dimensional, 2-dimensional, or 3-dimensional."@en ; obo:IAO_0000600 "A spatial region is a continuant entity that is a continuant_part_of spaceR as defined relative to some frame R. (axiom label in BFO2 Reference: [035-001])"@en ; obo:IAO_0000601 "All continuant parts of spatial regions are spatial regions. (axiom label in BFO2 Reference: [036-001])"@en ; obo:IAO_0000602 "(forall (x y t) (if (and (SpatialRegion x) (continuantPartOfAt y x t)) (SpatialRegion y))) // axiom label in BFO2 CLIF: [036-001] ", "(forall (x) (if (SpatialRegion x) (Continuant x))) // axiom label in BFO2 CLIF: [035-001] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "spatial region"@en ; rdfs:subClassOf obo:BFO_0000141 ; owl:disjointWith obo:BFO_0000029, obo:BFO_0000140 . obo:BFO_0000008 obo:BFO_0000179 "t-region" ; obo:BFO_0000180 "TemporalRegion" ; obo:IAO_0000116 "Temporal region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the mereological sum of a temporal instant and a temporal interval that doesn't overlap the instant. In this case the resultant temporal region is neither 0-dimensional nor 1-dimensional"@en ; obo:IAO_0000600 "A temporal region is an occurrent entity that is part of time as defined relative to some reference frame. (axiom label in BFO2 Reference: [100-001])"@en ; obo:IAO_0000601 "All parts of temporal regions are temporal regions. (axiom label in BFO2 Reference: [101-001])"@en, "Every temporal region t is such that t occupies_temporal_region t. (axiom label in BFO2 Reference: [119-002])"@en ; obo:IAO_0000602 "(forall (r) (if (TemporalRegion r) (occupiesTemporalRegion r r))) // axiom label in BFO2 CLIF: [119-002] ", "(forall (x y) (if (and (TemporalRegion x) (occurrentPartOf y x)) (TemporalRegion y))) // axiom label in BFO2 CLIF: [101-001] ", "(forall (x) (if (TemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [100-001] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "temporal region"@en ; rdfs:subClassOf obo:BFO_0000003 ; owl:disjointWith obo:BFO_0000011, obo:BFO_0000015, obo:BFO_0000035 . obo:BFO_0000009 obo:BFO_0000179 "2d-s-region" ; obo:BFO_0000180 "TwoDimensionalSpatialRegion" ; obo:IAO_0000112 "an infinitely thin plane in space."@en, "the surface of a sphere-shaped part of space"@en ; obo:IAO_0000600 "A two-dimensional spatial region is a spatial region that is of two dimensions. (axiom label in BFO2 Reference: [039-001])"@en ; obo:IAO_0000602 "(forall (x) (if (TwoDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [039-001] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "two-dimensional spatial region"@en ; rdfs:subClassOf obo:BFO_0000006 ; owl:disjointWith obo:BFO_0000028 . obo:BFO_0000011 obo:BFO_0000179 "st-region" ; obo:BFO_0000180 "SpatiotemporalRegion" ; obo:IAO_0000112 "the spatiotemporal region occupied by a human life"@en, "the spatiotemporal region occupied by a process of cellular meiosis."@en, "the spatiotemporal region occupied by the development of a cancer tumor"@en ; obo:IAO_0000600 "A spatiotemporal region is an occurrent entity that is part of spacetime. (axiom label in BFO2 Reference: [095-001])"@en ; obo:IAO_0000601 "All parts of spatiotemporal regions are spatiotemporal regions. (axiom label in BFO2 Reference: [096-001])"@en, "Each spatiotemporal region at any time t projects_onto some spatial region at t. (axiom label in BFO2 Reference: [099-001])"@en, "Each spatiotemporal region projects_onto some temporal region. (axiom label in BFO2 Reference: [098-001])"@en, "Every spatiotemporal region occupies_spatiotemporal_region itself."@en, "Every spatiotemporal region s is such that s occupies_spatiotemporal_region s. (axiom label in BFO2 Reference: [107-002])"@en ; obo:IAO_0000602 "(forall (r) (if (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion r r))) // axiom label in BFO2 CLIF: [107-002] ", "(forall (x t) (if (SpatioTemporalRegion x) (exists (y) (and (SpatialRegion y) (spatiallyProjectsOntoAt x y t))))) // axiom label in BFO2 CLIF: [099-001] ", "(forall (x y) (if (and (SpatioTemporalRegion x) (occurrentPartOf y x)) (SpatioTemporalRegion y))) // axiom label in BFO2 CLIF: [096-001] ", "(forall (x) (if (SpatioTemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [095-001] ", "(forall (x) (if (SpatioTemporalRegion x) (exists (y) (and (TemporalRegion y) (temporallyProjectsOnto x y))))) // axiom label in BFO2 CLIF: [098-001] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "spatiotemporal region"@en ; rdfs:subClassOf obo:BFO_0000003 . obo:BFO_0000015 obo:BFO_0000179 "process" ; obo:BFO_0000180 "Process" ; obo:IAO_0000112 "a process of cell-division, \\ a beating of the heart"@en, "a process of meiosis"@en, "a process of sleeping"@en, "the course of a disease"@en, "the flight of a bird"@en, "the life of an organism"@en, "your process of aging."@en ; obo:IAO_0000115 "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])"@en ; obo: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)"@en ; obo: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] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "process"@en ; rdfs:subClassOf obo:BFO_0000003 . obo:BFO_0000016 obo:BFO_0000179 "disposition" ; obo:BFO_0000180 "Disposition" ; obo:IAO_0000112 "an atom of element X has the disposition to decay to an atom of element Y"@en, "certain people have a predisposition to colon cancer"@en, "children are innately disposed to categorize objects in certain ways."@en, "the cell wall is disposed to filter chemicals in endocytosis and exocytosis"@en ; obo:IAO_0000116 "BFO 2 Reference: Dispositions exist along a strength continuum. Weaker forms of disposition are realized in only a fraction of triggering cases. These forms occur in a significant number of cases of a similar type."@en ; obo:IAO_0000600 "b is a disposition means: b is a realizable entity & b’s bearer is some material entity & b is such that if it ceases to exist, then its bearer is physically changed, & b’s realization occurs when and because this bearer is in some special physical circumstances, & this realization occurs in virtue of the bearer’s physical make-up. (axiom label in BFO2 Reference: [062-002])"@en ; obo:IAO_0000601 "If b is a realizable entity then for all t at which b exists, b s-depends_on some material entity at t. (axiom label in BFO2 Reference: [063-002])"@en ; obo:IAO_0000602 "(forall (x t) (if (and (RealizableEntity x) (existsAt x t)) (exists (y) (and (MaterialEntity y) (specificallyDepends x y t))))) // axiom label in BFO2 CLIF: [063-002] ", "(forall (x) (if (Disposition x) (and (RealizableEntity x) (exists (y) (and (MaterialEntity y) (bearerOfAt x y t)))))) // axiom label in BFO2 CLIF: [062-002] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "disposition"@en ; rdfs:subClassOf obo:BFO_0000017 ; owl:disjointWith obo:BFO_0000023 . obo:BFO_0000017 obo:BFO_0000179 "realizable" ; obo:BFO_0000180 "RealizableEntity" ; obo:IAO_0000112 "the disposition of this piece of metal to conduct electricity."@en, "the disposition of your blood to coagulate"@en, "the function of your reproductive organs"@en, "the role of being a doctor"@en, "the role of this boundary to delineate where Utah and Colorado meet"@en ; obo: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])"@en ; obo:IAO_0000601 "All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002])"@en ; obo: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] ", "(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] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "realizable entity"@en ; rdfs:subClassOf obo:BFO_0000020 ; owl:disjointWith obo:BFO_0000019 . obo:BFO_0000018 obo:BFO_0000179 "0d-s-region" ; obo:BFO_0000180 "ZeroDimensionalSpatialRegion" ; obo:IAO_0000600 "A zero-dimensional spatial region is a point in space. (axiom label in BFO2 Reference: [037-001])"@en ; obo:IAO_0000602 "(forall (x) (if (ZeroDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [037-001] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "zero-dimensional spatial region"@en ; rdfs:subClassOf obo:BFO_0000006 ; owl:disjointWith obo:BFO_0000028 . obo:BFO_0000019 obo:BFO_0000179 "quality" ; obo:BFO_0000180 "Quality" ; obo:IAO_0000112 "the ambient temperature of this portion of air"@en, "the color of a tomato"@en, "the length of the circumference of your waist"@en, "the mass of this piece of gold."@en, "the shape of your nose"@en, "the shape of your nostril"@en ; obo:IAO_0000600 "a quality is a specifically dependent continuant that, in contrast to roles and dispositions, does not require any further process in order to be realized. (axiom label in BFO2 Reference: [055-001])"@en ; obo:IAO_0000601 "If an entity is a quality at any time that it exists, then it is a quality at every time that it exists. (axiom label in BFO2 Reference: [105-001])"@en ; obo:IAO_0000602 "(forall (x) (if (Quality x) (SpecificallyDependentContinuant x))) // axiom label in BFO2 CLIF: [055-001] ", "(forall (x) (if (exists (t) (and (existsAt x t) (Quality x))) (forall (t_1) (if (existsAt x t_1) (Quality x))))) // axiom label in BFO2 CLIF: [105-001] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "quality"@en ; rdfs:subClassOf obo:BFO_0000020 . obo:BFO_0000020 obo:BFO_0000179 "sdc" ; obo:BFO_0000180 "SpecificallyDependentContinuant" ; obo: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"@en, "of one-sided specifically dependent continuants: the mass of this tomato"@en, "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."@en, "the disposition of this fish to decay"@en, "the function of this heart: to pump blood"@en, "the mutual dependence of proton donors and acceptors in chemical reactions [79"@en, "the mutual dependence of the role predator and the role prey as played by two organisms in a given interaction"@en, "the pink color of a medium rare piece of grilled filet mignon at its center"@en, "the role of being a doctor"@en, "the shape of this hole."@en, "the smell of this portion of mozzarella"@en ; obo:IAO_0000115 "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])"@en ; obo: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."@en ; obo: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] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "specifically dependent continuant"@en ; rdfs:subClassOf obo:BFO_0000002 ; owl:disjointWith obo:BFO_0000031 . obo:BFO_0000023 obo:BFO_0000179 "role" ; obo:BFO_0000180 "Role" ; obo: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."@en, "the priest role"@en, "the role of a boundary to demarcate two neighboring administrative territories"@en, "the role of a building in serving as a military target"@en, "the role of a stone in marking a property boundary"@en, "the role of subject in a clinical trial"@en, "the student role"@en ; obo: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."@en ; obo: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])"@en ; obo:IAO_0000602 "(forall (x) (if (Role x) (RealizableEntity x))) // axiom label in BFO2 CLIF: [061-001] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "role"@en ; rdfs:subClassOf obo:BFO_0000017 . obo:BFO_0000024 obo:BFO_0000179 "fiat-object-part" ; obo:BFO_0000180 "FiatObjectPart" ; obo:IAO_0000112 "or with divisions drawn by cognitive subjects for practical reasons, such as the division of a cake (before slicing) into (what will become) slices (and thus member parts of an object aggregate). However, this does not mean that fiat object parts are dependent for their existence on divisions or delineations effected by cognitive subjects. If, for example, it is correct to conceive geological layers of the Earth as fiat object parts of the Earth, then even though these layers were first delineated in recent times, still existed long before such delineation and what holds of these layers (for example that the oldest layers are also the lowest layers) did not begin to hold because of our acts of delineation.Treatment of material entity in BFOExamples viewed by some as problematic cases for the trichotomy of fiat object part, object, and object aggregate include: a mussel on (and attached to) a rock, a slime mold, a pizza, a cloud, a galaxy, a railway train with engine and multiple carriages, a clonal stand of quaking aspen, a bacterial community (biofilm), a broken femur. Note that, as Aristotle already clearly recognized, such problematic cases – which lie at or near the penumbra of instances defined by the categories in question – need not invalidate these categories. The existence of grey objects does not prove that there are not objects which are black and objects which are white; the existence of mules does not prove that there are not objects which are donkeys and objects which are horses. It does, however, show that the examples in question need to be addressed carefully in order to show how they can be fitted into the proposed scheme, for example by recognizing additional subdivisions [29"@en, "the FMA:regional parts of an intact human body."@en, "the Western hemisphere of the Earth"@en, "the division of the brain into regions"@en, "the division of the planet into hemispheres"@en, "the dorsal and ventral surfaces of the body"@en, "the upper and lower lobes of the left lung"@en ; obo:IAO_0000116 "BFO 2 Reference: Most examples of fiat object parts are associated with theoretically drawn divisions"@en ; obo:IAO_0000600 "b is a fiat object part = Def. b is a material entity which is such that for all times t, if b exists at t then there is some object c such that b proper continuant_part of c at t and c is demarcated from the remainder of c by a two-dimensional continuant fiat boundary. (axiom label in BFO2 Reference: [027-004])"@en ; obo:IAO_0000602 "(forall (x) (if (FiatObjectPart x) (and (MaterialEntity x) (forall (t) (if (existsAt x t) (exists (y) (and (Object y) (properContinuantPartOfAt x y t)))))))) // axiom label in BFO2 CLIF: [027-004] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "fiat object part"@en ; rdfs:subClassOf obo:BFO_0000040 . obo:BFO_0000026 obo:BFO_0000179 "1d-s-region" ; obo:BFO_0000180 "OneDimensionalSpatialRegion" ; obo:IAO_0000112 "an edge of a cube-shaped portion of space."@en ; obo:IAO_0000600 "A one-dimensional spatial region is a line or aggregate of lines stretching from one point in space to another. (axiom label in BFO2 Reference: [038-001])"@en ; obo:IAO_0000602 "(forall (x) (if (OneDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [038-001] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "one-dimensional spatial region"@en ; rdfs:subClassOf obo:BFO_0000006 ; owl:disjointWith obo:BFO_0000028 . obo:BFO_0000027 obo:BFO_0000179 "object-aggregate" ; obo:BFO_0000180 "ObjectAggregate" ; obo:IAO_0000112 "a collection of cells in a blood biobank."@en, "a swarm of bees is an aggregate of members who are linked together through natural bonds"@en, "a symphony orchestra"@en, "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)"@en, "defined by fiat: the aggregate of members of an organization"@en, "defined through physical attachment: the aggregate of atoms in a lump of granite"@en, "defined through physical containment: the aggregate of molecules of carbon dioxide in a sealed container"@en, "defined via attributive delimitations such as: the patients in this hospital"@en, "the aggregate of bearings in a constant velocity axle joint"@en, "the aggregate of blood cells in your body"@en, "the nitrogen atoms in the atmosphere"@en, "the restaurants in Palo Alto"@en, "your collection of Meissen ceramic plates."@en ; obo: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 ", "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)."@en ; obo: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." ; obo: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])"@en ; obo: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] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "object aggregate"@en ; rdfs:subClassOf obo:BFO_0000040 . obo:BFO_0000028 obo:BFO_0000179 "3d-s-region" ; obo:BFO_0000180 "ThreeDimensionalSpatialRegion" ; obo:IAO_0000112 "a cube-shaped region of space"@en, "a sphere-shaped region of space,"@en ; obo:IAO_0000600 "A three-dimensional spatial region is a spatial region that is of three dimensions. (axiom label in BFO2 Reference: [040-001])"@en ; obo:IAO_0000602 "(forall (x) (if (ThreeDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [040-001] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "three-dimensional spatial region"@en ; rdfs:subClassOf obo:BFO_0000006 . obo:BFO_0000029 obo:BFO_0000179 "site" ; obo:BFO_0000180 "Site" ; obo:IAO_0000112 "Manhattan Canyon)"@en, "a hole in the interior of a portion of cheese"@en, "a rabbit hole"@en, "an air traffic control region defined in the airspace above an airport"@en, "the Grand Canyon"@en, "the Piazza San Marco"@en, "the cockpit of an aircraft"@en, "the hold of a ship"@en, "the interior of a kangaroo pouch"@en, "the interior of the trunk of your car"@en, "the interior of your bedroom"@en, "the interior of your office"@en, "the interior of your refrigerator"@en, "the lumen of your gut"@en, "your left nostril (a fiat part – the opening – of your left nasal cavity)"@en ; obo: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])"@en ; obo:IAO_0000602 "(forall (x) (if (Site x) (ImmaterialEntity x))) // axiom label in BFO2 CLIF: [034-002] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "site"@en ; rdfs:subClassOf obo:BFO_0000141 . obo:BFO_0000030 obo:BFO_0000179 "object" ; obo:BFO_0000180 "Object" ; obo:IAO_0000112 "atom"@en, "cell"@en, "cells and organisms"@en, "engineered artifacts"@en, "grain of sand"@en, "molecule"@en, "organelle"@en, "organism"@en, "planet"@en, "solid portions of matter"@en, "star"@en ; obo:IAO_0000116 "BFO 2 Reference: BFO rests on the presupposition that at multiple micro-, meso- and macroscopic scales reality exhibits certain stable, spatially separated or separable material units, combined or combinable into aggregates of various sorts (for example organisms into what are called ‘populations’). Such units play a central role in almost all domains of natural science from particle physics to cosmology. Many scientific laws govern the units in question, employing general terms (such as ‘molecule’ or ‘planet’) referring to the types and subtypes of units, and also to the types and subtypes of the processes through which such units develop and interact. The division of reality into such natural units is at the heart of biological science, as also is the fact that these units may form higher-level units (as cells form multicellular organisms) and that they may also form aggregates of units, for example as cells form portions of tissue and organs form families, herds, breeds, species, and so on. At the same time, the division of certain portions of reality into engineered units (manufactured artifacts) is the basis of modern industrial technology, which rests on the distributed mass production of engineered parts through division of labor and on their assembly into larger, compound units such as cars and laptops. The division of portions of reality into units is one starting point for the phenomenon of counting."@en, "BFO 2 Reference: Each object is such that there are entities of which we can assert unproblematically that they lie in its interior, and other entities of which we can assert unproblematically that they lie in its exterior. This may not be so for entities lying at or near the boundary between the interior and exterior. This means that two objects – for example the two cells depicted in Figure 3 – may be such that there are material entities crossing their boundaries which belong determinately to neither cell. Something similar obtains in certain cases of conjoined twins (see below)."@en, "BFO 2 Reference: To say that b is causally unified means: b is a material entity which is such that its material parts are tied together in such a way that, in environments typical for entities of the type in question,if c, a continuant part of b that is in the interior of b at t, is larger than a certain threshold size (which will be determined differently from case to case, depending on factors such as porosity of external cover) and is moved in space to be at t at a location on the exterior of the spatial region that had been occupied by b at t, then either b’s other parts will be moved in coordinated fashion or b will be damaged (be affected, for example, by breakage or tearing) in the interval between t and t.causal changes in one part of b can have consequences for other parts of b without the mediation of any entity that lies on the exterior of b. Material entities with no proper material parts would satisfy these conditions trivially. Candidate examples of types of causal unity for material entities of more complex sorts are as follows (this is not intended to be an exhaustive list):CU1: Causal unity via physical coveringHere the parts in the interior of the unified entity are combined together causally through a common membrane or other physical covering\\. The latter points outwards toward and may serve a protective function in relation to what lies on the exterior of the entity [13, 47"@en, "BFO 2 Reference: an object is a maximal causally unified material entity"@en, "BFO 2 Reference: ‘objects’ are sometimes referred to as ‘grains’ [74"@en ; obo:IAO_0000600 "b is an object means: b is a material entity which manifests causal unity of one or other of the types CUn listed above & is of a type (a material universal) instances of which are maximal relative to this criterion of causal unity. (axiom label in BFO2 Reference: [024-001])"@en ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "object"@en ; rdfs:subClassOf obo:BFO_0000040 . obo:BFO_0000031 obo:BFO_0000179 "gdc" ; obo:BFO_0000180 "GenericallyDependentContinuant" ; obo: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."@en, "the pdf file on your laptop, the pdf file that is a copy thereof on my laptop"@en, "the sequence of this protein molecule; the sequence that is a copy thereof in that protein molecule."@en ; obo:IAO_0000115 "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])"@en ; obo:IAO_0000602 "(iff (GenericallyDependentContinuant a) (and (Continuant a) (exists (b t) (genericallyDependsOnAt a b t)))) // axiom label in BFO2 CLIF: [074-001] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "generically dependent continuant"@en ; rdfs:subClassOf obo:BFO_0000002 . obo:BFO_0000034 obo:BFO_0000179 "function" ; obo:BFO_0000180 "Function" ; obo:IAO_0000112 "the function of a hammer to drive in nails"@en, "the function of a heart pacemaker to regulate the beating of a heart through electricity"@en, "the function of amylase in saliva to break down starch into sugar"@en ; obo:IAO_0000116 "BFO 2 Reference: In the past, we have distinguished two varieties of function, artifactual function and biological function. These are not asserted subtypes of BFO:function however, since the same function – for example: to pump, to transport – can exist both in artifacts and in biological entities. The asserted subtypes of function that would be needed in order to yield a separate monoheirarchy are not artifactual function, biological function, etc., but rather transporting function, pumping function, etc."@en ; obo:IAO_0000600 "A function is a disposition that exists in virtue of the bearer’s physical make-up and this physical make-up is something the bearer possesses because it came into being, either through evolution (in the case of natural biological entities) or through intentional design (in the case of artifacts), in order to realize processes of a certain sort. (axiom label in BFO2 Reference: [064-001])"@en ; obo:IAO_0000602 "(forall (x) (if (Function x) (Disposition x))) // axiom label in BFO2 CLIF: [064-001] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "function"@en ; rdfs:subClassOf obo:BFO_0000016 . obo:BFO_0000035 obo:BFO_0000179 "p-boundary" ; obo:BFO_0000180 "ProcessBoundary" ; obo:IAO_0000112 "the boundary between the 2nd and 3rd year of your life."@en ; obo:IAO_0000115 "p is a process boundary =Def. p is a temporal part of a process & p has no proper temporal parts. (axiom label in BFO2 Reference: [084-001])"@en ; obo:IAO_0000601 "Every process boundary occupies_temporal_region a zero-dimensional temporal region. (axiom label in BFO2 Reference: [085-002])"@en ; obo:IAO_0000602 "(forall (x) (if (ProcessBoundary x) (exists (y) (and (ZeroDimensionalTemporalRegion y) (occupiesTemporalRegion x y))))) // axiom label in BFO2 CLIF: [085-002] ", "(iff (ProcessBoundary a) (exists (p) (and (Process p) (temporalPartOf a p) (not (exists (b) (properTemporalPartOf b a)))))) // axiom label in BFO2 CLIF: [084-001] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "process boundary"@en ; rdfs:subClassOf obo:BFO_0000003 . obo:BFO_0000038 obo:BFO_0000179 "1d-t-region" ; obo:BFO_0000180 "OneDimensionalTemporalRegion" ; obo:IAO_0000112 "the temporal region during which a process occurs."@en ; obo:IAO_0000116 "BFO 2 Reference: A temporal interval is a special kind of one-dimensional temporal region, namely one that is self-connected (is without gaps or breaks)."@en ; obo:IAO_0000600 "A one-dimensional temporal region is a temporal region that is extended. (axiom label in BFO2 Reference: [103-001])"@en ; obo:IAO_0000602 "(forall (x) (if (OneDimensionalTemporalRegion x) (TemporalRegion x))) // axiom label in BFO2 CLIF: [103-001] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "one-dimensional temporal region"@en ; rdfs:subClassOf obo:BFO_0000008 ; owl:disjointWith obo:BFO_0000148 . obo:BFO_0000040 obo:BFO_0000179 "material" ; obo:BFO_0000180 "MaterialEntity" ; obo:IAO_0000112 "a flame"@en, "a forest fire"@en, "a human being"@en, "a hurricane"@en, "a photon"@en, "a puff of smoke"@en, "a sea wave"@en, "a tornado"@en, "an aggregate of human beings."@en, "an energy wave"@en, "an epidemic"@en, "the undetached arm of a human being"@en ; obo: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"@en, "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."@en, "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."@en ; obo: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])"@en ; obo:IAO_0000601 "Every entity which has a material entity as continuant part is a material entity. (axiom label in BFO2 Reference: [020-002])"@en, "every entity of which a material entity is continuant part is also a material entity. (axiom label in BFO2 Reference: [021-002])"@en ; obo:IAO_0000602 "(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] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "material entity"@en ; rdfs:subClassOf obo:BFO_0000004 ; owl:disjointWith obo:BFO_0000141 . obo:BFO_0000052 ace_lexicon:TV_pl "BFO_0000052" ; ace_lexicon:TV_sg "BFO_0000052s" ; ace_lexicon:TV_vbg "BFO_0000052ed" ; a owl:ObjectProperty ; rdfs:label "inheres in at all times"@en . obo:BFO_0000054 ace_lexicon:TV_pl "BFO_0000054" ; ace_lexicon:TV_sg "BFO_0000054s" ; ace_lexicon:TV_vbg "BFO_0000054ed" ; a owl:ObjectProperty ; rdfs:label "realized in"@en . obo:BFO_0000055 ace_lexicon:TV_pl "BFO_0000055" ; ace_lexicon:TV_sg "BFO_0000055s" ; ace_lexicon:TV_vbg "BFO_0000055ed" ; a owl:ObjectProperty ; rdfs:label "realizes"@en . obo:BFO_0000056 ace_lexicon:TV_pl "BFO_0000056" ; ace_lexicon:TV_sg "BFO_0000056s" ; ace_lexicon:TV_vbg "BFO_0000056ed" ; a owl:ObjectProperty ; rdfs:label "participates in at some time"@en . obo:BFO_0000057 ace_lexicon:TV_pl "BFO_0000057" ; ace_lexicon:TV_sg "BFO_0000057s" ; ace_lexicon:TV_vbg "BFO_0000057ed" ; a owl:ObjectProperty ; rdfs:label "has participant at some time"@en ; owl:propertyChainAxiom (obo:BFO_0000055 obo:BFO_0000052 ) . obo:BFO_0000107 ace_lexicon:TV_pl "BFO_0000107" ; ace_lexicon:TV_sg "BFO_0000107s" ; ace_lexicon:TV_vbg "BFO_0000107ed" ; a owl:ObjectProperty ; rdfs:label "disposition of at all times"@en . obo:BFO_0000110 ace_lexicon:TV_pl "BFO_0000110" ; ace_lexicon:TV_sg "BFO_0000110s" ; ace_lexicon:TV_vbg "BFO_0000110ed" ; a owl:ObjectProperty, owl:TransitiveProperty ; rdfs:label "has continuant part at all times"@en . obo:BFO_0000111 ace_lexicon:TV_pl "BFO_0000111" ; ace_lexicon:TV_sg "BFO_0000111s" ; ace_lexicon:TV_vbg "BFO_0000111ed" ; a owl:ObjectProperty, owl:TransitiveProperty ; rdfs:label "has proper continuant part at all times"@en ; rdfs:subPropertyOf obo:BFO_0000110 . obo:BFO_0000112 ace_lexicon:TV_pl "BFO_0000112" ; ace_lexicon:TV_sg "BFO_0000112s" ; ace_lexicon:TV_vbg "BFO_0000112ed" ; a owl:ObjectProperty ; rdfs:label "has disposition at some time"@en . obo:BFO_0000117 ace_lexicon:TV_pl "BFO_0000117" ; ace_lexicon:TV_sg "BFO_0000117s" ; ace_lexicon:TV_vbg "BFO_0000117ed" ; a owl:ObjectProperty, owl:TransitiveProperty ; rdfs:label "has occurrent part"@en ; owl:inverseOf obo:BFO_0000132 . obo:BFO_0000118 ace_lexicon:TV_pl "BFO_0000118" ; ace_lexicon:TV_sg "BFO_0000118s" ; ace_lexicon:TV_vbg "BFO_0000118ed" ; a owl:ObjectProperty, owl:TransitiveProperty ; rdfs:label "has proper occurrent part"@en ; rdfs:subPropertyOf obo:BFO_0000117 . obo:BFO_0000132 ace_lexicon:TV_pl "BFO_0000132" ; ace_lexicon:TV_sg "BFO_0000132s" ; ace_lexicon:TV_vbg "BFO_0000132ed" ; a owl:ObjectProperty, owl:TransitiveProperty ; rdfs:label "part of occurrent"@en . obo:BFO_0000140 obo:BFO_0000179 "cf-boundary" ; obo:BFO_0000180 "ContinuantFiatBoundary" ; obo:IAO_0000115 "b is a continuant fiat boundary = Def. b is an immaterial entity that is of zero, one or two dimensions and does not include a spatial region as part. (axiom label in BFO2 Reference: [029-001])"@en ; obo:IAO_0000116 "BFO 2 Reference: In BFO 1.1 the assumption was made that the external surface of a material entity such as a cell could be treated as if it were a boundary in the mathematical sense. The new document propounds the view that when we talk about external surfaces of material objects in this way then we are talking about something fiat. To be dealt with in a future version: fiat boundaries at different levels of granularity.More generally, the focus in discussion of boundaries in BFO 2.0 is now on fiat boundaries, which means: boundaries for which there is no assumption that they coincide with physical discontinuities. The ontology of boundaries becomes more closely allied with the ontology of regions."@en, "BFO 2 Reference: a continuant fiat boundary is a boundary of some material entity (for example: the plane separating the Northern and Southern hemispheres; the North Pole), or it is a boundary of some immaterial entity (for example of some portion of airspace). Three basic kinds of continuant fiat boundary can be distinguished (together with various combination kinds [29"@en, "Continuant fiat boundary doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the mereological sum of two-dimensional continuant fiat boundary and a one dimensional continuant fiat boundary that doesn't overlap it. The situation is analogous to temporal and spatial regions."@en ; obo:IAO_0000601 "Every continuant fiat boundary is located at some spatial region at every time at which it exists"@en ; obo:IAO_0000602 "(iff (ContinuantFiatBoundary a) (and (ImmaterialEntity a) (exists (b) (and (or (ZeroDimensionalSpatialRegion b) (OneDimensionalSpatialRegion b) (TwoDimensionalSpatialRegion b)) (forall (t) (locatedInAt a b t)))) (not (exists (c t) (and (SpatialRegion c) (continuantPartOfAt c a t)))))) // axiom label in BFO2 CLIF: [029-001] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "continuant fiat boundary"@en ; rdfs:subClassOf obo:BFO_0000141 . obo:BFO_0000141 obo:BFO_0000179 "immaterial" ; obo:BFO_0000180 "ImmaterialEntity" ; obo: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"@en ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "immaterial entity"@en ; rdfs:subClassOf obo:BFO_0000004 . obo:BFO_0000142 obo:BFO_0000179 "1d-cf-boundary" ; obo:BFO_0000180 "OneDimensionalContinuantFiatBoundary" ; obo:IAO_0000112 "The Equator"@en, "all geopolitical boundaries"@en, "all lines of latitude and longitude"@en, "the line separating the outer surface of the mucosa of the lower lip from the outer surface of the skin of the chin."@en, "the median sulcus of your tongue"@en ; obo:IAO_0000600 "a one-dimensional continuant fiat boundary is a continuous fiat line whose location is defined in relation to some material entity. (axiom label in BFO2 Reference: [032-001])"@en ; obo:IAO_0000602 "(iff (OneDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (OneDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [032-001] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "one-dimensional continuant fiat boundary"@en ; rdfs:subClassOf obo:BFO_0000140 ; owl:disjointWith obo:BFO_0000146, obo:BFO_0000147 . obo:BFO_0000144 obo:BFO_0000179 "process-profile" ; obo:BFO_0000180 "ProcessProfile" ; obo:IAO_0000112 "On a somewhat higher level of complexity are what we shall call rate process profiles, which are the targets of selective abstraction focused not on determinate quality magnitudes plotted over time, but rather on certain ratios between these magnitudes and elapsed times. A speed process profile, for example, is represented by a graph plotting against time the ratio of distance covered per unit of time. Since rates may change, and since such changes, too, may have rates of change, we have to deal here with a hierarchy of process profile universals at successive levels"@en, "One important sub-family of rate process profiles is illustrated by the beat or frequency profiles of cyclical processes, illustrated by the 60 beats per minute beating process of John’s heart, or the 120 beats per minute drumming process involved in one of John’s performances in a rock band, and so on. Each such process includes what we shall call a beat process profile instance as part, a subtype of rate process profile in which the salient ratio is not distance covered but rather number of beat cycles per unit of time. Each beat process profile instance instantiates the determinable universal beat process profile. But it also instantiates multiple more specialized universals at lower levels of generality, selected from rate process profilebeat process profileregular beat process profile3 bpm beat process profile4 bpm beat process profileirregular beat process profileincreasing beat process profileand so on.In the case of a regular beat process profile, a rate can be assigned in the simplest possible fashion by dividing the number of cycles by the length of the temporal region occupied by the beating process profile as a whole. Irregular process profiles of this sort, for example as identified in the clinic, or in the readings on an aircraft instrument panel, are often of diagnostic significance."@en, "The simplest type of process profiles are what we shall call ‘quality process profiles’, which are the process profiles which serve as the foci of the sort of selective abstraction that is involved when measurements are made of changes in single qualities, as illustrated, for example, by process profiles of mass, temperature, aortic pressure, and so on."@en ; obo:IAO_0000115 "b is a process_profile =Def. there is some process c such that b process_profile_of c (axiom label in BFO2 Reference: [093-002])"@en ; obo:IAO_0000600 "b process_profile_of c holds when b proper_occurrent_part_of c& there is some proper_occurrent_part d of c which has no parts in common with b & is mutually dependent on b& is such that b, c and d occupy the same temporal region (axiom label in BFO2 Reference: [094-005])"@en ; obo:IAO_0000602 "(forall (x y) (if (processProfileOf x y) (and (properContinuantPartOf x y) (exists (z t) (and (properOccurrentPartOf z y) (TemporalRegion t) (occupiesSpatioTemporalRegion x t) (occupiesSpatioTemporalRegion y t) (occupiesSpatioTemporalRegion z t) (not (exists (w) (and (occurrentPartOf w x) (occurrentPartOf w z))))))))) // axiom label in BFO2 CLIF: [094-005] ", "(iff (ProcessProfile a) (exists (b) (and (Process b) (processProfileOf a b)))) // axiom label in BFO2 CLIF: [093-002] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "process profile"@en ; rdfs:subClassOf obo:BFO_0000015 ; owl:disjointWith obo:BFO_0000182 . obo:BFO_0000145 obo:BFO_0000179 "r-quality" ; obo:BFO_0000180 "RelationalQuality" ; obo: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."@en, "a marriage bond, an instance of requited love, an obligation between one person and another."@en ; obo:IAO_0000115 "b is a relational quality = Def. for some independent continuants c, d and for some time t: b quality_of c at t & b quality_of d at t. (axiom label in BFO2 Reference: [057-001])"@en ; obo:IAO_0000602 "(iff (RelationalQuality a) (exists (b c t) (and (IndependentContinuant b) (IndependentContinuant c) (qualityOfAt a b t) (qualityOfAt a c t)))) // axiom label in BFO2 CLIF: [057-001] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "relational quality"@en ; rdfs:subClassOf obo:BFO_0000019 . obo:BFO_0000146 obo:BFO_0000179 "2d-cf-boundary" ; obo:BFO_0000180 "TwoDimensionalContinuantFiatBoundary" ; obo:IAO_0000600 "a two-dimensional continuant fiat boundary (surface) is a self-connected fiat surface whose location is defined in relation to some material entity. (axiom label in BFO2 Reference: [033-001])"@en ; obo:IAO_0000602 "(iff (TwoDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (TwoDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [033-001] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "two-dimensional continuant fiat boundary"@en ; rdfs:subClassOf obo:BFO_0000140 . obo:BFO_0000147 obo:BFO_0000179 "0d-cf-boundary" ; obo:BFO_0000180 "ZeroDimensionalContinuantFiatBoundary" ; obo:IAO_0000112 "the geographic North Pole"@en, "the point of origin of some spatial coordinate system."@en, "the quadripoint where the boundaries of Colorado, Utah, New Mexico, and Arizona meet"@en ; obo:IAO_0000116 "zero dimension continuant fiat boundaries are not spatial points. Considering the example 'the quadripoint where the boundaries of Colorado, Utah, New Mexico, and Arizona meet' : There are many frames in which that point is zooming through many points in space. Whereas, no matter what the frame, the quadripoint is always in the same relation to the boundaries of Colorado, Utah, New Mexico, and Arizona."@en ; obo:IAO_0000600 "a zero-dimensional continuant fiat boundary is a fiat point whose location is defined in relation to some material entity. (axiom label in BFO2 Reference: [031-001])"@en ; obo:IAO_0000602 "(iff (ZeroDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (ZeroDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [031-001] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "zero-dimensional continuant fiat boundary"@en ; rdfs:subClassOf obo:BFO_0000140 . obo:BFO_0000148 obo:BFO_0000179 "0d-t-region" ; obo:BFO_0000180 "ZeroDimensionalTemporalRegion" ; obo:IAO_0000112 "a temporal region that is occupied by a process boundary"@en, "right now"@en, "the moment at which a child is born"@en, "the moment at which a finger is detached in an industrial accident"@en, "the moment of death."@en ; obo:IAO_0000118 "temporal instant."@en ; obo:IAO_0000600 "A zero-dimensional temporal region is a temporal region that is without extent. (axiom label in BFO2 Reference: [102-001])"@en ; obo:IAO_0000602 "(forall (x) (if (ZeroDimensionalTemporalRegion x) (TemporalRegion x))) // axiom label in BFO2 CLIF: [102-001] " ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "zero-dimensional temporal region"@en ; rdfs:subClassOf obo:BFO_0000008 . obo:BFO_0000163 ace_lexicon:TV_pl "BFO_0000163" ; ace_lexicon:TV_sg "BFO_0000163s" ; ace_lexicon:TV_vbg "BFO_0000163ed" ; a owl:ObjectProperty ; rdfs:label "material basis of at all times"@en . obo:BFO_0000167 ace_lexicon:TV_pl "BFO_0000167" ; ace_lexicon:TV_sg "BFO_0000167s" ; ace_lexicon:TV_vbg "BFO_0000167ed" ; a owl:ObjectProperty ; rdfs:label "has participant at all times"@en . obo:BFO_0000176 ace_lexicon:TV_pl "BFO_0000176" ; ace_lexicon:TV_sg "BFO_0000176s" ; ace_lexicon:TV_vbg "BFO_0000176ed" ; a owl:ObjectProperty ; rdfs:label "part of continuant at some time"@en . obo:BFO_0000179 obo:IAO_0000115 "Relates an entity in the ontology to the name of the variable that is used to represent it in the code that generates the BFO OWL file from the lispy specification."@en ; obo:IAO_0000232 "Really of interest to developers only"@en ; a owl:AnnotationProperty ; rdfs:label "BFO OWL specification label"@en ; rdfs:subPropertyOf rdfs:label . obo:BFO_0000180 obo:IAO_0000115 "Relates an entity in the ontology to the term that is used to represent it in the the CLIF specification of BFO2"@en ; obo:IAO_0000119 "Person:Alan Ruttenberg" ; obo:IAO_0000232 "Really of interest to developers only"@en ; a owl:AnnotationProperty ; rdfs:label "BFO CLIF specification label"@en ; rdfs:subPropertyOf rdfs:label . obo:BFO_0000182 obo:BFO_0000179 "history" ; obo:BFO_0000180 "History" ; obo:IAO_0000600 "A history is a process that is the sum of the totality of processes taking place in the spatiotemporal region occupied by a material entity or site, including processes on the surface of the entity or within the cavities to which it serves as host. (axiom label in BFO2 Reference: [138-001])"@en ; a owl:Class ; rdfs:isDefinedBy ; rdfs:label "history"@en ; rdfs:subClassOf obo:BFO_0000015 . obo:GO_0001661 obo:IAO_0000115 "A conditioned aversion to a specific chemical compound as a result of that compound being coupled with a noxious stimulus."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "conditioned taste aversion"^^xsd:string ; rdfs:subClassOf obo:GO_0007631, obo:GO_0008306 . obo:GO_0001662 obo:IAO_0000115 "An acute behavioral change resulting from a perceived external threat."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "behavioral fear response"^^xsd:string ; rdfs:subClassOf obo:GO_0002209 . obo:GO_0001967 obo:IAO_0000115 "Specific behavior of a newborn or infant mammal that results in the derivation of nourishment from the breast."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "suckling behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007631, obo:GO_0051705 . obo:GO_0002023 obo:IAO_0000115 "An eating behavior process whereby detection of a dietary excess results in a decrease in intake of nutrients."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "reduction of food intake in response to dietary excess"^^xsd:string ; rdfs:subClassOf obo:GO_0042755 . obo:GO_0002118 obo:IAO_0000115 "A behavioral interaction between organisms in which one organism has the intention of inflicting physical damage on another individual."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "aggressive behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0051705 . obo:GO_0002120 obo:IAO_0000115 "Aggressive behavior involving attack on prey by a predator."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "predatory behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0002118 . obo:GO_0002121 obo:IAO_0000115 "Aggressive behavior based on competition between males of the same species over access to resources such as females, dominance, status, etc. and characterized by noise, threats, and is often less injurious."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "inter-male aggressive behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0002118 . obo:GO_0002122 obo:IAO_0000115 "Aggressive behavior associated with attempts to flee from a threat."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "fear-induced aggressive behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0002118 . obo:GO_0002123 obo:IAO_0000115 "Aggressive behavior induced by frustration and directed against an available target."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "irritable aggressive behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0002118 . obo:GO_0002124 obo:IAO_0000115 "Aggressive behavior performed in defence of a fixed area against intruders, typically conspecifics."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "territorial aggressive behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0002118 . obo:GO_0002125 obo:IAO_0000115 "Aggressive behavior of a female to protect her offspring from a threat."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "maternal aggressive behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0002118 . obo:GO_0002126 obo:IAO_0000115 "Aggressive behavior directed towards obtaining some goal, considered to be a learned response to a situation."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "instrumental aggressive behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0002118 . obo:GO_0002209 obo:IAO_0000115 "A behavioral response seeking to protect an organism from an a perceived external threat to that organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "behavioral defense response"^^xsd:string ; rdfs:subClassOf obo:GO_0007610 . obo:GO_0002210 obo:IAO_0000115 "A behavioral response resulting from wounding."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "behavioral response to wounding"^^xsd:string ; rdfs:subClassOf obo:GO_0007610 . obo:GO_0002211 obo:IAO_0000115 "A behavioral response seeking to protect an organism from an a perceived external threat from an insect or insects to that organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "behavioral defense response to insect"^^xsd:string ; rdfs:subClassOf obo:GO_0002209, obo:GO_0051705 . obo:GO_0002212 obo:IAO_0000115 "A behavioral response seeking to protect an organism from an a perceived external threat from a nematode or nematodes to that organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "behavioral defense response to nematode"^^xsd:string ; rdfs:subClassOf obo:GO_0002209, obo:GO_0051705 . obo:GO_0003051 obo:IAO_0000115 "The drinking behavior that is mediated by the action of angiotensin in the brain. Angiotensin stimulates the brain centers that control thirst."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "angiotensin-mediated drinking behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0042756 . obo:GO_0007600 a owl:Class ; rdfs:subClassOf obo:MF_0000019 . obo:GO_0007610 obo:IAO_0000115 "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."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "behavior"^^xsd:string ; rdfs:subClassOf obo:OGMS_0000060 . obo:GO_0007611 obo:IAO_0000115 "The acquisition and processing of information and/or the storage and retrieval of this information over time."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "learning or memory"^^xsd:string ; rdfs:subClassOf obo:GO_0007610 . obo:GO_0007612 obo:IAO_0000115 "Any process in an organism in which a relatively long-lasting adaptive behavioral change occurs as the result of experience."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "learning"^^xsd:string ; rdfs:subClassOf obo:GO_0007611, obo:MF_0000020 . obo:GO_0007613 obo:IAO_0000115 "The activities involved in the mental information processing system that receives (registers), modifies, stores, and retrieves informational stimuli. The main stages involved in the formation and retrieval of memory are encoding (processing of received information by acquisition), storage (building a permanent record of received information as a result of consolidation) and retrieval (calling back the stored information and use it in a suitable way to execute a given task)."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "memory"^^xsd:string ; rdfs:subClassOf obo:GO_0007611 . obo:GO_0007614 obo:IAO_0000115 "The memory process that deals with the storage, retrieval and modification of information received a short time (up to about 30 minutes) ago. This type of memory is typically dependent on direct, transient effects of second messenger activation."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "short-term memory"^^xsd:string ; rdfs:subClassOf obo:GO_0007613 . obo:GO_0007615 obo:IAO_0000115 "The memory process that results in the formation of consolidated memory resistant to disruption of the patterned activity of the brain, without requiring protein synthesis."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "anesthesia-resistant memory"^^xsd:string ; rdfs:subClassOf obo:GO_0007613 . obo:GO_0007616 obo:IAO_0000115 "The memory process that deals with the storage, retrieval and modification of information a long time (typically weeks, months or years) after receiving that information. This type of memory is typically dependent on gene transcription regulated by second messenger activation."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "long-term memory"^^xsd:string ; rdfs:subClassOf obo:GO_0007613 . obo:GO_0007617 obo:IAO_0000115 "The behavioral interactions between organisms for the purpose of mating, or sexual reproduction resulting in the formation of zygotes."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "mating behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0019098 . obo:GO_0007619 obo:IAO_0000115 "The behavioral interactions between organisms for the purpose of attracting sexual partners."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "courtship behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007617 . obo:GO_0007621 obo:IAO_0000115 "Any process that stops, prevents or reduces the receptiveness of a female to male advances."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "negative regulation of female receptivity"^^xsd:string ; rdfs:subClassOf obo:GO_0045924 . obo:GO_0007622 obo:IAO_0000115 "The specific behavior of an organism that recur with measured regularity."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "rhythmic behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007610 . obo:GO_0007625 obo:IAO_0000115 "The specific behavior of an organism relating to grooming, cleaning and brushing to remove dirt and parasites."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "grooming behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007610 . obo:GO_0007626 obo:IAO_0000115 "The specific movement from place to place of an organism in response to external or internal stimuli. Locomotion of a whole organism in a manner dependent upon some combination of that organism's internal state and external conditions."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "locomotory behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007610 . obo:GO_0007628 obo:IAO_0000115 "The behavior of an adult relating to the progression of that organism along the ground by the process of lifting and setting down each leg."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "adult walking behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0008344, obo:GO_0090659 . obo:GO_0007629 obo:IAO_0000115 "The response to external or internal stimuli that results in the locomotory process of flight. Flight is the self-propelled movement of an organism through the air."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "flight behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0008344 . obo:GO_0007630 obo:IAO_0000115 "The sudden, usually upward, movement off the ground or other surface through sudden muscular effort in the legs, following exposure to an external stimulus."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "jump response"^^xsd:string ; rdfs:subClassOf obo:GO_0008344 . obo:GO_0007631 obo:IAO_0000115 "Behavior associated with the intake of food."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "feeding behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007610 . obo:GO_0007632 obo:IAO_0000115 "The behavior of an organism in response to a visual stimulus."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "visual behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007610 . obo:GO_0007633 obo:IAO_0000115 "The actions or reactions of an individual in response to the orientation of a visual pattern. This is exemplified by some classes of insects which are able to detect and learn the orientation of a set of stripes and subsequently behaviorally discriminate between horizontal, vertical or 45 degree stripes."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "pattern orientation"^^xsd:string ; rdfs:subClassOf obo:GO_0007632 . obo:GO_0007634 obo:IAO_0000115 "The behavior of an organism pertaining to movement of the eyes and of objects in the visual field, as in nystagmus."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "optokinetic behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007632 . obo:GO_0007635 obo:IAO_0000115 "Behavior that is dependent upon the sensation of chemicals."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "chemosensory behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007610 . obo:GO_0007636 obo:IAO_0000115 "The sudden, usually upward, movement off the ground or other surface through sudden muscular effort in the legs, following exposure to a chemical substance."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "chemosensory jump behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007630, obo:GO_0007635 . obo:GO_0007637 obo:IAO_0000115 "The extension, through direct muscle actions, of the proboscis (the trunk-like extension of the mouthparts on the adult external head) in response to a sugar stimulus."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "proboscis extension reflex"^^xsd:string ; rdfs:subClassOf obo:GO_0007635, obo:GO_0051780 . obo:GO_0007638 obo:IAO_0000115 "Behavior that is dependent upon the sensation of a mechanical stimulus."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "mechanosensory behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007610 . obo:GO_0008049 obo:IAO_0000115 "The behavior of a male, for the purpose of attracting a sexual partner. An example of this process is found in Drosophila melanogaster."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "male courtship behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0060179 . obo:GO_0008050 obo:IAO_0000115 "The behavior of a female, for the purpose of attracting a sexual partner."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "female courtship behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0060180 . obo:GO_0008062 obo:IAO_0000115 "The timing of the emergence of the adult fly from its pupal case, which usually occurs at dawn."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "eclosion rhythm"^^xsd:string ; rdfs:subClassOf obo:GO_0048512 . obo:GO_0008306 obo:IAO_0000115 "Learning by associating a stimulus (the cause) with a particular outcome (the effect)."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "associative learning"^^xsd:string ; rdfs:subClassOf obo:GO_0007612 . obo:GO_0008343 obo:IAO_0000115 "Feeding behavior in a fully developed and mature organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "adult feeding behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007631, obo:GO_0030534 . obo:GO_0008344 obo:IAO_0000115 "Locomotory behavior in a fully developed and mature organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "adult locomotory behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007626, obo:GO_0030534 . obo:GO_0008345 obo:IAO_0000115 "Locomotory behavior in a larval (immature) organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "larval locomotory behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007626, obo:GO_0030537 . obo:GO_0008346 obo:IAO_0000115 "The behavior of a larval organism relating to the progression of that organism along the ground by the process of lifting and setting down each leg."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "larval walking behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0008345, obo:GO_0090659 . obo:GO_0008355 obo:IAO_0000115 "Any process in an organism in which a relatively long-lasting adaptive behavioral change occurs in response to (repeated) exposure to an olfactory cue."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "olfactory learning"^^xsd:string ; rdfs:subClassOf obo:GO_0008306, obo:GO_0042048 . obo:GO_0008542 obo:IAO_0000115 "Any process in an organism in which a change in behavior of an individual occurs in response to repeated exposure to a visual cue."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "visual learning"^^xsd:string ; rdfs:subClassOf obo:GO_0007632, obo:GO_0008306 . obo:GO_0016543 obo:IAO_0000115 "The process during courtship, where the male orients towards a potential partner. An example of this is found in Drosophila melanogaster."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "male courtship behavior, orientation prior to leg tapping and wing vibration"^^xsd:string ; rdfs:subClassOf obo:GO_0008049 . obo:GO_0016544 obo:IAO_0000115 "The process during courtship where the male insect taps the female with his frontal leg. An example of this is found in Drosophila melanogaster."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "male courtship behavior, tapping to detect pheromone"^^xsd:string ; rdfs:subClassOf obo:GO_0008049 . obo:GO_0016545 obo:IAO_0000115 "The process during courtship where the male insect vibrates his wings. An example of this is found in Drosophila melanogaster."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "male courtship behavior, veined wing vibration"^^xsd:string ; rdfs:subClassOf obo:GO_0048065 . obo:GO_0016546 obo:IAO_0000115 "The process during courtship where the male fly licks the genitalia of a stationary female fly with his proboscis. An example of this is found in Drosophila melanogaster."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "male courtship behavior, proboscis-mediated licking"^^xsd:string ; rdfs:subClassOf obo:GO_0008049 . obo:GO_0018991 obo:IAO_0000115 "The deposition of eggs (either fertilized or not) upon a surface or into a medium such as water."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "oviposition"^^xsd:string ; rdfs:subClassOf obo:GO_0019098 . obo:GO_0019098 obo:IAO_0000115 "The specific behavior of an organism that is associated with reproduction."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "reproductive behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007610 . obo:GO_0022410 obo:IAO_0000115 "A behavioral process involved in the cycle from wakefulness through an orderly succession of sleep states and stages that occurs on an approximately 24 hour rhythm."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "circadian sleep/wake cycle process"^^xsd:string ; rdfs:subClassOf obo:GO_0048512 . obo:GO_0030534 obo:IAO_0000115 "Behavior in a fully developed and mature organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "adult behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007610 . obo:GO_0030536 obo:IAO_0000115 "Feeding behavior in a larval (immature) organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "larval feeding behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007631, obo:GO_0030537 . obo:GO_0030537 obo:IAO_0000115 "Behavior in a larval form of an organism, an immature organism that must undergo metamorphosis to assume adult characteristics."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "larval behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007610 . obo:GO_0031223 obo:IAO_0000115 "The behavior of an organism in response to a sound."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "auditory behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007638 . obo:GO_0032537 obo:IAO_0000115 "The specific behavior of an organism that are associated with finding a host organism; may include behavioral responses to light, temperature, or chemical emanations from the prospective host."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "host-seeking behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007610 . obo:GO_0034606 obo:IAO_0000115 "The response by the male to a hermaphrodite after initial contact following mate finding. The male stops forward locomotion, presses the ventral side of his tail against his partner's body, and begins moving backward along the hermaphrodite. Male response behavior is initiated when sensory neurons located in the rays of his tail contact a potential mate."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "response to hermaphrodite contact"^^xsd:string ; rdfs:subClassOf obo:GO_0060179 . obo:GO_0034607 obo:IAO_0000115 "The sharp ventral turn performed by the male as he approaches either the hermaphrodite head or tail, whilst trying to locate his partner's vulva. Turning occurs via a sharp ventral coil of the male's tail."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "turning behavior involved in mating"^^xsd:string ; rdfs:subClassOf obo:GO_0035178, obo:GO_0060179 . obo:GO_0034608 obo:IAO_0000115 "Location, by the male, of his partner's vulva when backing along the ventral side of the hermaphrodite during mating. The male stops at the vulva, coordinates his movements to the hermaphrodite's, and positions his tail precisely over the vulva so that he may insert his spicules and ejaculate."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "vulval location"^^xsd:string ; rdfs:subClassOf obo:GO_0060179 . obo:GO_0034609 obo:IAO_0000115 "Insertion of the male copulatory spicules into the hermaphrodite. Spicule insertion behavior initiates when the male cloaca contacts the vulva. During most mating encounters, the spicule tips will prod the vulva continuously until they partially penetrate, which then causes the protractors to contract completely so that the spicules extend through the vulva."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "spicule insertion"^^xsd:string ; rdfs:subClassOf obo:GO_0060179 . obo:GO_0035095 obo:IAO_0000115 "Any process that results in a change in the behavior of an organism as a result of a nicotine stimulus."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "behavioral response to nicotine"^^xsd:string ; rdfs:subClassOf obo:GO_0030534 . obo:GO_0035106 obo:IAO_0000115 "Learning to anticipate future events on the basis of past experience with the consequences of one's own behavior."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "operant conditioning"^^xsd:string ; rdfs:subClassOf obo:GO_0007612 . obo:GO_0035176 obo:IAO_0000115 "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."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "social behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0051705 . obo:GO_0035177 obo:IAO_0000115 "The movement of a larva through a feeding substrate whilst feeding on food."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "larval foraging behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0030537, obo:GO_0060756 . obo:GO_0035178 obo:IAO_0000115 "Fine-tuning the spatial position of an organism in response to variability in their environment. For example, reorientation of an organism in the direction of a food source."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "turning behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007626 . obo:GO_0035179 obo:IAO_0000115 "Fine-tuning the spatial position of a larva in response to variability in their environment. For example, reorientation of a larva in the direction of a food source."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "larval turning behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0008345, obo:GO_0035178 . obo:GO_0035180 obo:IAO_0000115 "The movement of a third instar larva through a substrate in search of a pupation site. This movement occurs without feeding and is characterized by short bursts of forward movement, separated by stops and repeated side-to-side head probes, followed normally by a change in direction."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "larval wandering behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0008345 . obo:GO_0035181 obo:IAO_0000115 "Digging into the substrate by non-feeding larvae in search for food-free sites suitable for pupation."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "larval burrowing behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0008345 . obo:GO_0035187 obo:IAO_0000115 "The specific behavior of an organism during the emergence from an egg shell. In Drosophila for example, the larva swings its head reiteratively through a semicircular arc, using its mouth hooks to tear apart the chorion in front of it and thus free itself from within the egg shell."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "hatching behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007610 . obo:GO_0035199 obo:IAO_0000115 "The specific avoidance actions or reactions of an organism in response to the perception of salt."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "salt aversion"^^xsd:string ; rdfs:subClassOf obo:GO_0007631 . obo:GO_0035640 obo:IAO_0000115 "The specific behavior of an organism in response to a novel environment or stimulus."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "exploration behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007610 . obo:GO_0035641 obo:IAO_0000115 "The specific movement from place to place of an organism in response to a novel environment."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "locomotory exploration behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007626, obo:GO_0035640 . obo:GO_0035648 obo:IAO_0000115 "The fluctuation in mating behavior that occurs over an approximately 24 hour cycle."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "circadian mating behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007617, obo:GO_0048512 . obo:GO_0035737 obo:IAO_0000115 "The process of forcing a substance into another organism, either by penetrating the skin of the other organism or by applying the substance externally to a sensitive tissue such as those that surround the eyes."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "injection of substance in to other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0051705 . obo:GO_0035738 obo:IAO_0000115 "The process which begins with venom being forced into an organism by the bite or sting of another organism, and ends with the manifestation of some change or damage to the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in modification of morphology or physiology of other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0035737 . obo:GO_0036269 obo:IAO_0000115 "The response to external or internal stimuli that results in the locomotory process of swimming. Swimming is the self-propelled movement of an organism through the water."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "swimming behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007626 . obo:GO_0036343 obo:IAO_0000115 "The specific behavior of an organism that combines cognitive functions and physical movement. For example, driving a car, throwing a ball, or playing a musical instrument."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "psychomotor behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0061744 . obo:GO_0040040 obo:IAO_0000115 "Behavior that is dependent upon the sensation of temperature."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "thermosensory behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007610 . obo:GO_0042048 obo:IAO_0000115 "The behavior of an organism in response to an odor."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "olfactory behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007635 . obo:GO_0042297 obo:IAO_0000115 "A behavioral process whose outcome is a relatively long-lasting behavioral change whereby an organism modifies innate vocalizations to imitate sounds produced by others."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "vocal learning"^^xsd:string ; rdfs:subClassOf obo:GO_0031223, obo:GO_0098596, obo:GO_0098598 . obo:GO_0042628 obo:IAO_0000115 "The deposition of a plug of sperm or other gelatinous material into the opening of the vulva by a male at the termination of copulation. Probably acts to prevent subsequent matings by other males."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "mating plug formation"^^xsd:string ; rdfs:subClassOf obo:GO_0007617, obo:GO_0045297 . obo:GO_0042630 obo:IAO_0000115 "Any process that results in a change in the behavior of an organism as a result of deprivation of water."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "behavioral response to water deprivation"^^xsd:string ; rdfs:subClassOf obo:GO_0007610 . obo:GO_0042711 obo:IAO_0000115 "Female behaviors associated with the care and rearing of offspring."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "maternal behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0060746 . obo:GO_0042712 obo:IAO_0000115 "Male behaviors associated with the care and rearing offspring."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "paternal behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0060746 . obo:GO_0042745 obo:IAO_0000115 "The cycle from wakefulness through an orderly succession of sleep states and stages that occurs on an approximately 24 hour rhythm."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "circadian sleep/wake cycle"^^xsd:string ; rdfs:subClassOf obo:GO_0048512 . obo:GO_0042746 obo:IAO_0000115 "The part of the circadian sleep/wake cycle where the organism is not asleep."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "circadian sleep/wake cycle, wakefulness"^^xsd:string ; rdfs:subClassOf obo:GO_0022410 . obo:GO_0042747 obo:IAO_0000115 "A stage in the circadian sleep cycle during which dreams occur and the body undergoes marked changes including rapid eye movement, loss of reflexes, and increased pulse rate and brain activity."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "circadian sleep/wake cycle, REM sleep"^^xsd:string ; rdfs:subClassOf obo:GO_0022410 . obo:GO_0042748 obo:IAO_0000115 "All sleep stages in the circadian sleep/wake cycle other than REM sleep. These stages are characterized by a slowing of brain waves and other physiological functions."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "circadian sleep/wake cycle, non-REM sleep"^^xsd:string ; rdfs:subClassOf obo:GO_0022410 . obo:GO_0042755 obo:IAO_0000115 "The specific behavior of an organism relating to the intake of food, any substance (usually solid) that can be metabolized by an organism to give energy and build tissue."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "eating behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007631 . obo:GO_0042756 obo:IAO_0000115 "The specific behavior of an organism relating to the intake of liquids, especially water."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "drinking behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007631 . obo:GO_0043050 obo:IAO_0000115 "The contraction and relaxation movements of the pharyngeal muscle that mediate feeding in nematodes."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "pharyngeal pumping"^^xsd:string ; rdfs:subClassOf obo:GO_0042755 . obo:GO_0044358 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with vascular damage and hemorrhage in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in hemorrhagic damage to other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0035738 . obo:GO_0044365 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with a resultant change to the frequency, rate or extent of platelet aggregation in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in modulation of platelet aggregation in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044468 . obo:GO_0044370 obo:IAO_0000115 "The process of forcing a substance into the bloodstream of another organism, whilst feeding on blood of other organism. The substance may facilitate the feeding process, e.g. by preventing the blood from clotting."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "injection of substance into other organism during feeding on blood of other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0035737 . obo:GO_0044398 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the swelling of soft tissues of the bitten organism as a result of excess water accumulation."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in induction of edema in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0035738 . obo:GO_0044468 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the modulation of the frequency, rate or extent of blood coagulation in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in modulation of blood coagulation in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0035738 . obo:GO_0044469 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant activation, maintenance or an increase in the frequency, rate or extent of blood coagulation in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in positive regulation of blood coagulation in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044468, obo:GO_0044483 . obo:GO_0044470 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant stopping, prevention or reduction in the frequency, rate or extent of blood coagulation in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in negative regulation of blood coagulation in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044468, obo:GO_0044483 . obo:GO_0044471 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the aggregation, arrangement and bonding together of a set of components to form a pore complex in a membrane of the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in pore formation in membrane of other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0035738 . obo:GO_0044472 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with a resultant change in the activity of a calcium channel in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in modulation of calcium channel activity in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044560 . obo:GO_0044473 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant stopping, prevention or reduction of the activity of a calcium channel in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in negative regulation of calcium channel activity in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044472 . obo:GO_0044474 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant stopping, prevention or reduction of the activity of a voltage-gated calcium channel in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in negative regulation of voltage-gated calcium channel activity in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044473 . obo:GO_0044475 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant stopping, prevention or reduction of the activity of a high voltage-gated calcium channel in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in negative regulation of high voltage-gated calcium channel activity in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044474 . obo:GO_0044476 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant stopping, prevention or reduction of the activity of a low voltage-gated calcium channel in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in negative regulation of low voltage-gated calcium channel activity in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044474 . obo:GO_0044477 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant stopping, prevention or reduction in the frequency, rate or extent of platelet aggregation in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in negative regulation of platelet aggregation in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044365 . obo:GO_0044478 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant activation, maintenance or an increase in the frequency, rate or extent of platelet aggregation in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in positive regulation of platelet aggregation in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044365, obo:GO_0044469 . obo:GO_0044479 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant modulation of blood mast cell degranulation in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in modulation of mast cell degranulation in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0035738 . obo:GO_0044480 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant positive regulation of blood mast cell degranulation in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in positive regulation of mast cell degranulation in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044479 . obo:GO_0044481 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant hydrolysis of proteins in of the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in proteolysis in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0035738 . obo:GO_0044482 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism which causes damage to the extracellular matrix of the blood vessels of the bitten organism, ultimately resulting in hemorrhage in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in blood vessel extracellular matrix damage, causing hemorrhagic damage in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044358 . obo:GO_0044483 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the inhibition of the process of hemostasis - the stopping of bleeding or the arrest of the circulation to an organ or part - in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in impairment of hemostasis in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0035738 . obo:GO_0044484 obo:IAO_0000115 "The process which begins with venom being forced into an organism by the bite or sting of another organism, and ends with fibrinolysis, a process that solubilizes fibrin, chiefly by the proteolytic action of plasmin, in the bloodstream of the bitten/stung organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in fibrinolysis in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044483 . obo:GO_0044485 obo:IAO_0000115 "The process which begins with venom being forced into an organism by the bite or sting of another organism, and ends with fibrinogenolysis, a process that degrades fibrinogen at a variety of Arg-Lys bonds, thus impairing fibrinogen clotting in the bloodstream of the bitten/stung organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in fibrinogenolysis in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044536 . obo:GO_0044487 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant modulation of the transmission of nerve impulses in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in modulation of transmission of nerve impulse in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0035738 . obo:GO_0044492 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with a resultant change in the activity of a voltage-gated sodium channel in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in modulation of voltage-gated sodium channel activity in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044560 . obo:GO_0044493 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant stopping, prevention or reduction of the activity of a voltage-gated sodium channel in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in negative regulation of voltage-gated sodium channel activity in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044492 . obo:GO_0044494 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant activation or increase in the activity of the activity of a voltage-gated sodium channel in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in positive regulation of voltage-gated sodium channel activity in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044492 . obo:GO_0044498 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant modulation of the force with which blood travels through the circulatory system of the bitten/stung organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in modulation of blood pressure in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0035738 . obo:GO_0044499 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant increase of the force with which blood travels through the circulatory system of the bitten/stung organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in positive regulation of blood pressure in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044498 . obo:GO_0044500 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant decrease of the force with which blood travels through the circulatory system of the bitten/stung organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in negative regulation of blood pressure in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044498 . obo:GO_0044509 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant modulation of signal transduction in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in modulation of signal transduction in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0035738 . obo:GO_0044510 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant positive regulation of signal transduction in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in positive regulation of signal transduction in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044509 . obo:GO_0044511 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant modulation of receptor activity in of the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in modulation of receptor activity in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0035738 . obo:GO_0044512 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant modulation of glucagon-like peptide receptor 1 activity in of the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in modulation of glucagon-like peptide receptor 1 activity in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044511 . obo:GO_0044513 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant modulation of G-protein coupled receptor activity in of the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in modulation of G-protein coupled receptor activity in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044511 . obo:GO_0044514 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant positive regulation of G-protein coupled receptor activity in of the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in positive regulation of G-protein coupled receptor activity in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044513 . obo:GO_0044515 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant positive regulation of glucagon-like peptide receptor 1 activity in of the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in positive regulation of glucagon-like peptide receptor 1 activity in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044512 . obo:GO_0044519 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant modulation of the activity of a vasoactive intestinal polypeptide receptor in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in modulation of vasoactive intestinal polypeptide receptor activity in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044511 . obo:GO_0044520 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant positive regulation of the activity of a vasoactive intestinal polypeptide receptor in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in positive regulation of vasoactive intestinal polypeptide receptor activity in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044519 . obo:GO_0044521 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with resultant muscle damage in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in muscle damage in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0035738 . obo:GO_0044522 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, killing heart myocytes and ultimately resulting in muscle damage in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in myocyte killing in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044521 . obo:GO_0044523 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, damaging the extracellular matrix of muscle cells and ultimately resulting in muscle necrosis in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in damage of muscle extracellular matrix in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044521 . obo:GO_0044534 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant modulation of apoptosis in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in modulation of apoptotic process in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0035738 . obo:GO_0044536 obo:IAO_0000115 "The process which begins with venom being forced into an organism by the bite or sting of another organism, and ends with a reduction in the quantity of fibrinogen found in the bloodstream of the bitten/stung organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in depletion of circulating fibrinogen in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044483 . obo:GO_0044543 obo:IAO_0000115 "The process which begins with venom being forced into an organism by the bite or sting of another organism, and ends with the proteolytic processing of an inactive enzyme to an active form."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in zymogen activation in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0035738 . obo:GO_0044544 obo:IAO_0000115 "The process which begins with venom being forced into an organism by the bite or sting of another organism, and ends with the activation of plasminogen into plasmin in the bitten organism. This process includes cleavage at an internal Arg-Val site to form an N-terminal A-chain and C-terminal B-chain held together by a disulfide bond, and can include further proteolytic cleavage events to remove the preactivation peptide."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in plasminogen activation in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044484 . obo:GO_0044551 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with resultant vasodilation of blood vessels, usually causing a reduction in blood pressure, in the bitten/stung organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in vasodilation in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044500 . obo:GO_0044556 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the negative regulation of the heart rate of the bitten/stung organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in negative regulation of heart rate of other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0035738 . obo:GO_0044559 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with a resultant change in the activity of a voltage-gated potassium channel in the bitten/stung organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in modulation of voltage-gated potassium channel activity in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044560 . obo:GO_0044560 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with a resultant change in the activity of an ion channel in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in modulation of ion channel activity in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0035738 . obo:GO_0044562 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with a resultant negative regulation of the activity of a voltage-gated potassium channel in the bitten/stung organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in negative regulation of voltage-gated potassium channel activity in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044559 . obo:GO_0044563 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with a resultant slowing of the activation kinetics of the activity of a voltage-gated potassium channel in the bitten/stung organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in slowing of activation kinetics of voltage-gated potassium channel in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044562 . obo:GO_0044564 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with a resultant blocking of a voltage-gated potassium channel, inhibiting the pore's activity, in the bitten/stung organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in occlusion of the pore of voltage-gated potassium channel in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044562 . obo:GO_0044624 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the modulation of cell migration in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in modulation of cell migration in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0035738 . obo:GO_0044625 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the negative regulation of cell migration in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in negative regulation of cell migration in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044624 . obo:GO_0044626 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the positive regulation of cell migration in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in positive regulation of cell migration in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044624 . obo:GO_0044636 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the regulation of complement activation via the classical pathway of the bitten/stung organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in modulation of complement activation, classical pathway in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044646 . obo:GO_0044637 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the negative regulation of complement activation via the classical pathway of the bitten/stung organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in negative regulation of complement activation, classical pathway in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044636 . obo:GO_0044638 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the positive regulation of complement activation via the classical pathway of the bitten/stung organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in positive regulation of complement activation, classical pathway in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044636 . obo:GO_0044639 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant modulation of complement activation via the lectin pathway in the bitten/stung organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in modulation of complement activation, lectin pathway in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044646 . obo:GO_0044640 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant negative regulation of complement activation via the lectin pathway in the bitten/stung organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in negative regulation of complement activation, lectin pathway in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044639 . obo:GO_0044641 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant positive regulation of complement activation via the lectin pathway in the bitten/stung organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in positive regulation of complement activation, lectin pathway in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044639 . obo:GO_0044642 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant modulation of complement activation via the alternative pathway in the bitten/stung organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in modulation of complement activation, alternative pathway in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044646 . obo:GO_0044643 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant positive regulation of complement activation via the alternative pathway in the bitten/stung organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in positive regulation of complement activation, alternative pathway in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044642 . obo:GO_0044644 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant negative regulation of complement activation via the alternative pathway in the bitten/stung organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in negative regulation of complement activation, alternative pathway in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044642 . obo:GO_0044646 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the resultant modulation of complement activation in the bitten/stung organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in modulation of complement activation in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0035738 . obo:GO_0044649 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with cytolysis in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in cytolysis in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0035738 . obo:GO_0044705 obo:IAO_0000115 "The specific behavior of an organism that is associated with reproduction involving another organism of the same or different species."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "multi-organism reproductive behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0019098, obo:GO_0051705 . obo:GO_0044733 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with a resultant change in the activity of an acid-sensing ion channel (ASIC) in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in modulation of acid-sensing ion channel activity in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044560 . obo:GO_0044734 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with a resultant positive regulation in the activity of an acid-sensing ion channel (ASIC) in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in positive regulation of acid-sensing ion channel activity in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044733 . obo:GO_0044735 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with a resultant negative regulation in the activity of an acid-sensing ion channel (ASIC) in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in negative regulation of acid-sensing ion channel activity in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044733 . obo:GO_0044741 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the inhibition of the sensory perception of pain in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in negative regulation of sensory perception of pain in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044742 . obo:GO_0044742 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the modulation of the sensory perception of pain in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in modulation of sensory perception of pain in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0035738 . obo:GO_0045297 obo:IAO_0000115 "The specific behavior of an organism following mating."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "post-mating behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0019098 . obo:GO_0045433 obo:IAO_0000115 "The process during wing vibration where the male insect produces a species-specific acoustic signal called a love song."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "male courtship behavior, veined wing generated song production"^^xsd:string ; rdfs:subClassOf obo:GO_0008049 . obo:GO_0045434 obo:IAO_0000115 "Any process that stops, prevents or reduces the receptiveness of a female to male advances subsequent to mating."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "negative regulation of female receptivity, post-mating"^^xsd:string ; rdfs:subClassOf obo:GO_0007621, obo:GO_0046008 . obo:GO_0045475 obo:IAO_0000115 "The rhythm of the locomotor activity of an organism during its 24 hour activity cycle."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "locomotor rhythm"^^xsd:string ; rdfs:subClassOf obo:GO_0007626, obo:GO_0048512 . obo:GO_0045924 obo:IAO_0000115 "Any process that modulates the frequency, rate or extent of the willingness or readiness of a female to receive male advances."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "regulation of female receptivity"^^xsd:string ; rdfs:subClassOf obo:GO_0060180 . obo:GO_0045925 obo:IAO_0000115 "Any process that activates or increases the receptiveness of a female to male advances."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "positive regulation of female receptivity"^^xsd:string ; rdfs:subClassOf obo:GO_0045924 . obo:GO_0046008 obo:IAO_0000115 "Any process that modulates the receptiveness of a female to male advances subsequent to mating."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "regulation of female receptivity, post-mating"^^xsd:string ; rdfs:subClassOf obo:GO_0045924 . obo:GO_0046009 obo:IAO_0000115 "Any process that increases the receptiveness of a female to male advances subsequent to mating."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "positive regulation of female receptivity, post-mating"^^xsd:string ; rdfs:subClassOf obo:GO_0045925, obo:GO_0046008 . obo:GO_0046958 obo:IAO_0000115 "A simple form of learning whereby the repeated presence of a stimulus leads to a change in the probability or strength of the response to that stimulus. There is no association of one type of stimulus with another, rather it is a generalized response to the environment."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "nonassociative learning"^^xsd:string ; rdfs:subClassOf obo:GO_0007612 . obo:GO_0046959 obo:IAO_0000115 "A decrease in a behavioral response to a repeated stimulus. This is exemplified by the failure of a person to show a startle response to a loud noise that has been repeatedly presented."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "habituation"^^xsd:string ; rdfs:subClassOf obo:GO_0046958 . obo:GO_0046960 obo:IAO_0000115 "An increased in a behavioral response to a repeated stimulus. For example, a shock to the tail of the marine snail Aplysia, to which the snail responds by withdrawing its gill, will result in increased gill withdrawal the next time the skin is touched."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "sensitization"^^xsd:string ; rdfs:subClassOf obo:GO_0046958 . obo:GO_0048047 obo:IAO_0000115 "The behavior of individuals for the purpose of discriminating between the sexes, for the purpose of finding a suitable mating partner."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "mating behavior, sex discrimination"^^xsd:string ; rdfs:subClassOf obo:GO_0007617 . obo:GO_0048065 obo:IAO_0000115 "The process during courtship where the male insect extends his wings. An example of this process is found in Drosophila melanogaster."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "male courtship behavior, veined wing extension"^^xsd:string ; rdfs:subClassOf obo:GO_0008049 . obo:GO_0048148 obo:IAO_0000115 "Any process that results in a change in the behavior of an organism as a result of a cocaine stimulus."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "behavioral response to cocaine"^^xsd:string ; rdfs:subClassOf obo:GO_0030534 . obo:GO_0048149 obo:IAO_0000115 "Any process that results in a change in the behavior of an organism as a result of an ethanol stimulus."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "behavioral response to ethanol"^^xsd:string ; rdfs:subClassOf obo:GO_0030534 . obo:GO_0048150 obo:IAO_0000115 "Any process that results in a change in the behavior of an organism as a result of an ether stimulus."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "behavioral response to ether"^^xsd:string ; rdfs:subClassOf obo:GO_0030534 . obo:GO_0048266 obo:IAO_0000115 "Any process that results in a change in the behavior of an organism as a result of a pain stimulus. Pain stimuli cause activation of nociceptors, peripheral receptors for pain, include receptors which are sensitive to painful mechanical stimuli, extreme heat or cold, and chemical stimuli."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "behavioral response to pain"^^xsd:string ; rdfs:subClassOf obo:GO_0007610 . obo:GO_0048512 obo:IAO_0000115 "The specific behavior of an organism that recurs with a regularity of approximately 24 hours."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "circadian behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007622 . obo:GO_0050802 obo:IAO_0000115 "The part of the circadian sleep/wake cycle where the organism is asleep."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "circadian sleep/wake cycle, sleep"^^xsd:string ; rdfs:subClassOf obo:GO_0022410 . obo:GO_0051705 obo:IAO_0000115 "Any process in which an organism has a behavioral effect on another organism of the same or different species."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "multi-organism behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007610 . obo:GO_0051780 obo:IAO_0000115 "Any process that results in a change in the behavior of an organism as a result of a nutrient stimulus."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "behavioral response to nutrient"^^xsd:string ; rdfs:subClassOf obo:GO_0007610 . obo:GO_0051867 obo:IAO_0000115 "The set of behavioral processes that occur as part of the general adaptation syndrome, the response of the body to a strong, stressful stimulus."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "general adaptation syndrome, behavioral process"^^xsd:string ; rdfs:subClassOf obo:GO_0007610 . obo:GO_0060179 obo:IAO_0000115 "The specific behavior of a male organism that is associated with reproduction."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "male mating behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007617 . obo:GO_0060180 obo:IAO_0000115 "The specific behavior of a female organism that is associated with reproduction."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "female mating behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007617 . obo:GO_0060273 obo:IAO_0000115 "The behavior in which an organism sheds tears, often accompanied by non-verbal vocalizations and in response to external or internal stimuli."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "crying behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007610 . obo:GO_0060403 obo:IAO_0000115 "The deposition of eggs, either fertilized or not, upon a surface or into a medium, following mating."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "post-mating oviposition"^^xsd:string ; rdfs:subClassOf obo:GO_0018991, obo:GO_0045297 . obo:GO_0060746 obo:IAO_0000115 "A reproductive behavior in which a parent cares for and rears offspring."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "parental behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0019098 . obo:GO_0060747 obo:IAO_0000115 "A parental behavior in which fertilized eggs are taken into the mouth and held until hatching."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "oral incubation"^^xsd:string ; rdfs:subClassOf obo:GO_0060746 . obo:GO_0060756 obo:IAO_0000115 "Behavior by which an organism locates food."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "foraging behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007610 . obo:GO_0060757 obo:IAO_0000115 "Behavior by which an adult locates food."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "adult foraging behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0060756 . obo:GO_0060758 obo:IAO_0000115 "Foraging behavior in which an anatomical part of the organism is inserted into the substrate to locate food."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "foraging behavior by probing substrate"^^xsd:string ; rdfs:subClassOf obo:GO_0060756 . obo:GO_0061366 obo:IAO_0000115 "Any process that results in a change in the behaviour of an organism as a result of a chemical pain stimulus."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "behavioral response to chemical pain"^^xsd:string ; rdfs:subClassOf obo:GO_0007635, obo:GO_0048266 . obo:GO_0061367 obo:IAO_0000115 "Any process that results in a change in the behaviour of an organism as a result of an acetic acid pain stimulus."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "behavioral response to acetic acid induced pain"^^xsd:string ; rdfs:subClassOf obo:GO_0061366 . obo:GO_0061368 obo:IAO_0000115 "Any process that results in a change in the behaviour of an organism as a result of a formalin pain stimulus."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "behavioral response to formalin induced pain"^^xsd:string ; rdfs:subClassOf obo:GO_0061366 . obo:GO_0061743 obo:IAO_0000115 "Any process in which an organism acquires a novel neuromuscular action or movement as the result of experience."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "motor learning"^^xsd:string ; rdfs:subClassOf obo:GO_0007612 . obo:GO_0061744 obo:IAO_0000115 "The specific neuromuscular movement of a single organism in response to external or internal stimuli."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "motor behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007610 . obo:GO_0071625 obo:IAO_0000115 "The behavior in which an organism produces sounds by a mechanism involving its respiratory system."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "vocalization behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007610 . obo:GO_0071632 obo:IAO_0000115 "Eye, head or whole body movements that help to compensate movements of the environment in order to stabilize its image on the retina. In the case of whole body movements, these motor actions may also stabilize a locomotor course in response to some disturbance. Examples include: the optokinetic reflex, which allows human eyes to follow objects in motion while the head remains stationary reflex; the optomotor responses of flying insects and swimming fish."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "optomotor response"^^xsd:string ; rdfs:subClassOf obo:GO_0007634 . obo:GO_0072375 obo:IAO_0000115 "The memory process that deals with the storage, retrieval and modification of information received at a time ago that is intermediate between that of short and long term memory (30min - 7hrs in Drosophila melanogaster)."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "medium-term memory"^^xsd:string ; rdfs:subClassOf obo:GO_0007613 . obo:GO_0090659 obo:IAO_0000115 "The behavior of an organism relating to the progression of that organism along the ground by the process of lifting and setting down each leg."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "walking behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0007626 . obo:GO_0097270 obo:IAO_0000115 "The temporary recovery of response to a stimulus when a novel stimulus is added."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "dishabituation"^^xsd:string ; rdfs:subClassOf obo:GO_0046958 . obo:GO_0098582 obo:IAO_0000115 "A vocalisation behavior that is innate, i.e. that does not need to be learned in order to occur."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "innate vocalization behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0071625 . obo:GO_0098583 obo:IAO_0000115 "A vocalization behavior that is the result of learning."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "learned vocalization behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0071625, obo:GO_0098598 . obo:GO_0098596 obo:IAO_0000115 "Learning in which new behaviors are acquired through imitation."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "imitative learning"^^xsd:string ; rdfs:subClassOf obo:GO_0098597 . obo:GO_0098597 obo:IAO_0000115 "Learning that occurs through observing the behavior of others."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "observational learning"^^xsd:string ; rdfs:subClassOf obo:GO_0007612 . obo:GO_0098598 obo:IAO_0000115 "Vocalisation behavior that is the result of learning, or the process by which new vocalizations are learned."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "learned vocalization behavior or vocal learning"^^xsd:string ; rdfs:subClassOf obo:GO_0007611 . obo:GO_0099127 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with the activation of the cytosolic argininosuccinate synthase in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in positive regulation of argininosuccinate synthase activity in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0035738 . obo:GO_1990142 obo:IAO_0000115 "A process that begins with venom being forced into an organism by the bite or sting of another organism, and ends with hemolysis in the bitten organism."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "envenomation resulting in hemolysis in other organism"^^xsd:string ; rdfs:subClassOf obo:GO_0044649 . obo:GO_1990708 obo:IAO_0000115 "The associative learning process by which an animal learns and remembers an association between a neutral, unchanging environment and a putatively rewarding, internal state produced by a xenobiotic or drug."^^xsd:string ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "conditioned place preference"^^xsd:string ; rdfs:subClassOf obo:GO_0008306 . obo:IAO_0000002 obo:IAO_0000111 "example to be eventually removed"@en ; a obo:IAO_0000078, owl:NamedIndividual ; rdfs:label "example to be eventually removed"@en . obo:IAO_0000027 obo:IAO_0000111 "data item"@en ; a owl:Class ; rdfs:label "data item"@en ; rdfs:subClassOf obo:IAO_0000030 . obo:IAO_0000030 obo:IAO_0000111 "information content entity"@en ; a owl:Class ; rdfs:label "information content entity"@en ; rdfs:subClassOf obo:BFO_0000031 . obo:IAO_0000078 obo:IAO_0000111 "curation status specification"@en ; obo:IAO_0000114 obo:IAO_0000125 ; obo:IAO_0000115 "The curation status of the term. The allowed values come from an enumerated list of predefined terms. See the specification of these instances for more detailed definitions of each enumerated value."@en ; obo:IAO_0000116 "Better to represent curation as a process with parts and then relate labels to that process (in IAO meeting)"@en ; obo:IAO_0000117 "PERSON:Bill Bug"@en ; obo:IAO_0000119 "GROUP:OBI:"@en, "OBI_0000266"@en ; a owl:Class ; rdfs:label "curation status specification"@en ; rdfs:subClassOf obo:IAO_0000102 ; owl:equivalentClass [ a owl:Class ; owl:oneOf (obo:IAO_0000002 obo:IAO_0000120 obo:IAO_0000121 obo:IAO_0000122 obo:IAO_0000123 obo:IAO_0000124 obo:IAO_0000125 obo:IAO_0000423 obo:IAO_0000428 ) ] . obo:IAO_0000102 obo:IAO_0000111 "data about an ontology part"@en ; obo:IAO_0000115 "Data about an ontology part is a data item about a part of an ontology, for example a term"@en, "data about an ontology part is a data item about a part of an ontology, for example a term"@en ; obo:IAO_0000117 "Person:Alan Ruttenberg"^^xsd:string, "Person:Alan Ruttenberg"@en ; a owl:Class ; rdfs:label "data about an ontology part"@en ; rdfs:subClassOf obo:IAO_0000027 . obo:IAO_0000103 obo:IAO_0000111 "failed exploratory term"@en ; obo:IAO_0000115 "The term was used in an attempt to structure part of the ontology but in retrospect failed to do a good job"@en ; obo:IAO_0000117 "Person:Alan Ruttenberg"^^xsd:string, "Person:Alan Ruttenberg"@en ; a obo:IAO_0000225, owl:NamedIndividual ; rdfs:label "failed exploratory term"@en . obo:IAO_0000111 obo:IAO_0000111 "editor preferred term"@en ; obo:IAO_0000114 obo:IAO_0000122 ; obo:IAO_0000115 "The concise, meaningful, and human-friendly name for a class or property preferred by the ontology developers. (US-English)"@en ; obo:IAO_0000117 "PERSON:Daniel Schober"@en ; obo:IAO_0000119 "GROUP:OBI:"@en ; a owl:AnnotationProperty ; rdfs:isDefinedBy ; rdfs:label "editor preferred term"@en . obo:IAO_0000112 obo:IAO_0000111 "example"@en, "example of usage"@en ; obo:IAO_0000114 obo:IAO_0000122 ; obo:IAO_0000115 "A phrase describing how a term should be used and/or a citation to a work which uses it. May also include other kinds of examples that facilitate immediate understanding, such as widely know prototypes or instances of a class, or cases where a relation is said to hold."@en ; obo:IAO_0000117 "PERSON:Daniel Schober"@en ; obo:IAO_0000119 "GROUP:OBI:"@en ; a owl:AnnotationProperty ; rdfs:isDefinedBy ; rdfs:label "example of usage"@en . obo:IAO_0000113 obo:IAO_0000111 "in branch"@en ; obo:IAO_0000115 "An annotation property indicating which module the terms belong to. This is currently experimental and not implemented yet."@en ; obo:IAO_0000117 "GROUP:OBI"@en ; obo:IAO_0000119 "OBI_0000277"@en ; a owl:AnnotationProperty ; rdfs:label "in branch"@en . obo:IAO_0000114 obo:IAO_0000111 "has curation status"@en ; obo:IAO_0000117 "PERSON:Alan Ruttenberg"@en, "PERSON:Bill Bug"@en, "PERSON:Melanie Courtot"@en ; obo:IAO_0000119 "OBI_0000281"@en ; a owl:AnnotationProperty ; rdfs:label "has curation status"@en . obo:IAO_0000115 obo:IAO_0000111 "definition"@en ; obo:IAO_0000114 obo:IAO_0000122 ; obo:IAO_0000115 "The official definition, explaining the meaning of a class or property. Shall be Aristotelian, formalized and normalized. Can be augmented with colloquial definitions."@en ; obo:IAO_0000116 """2012-04-05: Barry Smith The official OBI definition, explaining the meaning of a class or property: 'Shall be Aristotelian, formalized and normalized. Can be augmented with colloquial definitions' is terrible. Can you fix to something like: A statement of necessary and sufficient conditions explaining the meaning of an expression referring to a class or property. Alan Ruttenberg Your proposed definition is a reasonable candidate, except that it is very common that necessary and sufficient conditions are not given. Mostly they are necessary, occasionally they are necessary and sufficient or just sufficient. Often they use terms that are not themselves defined and so they effectively can't be evaluated by those criteria. On the specifics of the proposed definition: We don't have definitions of 'meaning' or 'expression' or 'property'. For 'reference' in the intended sense I think we use the term 'denotation'. For 'expression', I think we you mean symbol, or identifier. For 'meaning' it differs for class and property. For class we want documentation that let's the intended reader determine whether an entity is instance of the class, or not. For property we want documentation that let's the intended reader determine, given a pair of potential relata, whether the assertion that the relation holds is true. The 'intended reader' part suggests that we also specify who, we expect, would be able to understand the definition, and also generalizes over human and computer reader to include textual and logical definition. Personally, I am more comfortable weakening definition to documentation, with instructions as to what is desirable. We also have the outstanding issue of how to aim different definitions to different audiences. A clinical audience reading chebi wants a different sort of definition documentation/definition from a chemistry trained audience, and similarly there is a need for a definition that is adequate for an ontologist to work with. """@en ; obo:IAO_0000117 "PERSON:Daniel Schober"@en ; obo:IAO_0000119 "GROUP:OBI:"@en ; a owl:AnnotationProperty ; rdfs:isDefinedBy ; rdfs:label "definition"^^xsd:string, "definition"@en . obo:IAO_0000116 obo:IAO_0000111 "editor note"@en ; obo:IAO_0000114 obo:IAO_0000122 ; obo:IAO_0000115 "An administrative note intended for its editor. It may not be included in the publication version of the ontology, so it should contain nothing necessary for end users to understand the ontology."@en ; obo:IAO_0000117 "PERSON:Daniel Schober"@en ; obo:IAO_0000119 "GROUP:OBI:"@en, "GROUP:OBI:"@en ; a owl:AnnotationProperty ; rdfs:isDefinedBy ; rdfs:label "editor note"@en . obo:IAO_0000117 obo:IAO_0000111 "term editor"@en ; obo:IAO_0000114 obo:IAO_0000122 ; obo:IAO_0000115 "Name of editor entering the term in the file. The term editor is a point of contact for information regarding the term. The term editor may be, but is not always, the author of the definition, which may have been worked upon by several people"@en ; obo:IAO_0000116 "20110707, MC: label update to term editor and definition modified accordingly. See https://github.com/information-artifact-ontology/IAO/issues/115."@en ; obo:IAO_0000117 "PERSON:Daniel Schober"@en ; obo:IAO_0000119 "GROUP:OBI:"@en ; a owl:AnnotationProperty ; rdfs:isDefinedBy ; rdfs:label "term editor"@en . obo:IAO_0000118 obo:IAO_0000111 "alternative label"@en, "alternative term"@en ; obo:IAO_0000114 obo:IAO_0000125 ; obo:IAO_0000115 "A label for a class or property that can be used to refer to the class or property instead of the preferred rdfs:label. Alternative labels should be used to indicate community- or context-specific labels, abbreviations, shorthand forms and the like."@en, "An alternative name for a class or property which means the same thing as the preferred name (semantically equivalent)"@en ; obo:IAO_0000117 "OBO Operations committee", "PERSON:Daniel Schober"@en ; obo:IAO_0000119 "GROUP:OBI:"@en ; a owl:AnnotationProperty ; rdfs:comment "Consider re-defing to: An alternative name for a class or property which can mean the same thing as the preferred name (semantically equivalent, narrow, broad or related)." ; rdfs:isDefinedBy ; rdfs:label "alternative label"@en, "alternative term"@en . obo:IAO_0000119 obo:IAO_0000111 "definition source"@en ; obo:IAO_0000114 obo:IAO_0000122 ; obo:IAO_0000115 "Formal citation, e.g. identifier in external database to indicate / attribute source(s) for the definition. Free text indicate / attribute source(s) for the definition. EXAMPLE: Author Name, URI, MeSH Term C04, PUBMED ID, Wiki uri on 31.01.2007"@en, "formal citation, e.g. identifier in external database to indicate / attribute source(s) for the definition. Free text indicate / attribute source(s) for the definition. EXAMPLE: Author Name, URI, MeSH Term C04, PUBMED ID, Wiki uri on 31.01.2007"@en ; obo:IAO_0000117 "PERSON:Daniel Schober"@en ; obo:IAO_0000119 "Discussion on obo-discuss mailing-list, see http://bit.ly/hgm99w"^^xsd:string, "Discussion on obo-discuss mailing-list, see http://bit.ly/hgm99w"@en, "GROUP:OBI:"@en ; a owl:AnnotationProperty ; rdfs:isDefinedBy ; rdfs:label "definition source"@en . obo:IAO_0000120 obo:IAO_0000111 "metadata complete"@en ; obo:IAO_0000115 "Class has all its metadata, but is either not guaranteed to be in its final location in the asserted IS_A hierarchy or refers to another class that is not complete."@en ; a obo:IAO_0000078, owl:NamedIndividual ; rdfs:label "metadata complete"@en . obo:IAO_0000121 obo:IAO_0000111 "organizational term"@en ; obo:IAO_0000115 "Term created to ease viewing/sort terms for development purpose, and will not be included in a release"@en, "term created to ease viewing/sort terms for development purpose, and will not be included in a release"@en ; a obo:IAO_0000078, owl:NamedIndividual ; rdfs:label "organizational term"@en . obo:IAO_0000122 obo:IAO_0000111 "ready for release"@en ; obo:IAO_0000115 "Class has undergone final review, is ready for use, and will be included in the next release. Any class lacking \"ready_for_release\" should be considered likely to change place in hierarchy, have its definition refined, or be obsoleted in the next release. Those classes deemed \"ready_for_release\" will also derived from a chain of ancestor classes that are also \"ready_for_release.\""@en ; a obo:IAO_0000078, owl:NamedIndividual ; rdfs:label "ready for release"@en . obo:IAO_0000123 obo:IAO_0000111 "metadata incomplete"@en ; obo:IAO_0000115 "Class is being worked on; however, the metadata (including definition) are not complete or sufficiently clear to the branch editors."@en ; a obo:IAO_0000078, owl:NamedIndividual ; rdfs:label "metadata incomplete"@en . obo:IAO_0000124 obo:IAO_0000111 "uncurated"@en ; obo:IAO_0000115 "Nothing done yet beyond assigning a unique class ID and proposing a preferred term."@en ; a obo:IAO_0000078, owl:NamedIndividual ; rdfs:label "uncurated"@en . obo:IAO_0000125 obo:IAO_0000111 "pending final vetting"@en ; obo:IAO_0000115 "All definitions, placement in the asserted IS_A hierarchy and required minimal metadata are complete. The class is awaiting a final review by someone other than the term editor."@en ; a obo:IAO_0000078, owl:NamedIndividual ; rdfs:label "pending final vetting"@en . obo:IAO_0000224 obo:IAO_0000115 "Core is an instance of a grouping of terms from an ontology or ontologies. It is used by the ontology to identify main classes."@en ; obo:IAO_0000117 "PERSON: Alan Ruttenberg"@en, "PERSON: Melanie Courtot"@en ; obo:IAO_0000231 obo:IAO_0000226 ; a oboInOwl:Subset, owl:NamedIndividual ; rdfs:label "core"@en, "obsolete_core"@en ; owl:deprecated true . obo:IAO_0000225 obo:IAO_0000111 "obsolescence reason specification"@en ; obo:IAO_0000114 obo:IAO_0000125 ; obo:IAO_0000115 "The reason for which a term has been deprecated. The allowed values come from an enumerated list of predefined terms. See the specification of these instances for more detailed definitions of each enumerated value."@en ; obo:IAO_0000116 "The creation of this class has been inspired in part by Werner Ceusters' paper, Applying evolutionary terminology auditing to the Gene Ontology."@en ; obo:IAO_0000117 "PERSON: Alan Ruttenberg"@en, "PERSON: Melanie Courtot"@en ; a owl:Class ; rdfs:label "obsolescence reason specification"@en ; rdfs:subClassOf obo:IAO_0000102 ; owl:equivalentClass [ a owl:Class ; owl:oneOf (obo:IAO_0000103 obo:IAO_0000226 obo:IAO_0000227 obo:IAO_0000228 obo:IAO_0000229 ) ], [ a owl:Class ; owl:oneOf (obo:IAO_0000103 obo:IAO_0000226 obo:IAO_0000227 obo:IAO_0000228 obo:IAO_0000229 obo:OMO_0001000 ) ] . obo:IAO_0000226 obo:IAO_0000111 "placeholder removed"@en ; a obo:IAO_0000225, owl:NamedIndividual ; rdfs:label "placeholder removed"@en . obo:IAO_0000227 obo:IAO_0000111 "terms merged"@en ; obo:IAO_0000116 "An editor note should explain what were the merged terms and the reason for the merge."@en ; a obo:IAO_0000225, owl:NamedIndividual ; rdfs:label "terms merged"@en . obo:IAO_0000228 obo:IAO_0000111 "term imported"@en ; obo:IAO_0000116 "This is to be used when the original term has been replaced by a term imported from an other ontology. An editor note should indicate what is the URI of the new term to use."@en ; a obo:IAO_0000225, owl:NamedIndividual ; rdfs:label "term imported"@en . obo:IAO_0000229 obo:IAO_0000111 "term split"@en ; obo:IAO_0000116 "This is to be used when a term has been split in two or more new terms. An editor note should indicate the reason for the split and indicate the URIs of the new terms created."@en ; a obo:IAO_0000225, owl:NamedIndividual ; rdfs:label "term split"@en . obo:IAO_0000231 obo:IAO_0000111 "has obsolescence reason"@en ; obo:IAO_0000115 "Relates an annotation property to an obsolescence reason. The values of obsolescence reasons come from a list of predefined terms, instances of the class obsolescence reason specification."@en ; obo:IAO_0000117 "PERSON:Alan Ruttenberg"@en, "PERSON:Melanie Courtot"@en ; a owl:AnnotationProperty ; rdfs:label "has obsolescence reason"@en . obo:IAO_0000232 obo:IAO_0000111 "curator note"@en ; obo:IAO_0000114 obo:IAO_0000122 ; obo:IAO_0000115 "An administrative note of use for a curator but of no use for a user"@en ; obo:IAO_0000117 "PERSON:Alan Ruttenberg"@en ; a owl:AnnotationProperty ; rdfs:isDefinedBy ; rdfs:label "curator note"@en . obo:IAO_0000233 obo:IAO_0000111 "term tracker item", "term tracker item"@en ; obo:IAO_0000112 "the URI for an OBI Terms ticket at sourceforge, such as https://sourceforge.net/p/obi/obi-terms/772/", "the URI for an OBI Terms ticket at sourceforge, such as https://sourceforge.net/p/obi/obi-terms/772/"@en ; obo:IAO_0000114 obo:IAO_0000125 ; obo:IAO_0000115 "An IRI or similar locator for a request or discussion of an ontology term.", "An IRI or similar locator for a request or discussion of an ontology term."@en ; obo:IAO_0000117 "Person: Jie Zheng, Chris Stoeckert, Alan Ruttenberg", "Person: Jie Zheng, Chris Stoeckert, Alan Ruttenberg"@en ; obo:IAO_0000119 "Person: Jie Zheng, Chris Stoeckert, Alan Ruttenberg", "Person: Jie Zheng, Chris Stoeckert, Alan Ruttenberg"@en ; a owl:AnnotationProperty ; rdfs:comment "The 'tracker item' can associate a tracker with a specific ontology term.", "The 'tracker item' can associate a tracker with a specific ontology term."@en ; rdfs:label "term tracker item"@en . obo:IAO_0000234 obo:IAO_0000111 "ontology term requester"@en ; obo:IAO_0000114 obo:IAO_0000125 ; obo:IAO_0000115 "The name of the person, project, or organization that motivated inclusion of an ontology term by requesting its addition.", "The name of the person, project, or organization that motivated inclusion of an ontology term by requesting its addition."@en ; obo:IAO_0000117 "Person: Jie Zheng, Chris Stoeckert, Alan Ruttenberg", "Person: Jie Zheng, Chris Stoeckert, Alan Ruttenberg"@en ; obo:IAO_0000119 "Person: Jie Zheng, Chris Stoeckert, Alan Ruttenberg", "Person: Jie Zheng, Chris Stoeckert, Alan Ruttenberg"@en ; a owl:AnnotationProperty ; rdfs:comment "The 'term requester' can credit the person, organization or project who request the ontology term." ; rdfs:label "ontology term requester"@en . obo:IAO_0000409 obo:IAO_0000111 "denotator type"@en ; obo:IAO_0000112 "The Basic Formal Ontology ontology makes a distinction between Universals and defined classes, where the formal are \"natural kinds\" and the latter arbitrary collections of entities."^^xsd:string, "The Basic Formal Ontology ontology makes a distinction between Universals and defined classes, where the formal are \"natural kinds\" and the latter arbitrary collections of entities."@en ; obo:IAO_0000115 "A denotator type indicates how a term should be interpreted from an ontological perspective."^^xsd:string, "A denotator type indicates how a term should be interpreted from an ontological perspective."@en ; obo:IAO_0000117 "Alan Ruttenberg"^^xsd:string, "Alan Ruttenberg"@en ; obo:IAO_0000119 "Barry Smith, Werner Ceusters"^^xsd:string, "Barry Smith, Werner Ceusters"@en ; a owl:Class ; rdfs:label "denotator type"^^xsd:string, "denotator type"@en ; rdfs:subClassOf obo:IAO_0000102 ; owl:equivalentClass [ a owl:Class ; owl:oneOf (obo:IAO_0000410 obo:IAO_0000420 obo:IAO_0000421 ) ] . obo:IAO_0000410 obo:IAO_0000111 "universal"@en ; obo:IAO_0000116 "Hard to give a definition for. Intuitively a \"natural kind\" rather than a collection of any old things, which a class is able to be, formally. At the meta level, universals are defined as positives, are disjoint with their siblings, have single asserted parents."^^xsd:string, "Hard to give a definition for. Intuitively a \"natural kind\" rather than a collection of any old things, which a class is able to be, formally. At the meta level, universals are defined as positives, are disjoint with their siblings, have single asserted parents."@en ; obo:IAO_0000117 "Alan Ruttenberg"^^xsd:string, "Alan Ruttenberg"@en ; obo:IAO_0000119 "A Formal Theory of Substances, Qualities, and Universals, http://ontology.buffalo.edu/bfo/SQU.pdf"^^xsd:string, "A Formal Theory of Substances, Qualities, and Universals, http://ontology.buffalo.edu/bfo/SQU.pdf"@en ; a obo:IAO_0000409, owl:NamedIndividual ; rdfs:label "universal"^^xsd:string, "universal"@en . obo:IAO_0000411 obo:IAO_0000111 "is denotator type"@en ; obo:IAO_0000115 "Relates an class defined in an ontology, to the type of it's denotator"@en, "relates an class defined in an ontology, to the type of it's denotator"^^xsd:string ; obo:IAO_0000116 "In OWL 2 add AnnotationPropertyRange('is denotator type' 'denotator type')"^^xsd:string, "In OWL 2 add AnnotationPropertyRange('is denotator type' 'denotator type')"@en ; obo:IAO_0000117 "Alan Ruttenberg"^^xsd:string, "Alan Ruttenberg"@en ; a owl:AnnotationProperty ; rdfs:label "is denotator type"^^xsd:string, "is denotator type"@en . obo:IAO_0000412 obo:IAO_0000111 "imported from"@en ; obo:IAO_0000114 obo:IAO_0000125 ; obo:IAO_0000115 "For external terms/classes, the ontology from which the term was imported"@en ; obo:IAO_0000117 "PERSON:Alan Ruttenberg"@en, "PERSON:Melanie Courtot"@en ; obo:IAO_0000119 "GROUP:OBI:"@en ; a owl:AnnotationProperty ; rdfs:isDefinedBy ; rdfs:label "imported from"@en . obo:IAO_0000420 obo:IAO_0000111 "defined class"@en ; obo:IAO_0000115 "A defined class is a class that is defined by a set of logically necessary and sufficient conditions but is not a universal"^^xsd:string, "A defined class is a class that is defined by a set of logically necessary and sufficient conditions but is not a universal"@en ; obo:IAO_0000116 "\"definitions\", in some readings, always are given by necessary and sufficient conditions. So one must be careful (and this is difficult sometimes) to distinguish between defined classes and universal."^^xsd:string, "\"definitions\", in some readings, always are given by necessary and sufficient conditions. So one must be careful (and this is difficult sometimes) to distinguish between defined classes and universal."@en ; obo:IAO_0000117 "Alan Ruttenberg"^^xsd:string, "Alan Ruttenberg"@en ; a obo:IAO_0000409, owl:NamedIndividual ; rdfs:label "defined class"^^xsd:string, "defined class"@en . obo:IAO_0000421 obo:IAO_0000111 "named class expression"@en ; obo:IAO_0000115 "A named class expression is a logical expression that is given a name. The name can be used in place of the expression."^^xsd:string, "A named class expression is a logical expression that is given a name. The name can be used in place of the expression."@en ; obo:IAO_0000116 "named class expressions are used in order to have more concise logical definition but their extensions may not be interesting classes on their own. In languages such as OWL, with no provisions for macros, these show up as actuall classes. Tools may with to not show them as such, and to replace uses of the macros with their expansions"^^xsd:string, "named class expressions are used in order to have more concise logical definition but their extensions may not be interesting classes on their own. In languages such as OWL, with no provisions for macros, these show up as actuall classes. Tools may with to not show them as such, and to replace uses of the macros with their expansions"@en ; obo:IAO_0000117 "Alan Ruttenberg"^^xsd:string, "Alan Ruttenberg"@en ; a obo:IAO_0000409, owl:NamedIndividual ; rdfs:label "named class expression"^^xsd:string, "named class expression"@en . obo:IAO_0000423 obo:IAO_0000111 "to be replaced with external ontology term"@en ; obo:IAO_0000115 "Terms with this status should eventually replaced with a term from another ontology."@en ; obo:IAO_0000117 "Alan Ruttenberg"@en ; obo:IAO_0000119 "group:OBI"@en ; a obo:IAO_0000078, owl:NamedIndividual ; rdfs:label "to be replaced with external ontology term"@en . obo:IAO_0000424 obo:IAO_0000111 "expand expression to"@en ; obo:IAO_0000112 """ObjectProperty: RO_0002104 Label: has plasma membrane part Annotations: IAO_0000424 \"http://purl.obolibrary.org/obo/BFO_0000051 some (http://purl.org/obo/owl/GO#GO_0005886 and http://purl.obolibrary.org/obo/BFO_0000051 some ?Y)\" """@en ; obo:IAO_0000115 "A macro expansion tag applied to an object property (or possibly a data property) which can be used by a macro-expansion engine to generate more complex expressions from simpler ones"@en ; obo:IAO_0000117 "Chris Mungall"^^xsd:string, "Chris Mungall"@en ; a owl:AnnotationProperty ; rdfs:label "expand expression to"@en . obo:IAO_0000425 obo:IAO_0000111 "expand assertion to"@en ; obo:IAO_0000112 """ObjectProperty: RO??? Label: spatially disjoint from Annotations: expand_assertion_to \"DisjointClasses: (http://purl.obolibrary.org/obo/BFO_0000051 some ?X) (http://purl.obolibrary.org/obo/BFO_0000051 some ?Y)\" """@en ; obo:IAO_0000115 "A macro expansion tag applied to an annotation property which can be expanded into a more detailed axiom."@en ; obo:IAO_0000117 "Chris Mungall"@en ; a owl:AnnotationProperty ; rdfs:label "expand assertion to"@en . obo:IAO_0000426 obo:IAO_0000111 "first order logic expression"@en ; obo:IAO_0000117 "PERSON:Alan Ruttenberg"@en ; a owl:AnnotationProperty ; rdfs:label "first order logic expression"@en . obo:IAO_0000427 obo:IAO_0000111 "antisymmetric property"@en ; obo:IAO_0000112 "part_of antisymmetric property xsd:true"@en ; obo:IAO_0000115 "Use boolean value xsd:true to indicate that the property is an antisymmetric property"@en, "use boolean value xsd:true to indicate that the property is an antisymmetric property"@en ; obo:IAO_0000117 "Alan Ruttenberg"@en ; a owl:AnnotationProperty ; rdfs:label "antisymmetric property"@en ; rdfs:subPropertyOf obo:OMO_0001001 . obo:IAO_0000428 obo:IAO_0000111 "requires discussion"@en ; obo:IAO_0000115 "A term that is metadata complete, has been reviewed, and problems have been identified that require discussion before release. Such a term requires editor note(s) to identify the outstanding issues."@en ; obo:IAO_0000117 "Alan Ruttenberg"@en ; obo:IAO_0000119 "group:OBI"@en ; a obo:IAO_0000078, owl:NamedIndividual ; rdfs:label "requires discussion"@en . obo:IAO_0000589 obo:IAO_0000111 "OBO foundry unique label"@en ; obo:IAO_0000114 obo:IAO_0000125 ; obo:IAO_0000115 "An alternative name for a class or property which is unique across the OBO Foundry."@en ; obo:IAO_0000116 "The intended usage of that property is as follow: OBO foundry unique labels are automatically generated based on regular expressions provided by each ontology, so that SO could specify unique label = 'sequence ' + [label], etc. , MA could specify 'mouse + [label]' etc. Upon importing terms, ontology developers can choose to use the 'OBO foundry unique label' for an imported term or not. The same applies to tools ."^^xsd:string, "The intended usage of that property is as follow: OBO foundry unique labels are automatically generated based on regular expressions provided by each ontology, so that SO could specify unique label = 'sequence ' + [label], etc. , MA could specify 'mouse + [label]' etc. Upon importing terms, ontology developers can choose to use the 'OBO foundry unique label' for an imported term or not. The same applies to tools ."@en ; obo:IAO_0000117 "PERSON:Alan Ruttenberg"@en, "PERSON:Bjoern Peters"@en, "PERSON:Chris Mungall"@en, "PERSON:Melanie Courtot"@en ; obo:IAO_0000119 "GROUP:OBO Foundry "@en ; a owl:AnnotationProperty ; rdfs:label "OBO foundry unique label"@en . obo:IAO_0000596 obo:IAO_0000111 "has ID digit count"@en ; obo:IAO_0000112 """Ontology: Annotations: 'has ID prefix': \"http://purl.obolibrary.org/obo/RO_\" 'has ID digit count' : 7, rdfs:label \"RO id policy\" 'has ID policy for': \"RO\"""", """Ontology: Annotations: 'has ID prefix': \"http://purl.obolibrary.org/obo/RO_\" 'has ID digit count' : 7, rdfs:label \"RO id policy\" 'has ID policy for': \"RO\""""@en ; obo:IAO_0000115 "Relates an ontology used to record id policy to the number of digits in the URI. The URI is: the 'has ID prefix\" annotation property value concatenated with an integer in the id range (left padded with \"0\"s to make this many digits)", "Relates an ontology used to record id policy to the number of digits in the URI. The URI is: the 'has ID prefix\" annotation property value concatenated with an integer in the id range (left padded with \"0\"s to make this many digits)"@en ; obo:IAO_0000117 "Person:Alan Ruttenberg", "Person:Alan Ruttenberg"@en ; a owl:AnnotationProperty ; rdfs:label "has ID digit count"@en . obo:IAO_0000597 obo:IAO_0000111 "has ID range allocated"@en ; obo:IAO_0000112 """Datatype: idrange:1 Annotations: 'has ID range allocated to': \"Chris Mungall\" EquivalentTo: xsd:integer[> 2151 , <= 2300] """, """Datatype: idrange:1 Annotations: 'has ID range allocated to': \"Chris Mungall\" EquivalentTo: xsd:integer[> 2151 , <= 2300] """@en ; obo:IAO_0000115 "Relates a datatype that encodes a range of integers to the name of the person or organization who can use those ids constructed in that range to define new terms", "Relates a datatype that encodes a range of integers to the name of the person or organization who can use those ids constructed in that range to define new terms"@en ; obo:IAO_0000117 "Person:Alan Ruttenberg", "Person:Alan Ruttenberg"@en ; a owl:AnnotationProperty ; rdfs:label "has ID range allocated to"@en . obo:IAO_0000598 obo:IAO_0000111 "has ID policy for"@en ; obo:IAO_0000112 """Ontology: Annotations: 'has ID prefix': \"http://purl.obolibrary.org/obo/RO_\" 'has ID digit count' : 7, rdfs:label \"RO id policy\" 'has ID policy for': \"RO\"""", """Ontology: Annotations: 'has ID prefix': \"http://purl.obolibrary.org/obo/RO_\" 'has ID digit count' : 7, rdfs:label \"RO id policy\" 'has ID policy for': \"RO\""""@en ; obo:IAO_0000115 "Relating an ontology used to record id policy to the ontology namespace whose policy it manages", "Relating an ontology used to record id policy to the ontology namespace whose policy it manages"@en ; obo:IAO_0000117 "Person:Alan Ruttenberg", "Person:Alan Ruttenberg"@en ; a owl:AnnotationProperty ; rdfs:label "has ID policy for", "has ID policy for"@en . obo:IAO_0000599 obo:IAO_0000111 "has ID prefix"@en ; obo:IAO_0000112 """Ontology: Annotations: 'has ID prefix': \"http://purl.obolibrary.org/obo/RO_\" 'has ID digit count' : 7, rdfs:label \"RO id policy\" 'has ID policy for': \"RO\"""", """Ontology: Annotations: 'has ID prefix': \"http://purl.obolibrary.org/obo/RO_\" 'has ID digit count' : 7, rdfs:label \"RO id policy\" 'has ID policy for': \"RO\""""@en ; obo:IAO_0000115 "Relates an ontology used to record id policy to a prefix concatenated with an integer in the id range (left padded with \"0\"s to make this many digits) to construct an ID for a term being created.", "Relates an ontology used to record id policy to a prefix concatenated with an integer in the id range (left padded with \"0\"s to make this many digits) to construct an ID for a term being created."@en ; obo:IAO_0000117 "Person:Alan Ruttenberg", "Person:Alan Ruttenberg"@en ; a owl:AnnotationProperty ; rdfs:label "has ID prefix"@en . obo:IAO_0000600 obo:IAO_0000111 "elucidation"@en ; obo:IAO_0000117 "person:Alan Ruttenberg"@en ; obo:IAO_0000119 "Person:Barry Smith"@en ; obo:IAO_0000600 "Primitive terms in a highest-level ontology such as BFO are terms which are so basic to our understanding of reality that there is no way of defining them in a non-circular fashion. For these, therefore, we can provide only elucidations, supplemented by examples and by axioms"@en ; a owl:AnnotationProperty ; rdfs:isDefinedBy ; rdfs:label "elucidation"@en . obo:IAO_0000601 obo:IAO_0000111 "has associated axiom(nl)"@en ; obo:IAO_0000117 "Person:Alan Ruttenberg"@en ; obo:IAO_0000119 "Person:Alan Ruttenberg"@en ; obo:IAO_0000600 "An axiom associated with a term expressed using natural language"@en ; a owl:AnnotationProperty ; rdfs:isDefinedBy ; rdfs:label "has associated axiom(nl)"@en . obo:IAO_0000602 obo:IAO_0000111 "has associated axiom(fol)"@en ; obo:IAO_0000117 "Person:Alan Ruttenberg"@en ; obo:IAO_0000119 "Person:Alan Ruttenberg"@en ; obo:IAO_0000600 "An axiom expressed in first order logic using CLIF syntax"@en ; a owl:AnnotationProperty ; rdfs:isDefinedBy ; rdfs:label "has associated axiom(fol)"@en . obo:IAO_0000603 obo:IAO_0000111 "is allocated id range"@en ; obo:IAO_0000115 "Add as annotation triples in the granting ontology"@en, "Relates an ontology IRI to an (inclusive) range of IRIs in an OBO name space. The range is give as, e.g. \"IAO_0020000-IAO_0020999\""@en ; obo:IAO_0000117 "PERSON:Alan Ruttenberg"@en ; a owl:AnnotationProperty ; rdfs:comment "Add as annotation triples in the granting ontology"@en ; rdfs:label "is allocated id range"@en . obo:IAO_0000700 obo:IAO_0000111 "has ontology root term"@en ; obo:IAO_0000115 "Ontology annotation property. Relates an ontology to a term that is a designated root term of the ontology. Display tools like OLS can use terms annotated with this property as the starting point for rendering the ontology class hierarchy. There can be more than one root."@en ; obo:IAO_0000117 "Nicolas Matentzoglu"@en ; a owl:AnnotationProperty ; rdfs:label "has ontology root term"@en . obo:IAO_0006011 obo:IAO_0000111 "may be identical to"@en ; obo:IAO_0000115 "A annotation relationship between two terms in an ontology that may refer to the same (natural) type but where more evidence is required before terms are merged.", "A annotation relationship between two terms in an ontology that may refer to the same (natural) type but where more evidence is required before terms are merged."@en ; obo:IAO_0000117 "David Osumi-Sutherland", "David Osumi-Sutherland"@en ; obo:IAO_0000233 "#40", "#40"@en ; obo:IAO_0000234 "VFB", "VFB"@en ; oboInOwl:creation_date "2018-09-21T16:43:39Z"^^xsd:dateTime ; a owl:AnnotationProperty ; rdfs:comment "Edges asserting this should be annotated with to record evidence supporting the assertion and its provenance.", "Edges asserting this should be annotated with to record evidence supporting the assertion and its provenance."@en ; rdfs:label "may be identical to"@en . obo:IAO_0006012 obo:IAO_0000111 "scheduled for obsoletion on or after"@en ; obo:IAO_0000115 "Used when the class or object is scheduled for obsoletion/deprecation on or after a particular date."@en ; obo:IAO_0000117 "Chris Mungall, Jie Zheng"@en ; obo:IAO_0000233 "https://github.com/geneontology/go-ontology/issues/15532"@en, "https://github.com/information-artifact-ontology/ontology-metadata/issues/32"@en ; obo:IAO_0000234 "GO ontology"@en ; a owl:AnnotationProperty ; rdfs:label "scheduled for obsoletion on or after"@en ; rdfs:range xsd:dateTime . obo:IAO_0010000 obo:IAO_0000111 "has axiom id"@en ; obo:IAO_0000117 "Person:Alan Ruttenberg"@en ; obo:IAO_0000119 "Person:Alan Ruttenberg"@en ; obo:IAO_0000600 "A URI that is intended to be unique label for an axiom used for tracking change to the ontology. For an axiom expressed in different languages, each expression is given the same URI"@en ; a owl:AnnotationProperty ; rdfs:isDefinedBy ; rdfs:label "has axiom label"@en . obo:IAO_0100001 obo:IAO_0000111 "term replaced by"@en ; obo:IAO_0000114 obo:IAO_0000125 ; obo:IAO_0000115 "Add as annotation triples in the granting ontology"@en, "Use on obsolete terms, relating the term to another term that can be used as a substitute"@en ; obo:IAO_0000117 "Person:Alan Ruttenberg"@en ; obo:IAO_0000119 "Person:Alan Ruttenberg"@en ; a owl:AnnotationProperty ; rdfs:comment "Add as annotation triples in the granting ontology"@en ; rdfs:label "term replaced by"@en . obo:IAO_8000000 obo:IAO_0000111 "ontology module"@en ; obo:IAO_0000116 "I have placed this under 'data about an ontology part', but this can be discussed. I think this is OK if 'part' is interpreted reflexively, as an ontology module is the whole ontology rather than part of it.", "I have placed this under 'data about an ontology part', but this can be discussed. I think this is OK if 'part' is interpreted reflexively, as an ontology module is the whole ontology rather than part of it."@en ; obo:IAO_0000118 "ontology file", "ontology file"@en ; obo:IAO_0000232 "This class and it's subclasses are applied to OWL ontologies. Using an rdf:type triple will result in problems with OWL-DL. I propose that dcterms:type is instead used to connect an ontology URI with a class from this hierarchy. The class hierarchy is not disjoint, so multiple assertions can be made about a single ontology.", "This class and it's subclasses are applied to OWL ontologies. Using an rdf:type triple will result in problems with OWL-DL. I propose that dcterms:type is instead used to connect an ontology URI with a class from this hierarchy. The class hierarchy is not disjoint, so multiple assertions can be made about a single ontology."@en ; oboInOwl:created_by "cjm"^^xsd:string ; oboInOwl:creation_date "2018-05-20T20:55:03Z"^^xsd:dateTime ; a owl:Class ; rdfs:label "ontology module", "ontology module"@en ; rdfs:subClassOf obo:IAO_0000102 . obo:IAO_8000001 obo:IAO_0000111 "base ontology module"@en ; obo:IAO_0000115 "An ontology module that comprises only of asserted axioms local to the ontology, excludes import directives, and excludes axioms or declarations from external ontologies.", "An ontology module that comprises only of asserted axioms local to the ontology, excludes import directives, and excludes axioms or declarations from external ontologies."@en ; oboInOwl:created_by "cjm"^^xsd:string ; oboInOwl:creation_date "2018-05-20T20:55:30Z"^^xsd:dateTime ; a owl:Class ; rdfs:label "base ontology module", "base ontology module"@en ; rdfs:seeAlso ; rdfs:subClassOf obo:IAO_8000000 . obo:IAO_8000002 obo:IAO_0000111 "editors ontology module"@en ; obo:IAO_0000115 "An ontology module that is intended to be directly edited, typically managed in source control, and typically not intended for direct consumption by end-users.", "An ontology module that is intended to be directly edited, typically managed in source control, and typically not intended for direct consumption by end-users."@en ; obo:IAO_0000118 "source ontology module", "source ontology module"@en ; oboInOwl:created_by "cjm"^^xsd:string ; oboInOwl:creation_date "2018-05-20T20:55:47Z"^^xsd:dateTime ; a owl:Class ; rdfs:label "editors ontology module", "editors ontology module"@en ; rdfs:subClassOf obo:IAO_8000000 . obo:IAO_8000003 obo:IAO_0000111 "main release ontology module"@en ; obo:IAO_0000115 "An ontology module that is intended to be the primary release product and the one consumed by the majority of tools.", "An ontology module that is intended to be the primary release product and the one consumed by the majority of tools."@en ; obo:IAO_0000116 "TODO: Add logical axioms that state that a main release ontology module is derived from (directly or indirectly) an editors module", "TODO: Add logical axioms that state that a main release ontology module is derived from (directly or indirectly) an editors module"@en ; oboInOwl:created_by "cjm"^^xsd:string ; oboInOwl:creation_date "2018-05-20T20:56:13Z"^^xsd:dateTime ; a owl:Class ; rdfs:label "main release ontology module", "main release ontology module"@en ; rdfs:subClassOf obo:IAO_8000000 . obo:IAO_8000004 obo:IAO_0000111 "bridge ontology module"@en ; obo:IAO_0000115 "An ontology module that consists entirely of axioms that connect or bridge two distinct ontology modules. For example, the Uberon-to-ZFA bridge module.", "An ontology module that consists entirely of axioms that connect or bridge two distinct ontology modules. For example, the Uberon-to-ZFA bridge module."@en ; oboInOwl:created_by "cjm"^^xsd:string ; oboInOwl:creation_date "2018-05-20T20:56:23Z"^^xsd:dateTime ; a owl:Class ; rdfs:label "bridge ontology module", "bridge ontology module"@en ; rdfs:seeAlso ; rdfs:subClassOf obo:IAO_8000000 . obo:IAO_8000005 obo:IAO_0000111 "import ontology module"@en ; obo:IAO_0000115 "A subset ontology module that is intended to be imported from another ontology.", "A subset ontology module that is intended to be imported from another ontology."@en ; obo:IAO_0000116 "TODO: add axioms that indicate this is the output of a module extraction process.", "TODO: add axioms that indicate this is the output of a module extraction process."@en ; obo:IAO_0000118 "import file", "import file"@en ; oboInOwl:created_by "cjm"^^xsd:string ; oboInOwl:creation_date "2018-05-20T20:56:47Z"^^xsd:dateTime ; a owl:Class ; rdfs:label "import ontology module", "import ontology module"@en ; rdfs:seeAlso ; rdfs:subClassOf obo:IAO_8000006 . obo:IAO_8000006 obo:IAO_0000111 "subset ontology module"@en ; obo:IAO_0000115 "An ontology module that is extracted from a main ontology module and includes only a subset of entities or axioms.", "An ontology module that is extracted from a main ontology module and includes only a subset of entities or axioms."@en ; obo:IAO_0000118 "ontology slim", "ontology slim"@en, "subset ontology", "subset ontology"@en ; oboInOwl:created_by "cjm"^^xsd:string ; oboInOwl:creation_date "2018-05-20T20:58:11Z"^^xsd:dateTime ; a owl:Class ; rdfs:label "subset ontology module", "subset ontology module"@en ; rdfs:seeAlso , ; rdfs:subClassOf obo:IAO_8000000 . obo:IAO_8000007 obo:IAO_0000111 "curation subset ontology module"@en ; obo:IAO_0000115 "A subset ontology that is intended as a whitelist for curators using the ontology. Such a subset will exclude classes that curators should not use for curation.", "A subset ontology that is intended as a whitelist for curators using the ontology. Such a subset will exclude classes that curators should not use for curation."@en ; oboInOwl:created_by "cjm"^^xsd:string ; oboInOwl:creation_date "2018-05-20T20:58:38Z"^^xsd:dateTime ; a owl:Class ; rdfs:label "curation subset ontology module", "curation subset ontology module"@en ; rdfs:subClassOf obo:IAO_8000006 . obo:IAO_8000008 obo:IAO_0000111 "analysis ontology module"@en ; obo:IAO_0000115 "An ontology module that is intended for usage in analysis or discovery applications.", "An ontology module that is intended for usage in analysis or discovery applications."@en ; oboInOwl:created_by "cjm"^^xsd:string ; oboInOwl:creation_date "2018-05-20T20:58:49Z"^^xsd:dateTime ; a owl:Class ; rdfs:label "analysis subset ontology module", "analysis subset ontology module"@en ; rdfs:subClassOf obo:IAO_8000006 . obo:IAO_8000009 obo:IAO_0000111 "single layer ontology module"@en ; obo:IAO_0000115 "A subset ontology that is largely comprised of a single layer or strata in an ontology class hierarchy. The purpose is typically for rolling up for visualization. The classes in the layer need not be disjoint.", "A subset ontology that is largely comprised of a single layer or strata in an ontology class hierarchy. The purpose is typically for rolling up for visualization. The classes in the layer need not be disjoint."@en ; obo:IAO_0000118 "ribbon subset", "ribbon subset"@en ; oboInOwl:created_by "cjm"^^xsd:string ; oboInOwl:creation_date "2018-05-20T20:59:19Z"^^xsd:dateTime ; a owl:Class ; rdfs:label "single layer subset ontology module", "single layer subset ontology module"@en ; rdfs:subClassOf obo:IAO_8000006 . obo:IAO_8000010 obo:IAO_0000111 "exclusion subset ontology module"@en ; obo:IAO_0000115 "A subset of an ontology that is intended to be excluded for some purpose. For example, a blacklist of classes.", "A subset of an ontology that is intended to be excluded for some purpose. For example, a blacklist of classes."@en ; obo:IAO_0000118 "antislim", "antislim"@en ; oboInOwl:created_by "cjm"^^xsd:string ; oboInOwl:creation_date "2018-05-20T20:59:57Z"^^xsd:dateTime ; a owl:Class ; rdfs:label "exclusion subset ontology module", "exclusion subset ontology module"@en ; rdfs:subClassOf obo:IAO_8000006 . obo:IAO_8000011 obo:IAO_0000111 "external import ontology module"@en ; obo:IAO_0000115 "An imported ontology module that is derived from an external ontology. Derivation methods include the OWLAPI SLME approach.", "An imported ontology module that is derived from an external ontology. Derivation methods include the OWLAPI SLME approach."@en ; obo:IAO_0000118 "external import", "external import"@en ; oboInOwl:created_by "cjm"^^xsd:string ; oboInOwl:creation_date "2018-05-20T21:00:14Z"^^xsd:dateTime ; a owl:Class ; rdfs:label "external import ontology module", "external import ontology module"@en ; rdfs:subClassOf obo:IAO_8000005 . obo:IAO_8000012 obo:IAO_0000111 "species subset ontology module"@en ; obo:IAO_0000115 "A subset ontology that is crafted to either include or exclude a taxonomic grouping of species.", "A subset ontology that is crafted to either include or exclude a taxonomic grouping of species."@en ; obo:IAO_0000118 "taxon subset", "taxon subset"@en ; oboInOwl:created_by "cjm"^^xsd:string ; oboInOwl:creation_date "2018-05-20T21:14:16Z"^^xsd:dateTime ; a owl:Class ; rdfs:label "species subset ontology module", "species subset ontology module"@en ; rdfs:seeAlso ; rdfs:subClassOf obo:IAO_8000006 . obo:IAO_8000013 obo:IAO_0000111 "reasoned ontology module"@en ; obo:IAO_0000115 "An ontology module that contains axioms generated by a reasoner. The generated axioms are typically direct SubClassOf axioms, but other possibilities are available.", "An ontology module that contains axioms generated by a reasoner. The generated axioms are typically direct SubClassOf axioms, but other possibilities are available."@en ; oboInOwl:created_by "cjm"^^xsd:string ; oboInOwl:creation_date "2018-05-20T21:20:33Z"^^xsd:dateTime ; a owl:Class ; rdfs:label "reasoned ontology module", "reasoned ontology module"@en ; rdfs:seeAlso ; rdfs:subClassOf obo:IAO_8000000 . obo:IAO_8000014 obo:IAO_0000111 "generated ontology module"@en ; obo:IAO_0000115 "An ontology module that is automatically generated, for example via a SPARQL query or via template and a CSV.", "An ontology module that is automatically generated, for example via a SPARQL query or via template and a CSV."@en ; obo:IAO_0000116 "TODO: Add axioms (using PROV-O?) that indicate this is the output-of some reasoning process", "TODO: Add axioms (using PROV-O?) that indicate this is the output-of some reasoning process"@en ; oboInOwl:created_by "cjm"^^xsd:string ; oboInOwl:creation_date "2018-05-20T21:21:12Z"^^xsd:dateTime ; a owl:Class ; rdfs:label "generated ontology module", "generated ontology module"@en ; rdfs:subClassOf obo:IAO_8000000 . obo:IAO_8000015 obo:IAO_0000111 "template generated ontology module"@en ; obo:IAO_0000115 "An ontology module that is automatically generated from a template specification and fillers for slots in that template.", "An ontology module that is automatically generated from a template specification and fillers for slots in that template."@en ; oboInOwl:created_by "cjm"^^xsd:string ; oboInOwl:creation_date "2018-05-20T21:21:21Z"^^xsd:dateTime ; a owl:Class ; rdfs:label "template generated ontology module", "template generated ontology module"@en ; rdfs:seeAlso , , ; rdfs:subClassOf obo:IAO_8000014 . obo:IAO_8000016 obo:IAO_0000111 "taxonomic bridge ontology module"@en ; oboInOwl:created_by "cjm"^^xsd:string ; oboInOwl:creation_date "2018-05-20T21:28:15Z"^^xsd:dateTime ; a owl:Class ; rdfs:label "taxonomic bridge ontology module", "taxonomic bridge ontology module"@en ; rdfs:subClassOf obo:IAO_8000004 . obo:IAO_8000017 obo:IAO_0000111 "ontology module subsetted by expressivity"@en ; oboInOwl:created_by "cjm"^^xsd:string ; oboInOwl:creation_date "2018-05-22T04:15:54Z"^^xsd:dateTime ; a owl:Class ; rdfs:label "ontology module subsetted by expressivity", "ontology module subsetted by expressivity"@en ; rdfs:subClassOf obo:IAO_8000006 . obo:IAO_8000018 obo:IAO_0000111 "obo basic subset ontology module"@en ; obo:IAO_0000115 """A subset ontology that is designed for basic applications to continue to make certain simplifying assumptions; many of these simplifying assumptions were based on the initial version of the Gene Ontology, and have become enshrined in many popular and useful tools such as term enrichment tools. Examples of such assumptions include: traversing the ontology graph ignoring relationship types using a naive algorithm will not lead to cycles (i.e. the ontology is a DAG); every referenced term is declared in the ontology (i.e. there are no dangling clauses). An ontology is OBO Basic if and only if it has the following characteristics: DAG Unidirectional No Dangling Clauses Fully Asserted Fully Labeled No equivalence axioms Singly labeled edges No qualifier lists No disjointness axioms No owl-axioms header No imports""", """A subset ontology that is designed for basic applications to continue to make certain simplifying assumptions; many of these simplifying assumptions were based on the initial version of the Gene Ontology, and have become enshrined in many popular and useful tools such as term enrichment tools. Examples of such assumptions include: traversing the ontology graph ignoring relationship types using a naive algorithm will not lead to cycles (i.e. the ontology is a DAG); every referenced term is declared in the ontology (i.e. there are no dangling clauses). An ontology is OBO Basic if and only if it has the following characteristics: DAG Unidirectional No Dangling Clauses Fully Asserted Fully Labeled No equivalence axioms Singly labeled edges No qualifier lists No disjointness axioms No owl-axioms header No imports"""@en ; oboInOwl:created_by "cjm"^^xsd:string ; oboInOwl:creation_date "2018-05-22T04:16:10Z"^^xsd:dateTime ; a owl:Class ; rdfs:label "obo basic subset ontology module", "obo basic subset ontology module"@en ; rdfs:seeAlso ; rdfs:subClassOf obo:IAO_8000017 . obo:IAO_8000019 obo:IAO_0000111 "ontology module subsetted by OWL profile"@en ; oboInOwl:created_by "cjm"^^xsd:string ; oboInOwl:creation_date "2018-05-22T04:16:28Z"^^xsd:dateTime ; a owl:Class ; rdfs:label "ontology module subsetted by OWL profile", "ontology module subsetted by OWL profile"@en ; rdfs:subClassOf obo:IAO_8000017 . obo:IAO_8000020 obo:IAO_0000111 "EL++ ontology module"@en ; oboInOwl:created_by "cjm"^^xsd:string ; oboInOwl:creation_date "2018-05-22T04:16:48Z"^^xsd:dateTime ; a owl:Class ; rdfs:label "EL++ ontology module", "EL++ ontology module"@en ; rdfs:subClassOf obo:IAO_8000019 . a owl:ObjectProperty . dc:contributor "Alison Wright", "Barry Smith", "Janna Hastings", "Jeanette Alicia Chacón Candia", "Mark Jensen", "Maya Braun", "Neil Otte", "Paulina Schenk" ; dc:license "https://creativecommons.org/licenses/by/3.0/" ; dc:title "Mental Functioning Ontology" ; a owl:Ontology ; rdfs:comment "The Mental Functioning Ontology (MF) was first described in the publication available at http://www.jbiomedsem.com/content/1/1/10 entitled 'Foundations for a realist ontology of mental disease' (Barry Smith and Werner Ceusters). ", "The Mental Functioning Ontology is an overarching ontology for all aspects of mental functioning, founded on the Basic Formal Ontology (BFO) and related to the Ontology for General Medical Science (OGMS).", "The OWL representaions of MF and MD were split on 22 May 2012.", "The release version of the MF is now a single, merged file prepared from the source module files using the ROBOT library's merge function.", "This OWL version of the MF ontology was originally created by Janna Hastings and is maintained by all committers to the MF ontology project. " ; owl:versionIRI ; owl:versionInfo "2025-06-25" . obo:MF_0000000 obo:IAO_0000115 "An anatomical structure in which there inheres the disposition to be the agent of a mental process." ; obo:IAO_0000119 "http://www.jbiomedsem.com/content/1/1/10" ; a owl:Class ; rdfs:label "mental functioning related anatomical structure"^^xsd:string ; rdfs:subClassOf obo:BFO_0000024, [ a owl:Restriction ; owl:onProperty obo:BFO_0000112 ; owl:someValuesFrom obo:MF_0000001 ] . obo:MF_0000001 a owl:Class ; rdfs:label "disposition to be agent of mental process"^^xsd:string ; rdfs:subClassOf obo:BFO_0000016, [ a owl:Restriction ; owl:onProperty obo:BFO_0000107 ; owl:someValuesFrom obo:MF_0000000 ] . obo:MF_0000002 obo:IAO_0000115 "(for the case of remembering X, where X is an event in the organism’s history) a mental process that is a) about X, and b) made possible by the physical traces left by a causal process involving the organism during the event X" ; obo:IAO_0000118 "act of remembering" ; a owl:Class ; rdfs:label "remembering"@en ; rdfs:subClassOf obo:MF_0000020 . obo:MF_0000003 obo:IAO_0000115 """State of active attention by high sensory awareness such as being watchful and prompt to meet danger or emergency, or being quick to perceive and act. http://en.wikipedia.org/wiki/Alertness""" ; obo:IAO_0000118 "state of alertness" ; a owl:Class ; rdfs:label "alertness"@en ; rdfs:subClassOf obo:MF_0000018 ; owl:priorVersion "MFOMD_0000176" . obo:MF_0000004 obo:IAO_0000115 "A cognitive process that involves the mental representation of sequential numbers." ; a owl:Class ; rdfs:label "mental counting"@en ; rdfs:subClassOf obo:MF_0000008 . obo:MF_0000005 obo:IAO_0000115 "A cognitive process that involves the manipulation of mental representations of numeric entities in order to compute the outcome of a mathematical function." ; a owl:Class ; rdfs:label "mental calculation"@en ; rdfs:subClassOf obo:MF_0000008 . obo:MF_0000006 obo:IAO_0000115 "A mental process during which information is evaluated, the outcome of which is a belief or opinion." ; obo:IAO_0000118 "act of judging" ; a owl:Class ; rdfs:label "judging"@en ; rdfs:subClassOf obo:MF_0000020 . obo:MF_0000007 obo:IAO_0000115 "A judging process during which an opinion about the gender of a person is determined.", "A judging that involves forming an opinion about the gender of a person." ; a owl:Class ; rdfs:label "determining gender"@en ; rdfs:subClassOf obo:MF_0000006 . obo:MF_0000008 obo:IAO_0000115 "A mental process that creates, modifies or has as participant some cognitive representation." ; a owl:Class ; rdfs:label "cognitive process" ; rdfs:seeAlso "GO:0050890, cognition, defined as `The operation of the mind by which an organism becomes aware of objects of thought or perception; it includes the mental activities associated with thinking, learning, and memory.' " ; rdfs:subClassOf obo:MF_0000020, [ a owl:Restriction ; owl:onProperty obo:BFO_0000167 ; owl:someValuesFrom obo:MF_0000031 ] . obo:MF_0000009 obo:IAO_0000115 "A judging that involves the determination of the orientation of some object." ; a owl:Class ; rdfs:label "determining orientation"@en ; rdfs:subClassOf obo:MF_0000006 . obo:MF_0000010 a owl:Class ; rdfs:label "mathematical problem solving behavior"@en ; rdfs:subClassOf obo:MF_0000071 . obo:MF_0000011 a owl:Class ; rdfs:label "visual problem solving behavior"@en ; rdfs:subClassOf obo:MF_0000071 . obo:MF_0000012 obo:IAO_0000115 "A mental process that is the psychological and physiological state of being awake and reactive to stimuli." ; a owl:Class ; rdfs:label "arousal"@en ; rdfs:subClassOf obo:MF_0000020 ; owl:priorVersion "MFOMD_0000146" . obo:MF_0000013 obo:IAO_0000115 "a mental process that involves the manipulation of mental language and/or mental images" ; obo:IAO_0000118 "act of thinking" ; a owl:Class ; rdfs:label "thinking" ; rdfs:subClassOf obo:MF_0000020 . obo:MF_0000014 a owl:Class ; rdfs:label "language problem solving behavior"@en ; rdfs:subClassOf obo:MF_0000071 . obo:MF_0000015 obo:IAO_0000115 "A mental process that manipulates mental images and words that go beyond mere memory and thoughts about the objects and entities that the person has encountered, to visualise or consider entities and states of affairs that the person has never encountered and which may not yet exist or obtain in the world. Imagination is the capacity to produce images, ideas and sensations in the mind without any immediate input of the senses." ; obo:IAO_0000119 "https://en.wikipedia.org/wiki/Imagination" ; a owl:Class ; rdfs:label "imagination"@en ; rdfs:subClassOf obo:MF_0000020 . obo:MF_0000016 obo:IAO_0000115 "An extended organism that is a member of the species Homo sapiens." ; obo:IAO_0000118 "person" ; a owl:Class ; rdfs:label "human being"^^xsd:string ; rdfs:subClassOf obo:OGMS_0000087 . obo:MF_0000017 obo:IAO_0000115 """Consciousness is an inseparable part of all mental processes. It is that part of the mental process that: a) confers a subjective perspective, a phenomenology, an experience of the mental process of which it is a part; and b) intends the object or event that the mental process is about, should such exist; i.e., it confers intentionality on the mental process.""" ; a owl:Class ; rdfs:comment "Note that while there are different modes of consciousness corresponding to the different senses, the whole of conscious experience at any one time is largely experienced as a unity, that is, as a fused whole. Mental processes which are simultaneously ongoing are separable only in fiat, not in essence. " ; rdfs:label "consciousness"@en ; rdfs:subClassOf obo:BFO_0000144, [ a owl:Restriction ; owl:onProperty obo:BFO_0000055 ; owl:someValuesFrom obo:MF_0000076 ], [ a owl:Restriction ; owl:onProperty obo:BFO_0000132 ; owl:someValuesFrom [ a owl:Class ; owl:intersectionOf (obo:MF_0000020 [ a owl:Class ; owl:complementOf obo:MF_0000017 ] ) ] ], [ a owl:Restriction ; owl:onProperty obo:BFO_0000167 ; owl:someValuesFrom obo:MF_0000073 ] . obo:MF_0000018 obo:IAO_0000115 "the process whereby relevant aspects of our mental experience are focused on specific targets" ; a owl:Class ; rdfs:label "attending"@en ; rdfs:subClassOf obo:MF_0000020 . obo:MF_0000019 obo:IAO_0000115 """A mental process which is a) produced by a causal process involving a part of the environment of the organism, and b) is experienced by the organism as being so caused, and c) in which the relevant part of the environment is thereby represented to the organism.""" ; a owl:Class ; rdfs:comment "Examples for 'causal processes involving a part of the environment of an organism' that can be perceived are light rays and air vibrations." ; rdfs:label "perception" ; rdfs:subClassOf obo:MF_0000020 . obo:MF_0000020 obo:IAO_0000115 "A bodily process that occurs in the brain, and that can of itself be conscious, or can give rise to a process that can of itself be conscious or can give rise to behaviour." ; a owl:Class ; rdfs:comment "A 'mental process' is a subclass of 'bodily process', as mental processes occur within the body, specifically involving the brain.", "A bodily process which brings into being, sustains or modifies a cognitive representation or a behavior inducing state.", "Examples include thinking, feeling pain, remembering and emotion as occurrent experiences.", "Mental processes can varying in the degree to which they involve consciousness." ; rdfs:label "mental process"^^xsd:string ; rdfs:seeAlso "GO:0050890, cognition, defined as `The operation of the mind by which an organism becomes aware of objects of thought or perception; it includes the mental activities associated with thinking, learning, and memory.' " ; rdfs:subClassOf obo:OGMS_0000060, [ a owl:Restriction ; owl:onProperty obo:BFO_0000055 ; owl:someValuesFrom obo:MF_0000033 ], [ a owl:Restriction ; owl:onProperty obo:BFO_0000117 ; owl:someValuesFrom obo:MF_0000017 ] . obo:MF_0000021 obo:IAO_0000115 "A process in which at least two human beings are agents." ; obo:IAO_0000119 "http://www.jbiomedsem.com/content/1/1/10" ; a owl:Class ; rdfs:label "interpersonal process"^^xsd:string ; rdfs:subClassOf obo:GO_0051705, [ a owl:Restriction ; owl:minQualifiedCardinality "2"^^xsd:nonNegativeInteger ; owl:onClass obo:MF_0000016 ; owl:onProperty obo:BFO_0000167 ] . obo:MF_0000022 obo:IAO_0000115 "A personality trait manifesting itself in individual behavioral characteristics that are perceived as kind, sympathetic, cooperative, warm, and considerate."@en ; obo:IAO_0000119 "Development and Validation of International English Big-Five Mini-Markers. Edmund R. Thomspson. Personality and Individual Differences, Volume 45, Issue 6, October 2008. http://www.sciencedirect.com/science/article/pii/S0191886908002195"@en ; oboInOwl:hasAlternativeId "http://www.github.com/no/ontologies/2017/PAO/Agreeableness" ; a owl:Class ; rdfs:comment "Associated adjectives: appreciative, forgiving, generous, kind, sympathetic, and trusting."@en ; rdfs:label "agreeableness"@en ; rdfs:subClassOf obo:MF_0000203 . obo:MF_0000023 obo:IAO_0000115 "Behavior having interpersonal processes as parts, each involving the same instances of human being." ; obo:IAO_0000119 "http://www.jbiomedsem.com/content/1/1/10" ; a owl:Class ; rdfs:label "interpersonal behavior"^^xsd:string ; rdfs:seeAlso """GO:0051705, multi-organism behaviour, defined as: \"Any process in which an organism has a behavioral effect on another organism of the same or different species\" (http://amigo.geneontology.org/cgi-bin/amigo/term_details?term=GO:0051705#lineage)""" ; rdfs:subClassOf obo:GO_0051705, [ a owl:Restriction ; owl:onProperty obo:BFO_0000117 ; owl:someValuesFrom obo:MF_0000021 ] . obo:MF_0000024 obo:IAO_0000115 """Seeing (visual perception) is a mental process that is a) produced by a causal process involving light rays from a part of the environment of the subject being absorbed by photoreceptors in the retina, and b) is experienced by the subject as being so caused, and c) in which the relevant part of the environment is thereby represented to the subject""" ; obo:IAO_0000118 "act of seeing", "visual perception" ; a owl:Class ; rdfs:label "seeing"@en ; rdfs:subClassOf obo:MF_0000019, [ a owl:Restriction ; owl:onProperty obo:BFO_0000117 ; owl:someValuesFrom obo:MF_0000034 ] . obo:MF_0000025 obo:IAO_0000115 "A mental capability realised in processes involving understanding complex ideas, adapting effectively to the environment, learning from experience, engaging in various forms of reasoning, and overcome obstacles through the outcome of thinking processes." ; a owl:Class ; rdfs:label "intelligence"@en ; rdfs:subClassOf obo:MF_0000048 . obo:MF_0000026 a owl:Class ; rdfs:label "introversion"@en ; rdfs:subClassOf obo:MF_0000203 . obo:MF_0000027 obo:IAO_0000115 "A mental process that involves mentally manipulating representations of steps in an imagined process which has some goal." ; obo:IAO_0000118 "act of planning" ; a owl:Class ; rdfs:comment "The outcome of this mental process is a plan which has the potential to be followed to bring about the desired outcome." ; rdfs:label "planning" ; rdfs:subClassOf obo:MF_0000020 . obo:MF_0000028 obo:IAO_0000115 "A personality trait manifesting itself in individual behavioral characteristics that are perceived as careful, self-disciplined, dependable, vigilant, dutiful, and goal-oriented."@en ; oboInOwl:hasAlternativeId "http://www.github.com/no/ontologies/2017/PAO/Conscientiousness" ; a owl:Class ; rdfs:comment "Associated adjectives: efficient, organized, planful, reliable, responsible, and thorough."@en ; rdfs:label "conscientiousness"@en ; rdfs:subClassOf obo:MF_0000203 . obo:MF_0000029 obo:IAO_0000115 "A mental disposition to frequent or easily incited outbursts of anger. " ; a owl:Class ; rdfs:label "irascibility"@en ; rdfs:subClassOf obo:MF_0000203 . obo:MF_0000030 obo:IAO_0000115 "A dependent continuant which is about a portion of reality." ; obo:IAO_0000119 "http://www.jbiomedsem.com/content/1/1/10" ; a owl:Class ; rdfs:label "representation"^^xsd:string ; rdfs:subClassOf obo:BFO_0000020 . obo:MF_0000031 obo:IAO_0000115 "A representation which specifically depends on an anatomical structure in the cognitive system of an organism." ; obo:IAO_0000119 "http://www.jbiomedsem.com/content/1/1/10" ; a owl:Class ; rdfs:label "cognitive representation"^^xsd:string ; rdfs:subClassOf obo:MF_0000030 . obo:MF_0000032 obo:IAO_0000115 "A bodily disposition is a disposition that inheres in some extended organism. Examples are: my disposition to catch a cold when exposed to a virus, my ability to speak the English language." ; obo:IAO_0000118 "personal disposition" ; a owl:Class ; rdfs:comment "Bodily disposition includes features that can be used in a specific context, such as a person's strength, but not a person's weight. A person has a specific weight independent of the circumstances they are in.", "Extended organism refers to an organism and its microbiome (e.g., the bacteria that live in one's digestive system)." ; rdfs:label "bodily disposition"@en ; rdfs:subClassOf obo:BFO_0000016 ; owl:equivalentClass [ a owl:Restriction ; owl:onProperty obo:BFO_0000052 ; owl:someValuesFrom obo:OGMS_0000087 ] . obo:MF_0000033 obo:IAO_0000115 "A mental disposition is a bodily disposition that is realized in a mental process. " ; a owl:Class ; rdfs:comment "'Mental disposition' is a subclass of 'bodily disposition', as mental dispositions occur in the body." ; rdfs:label "mental disposition"@en ; rdfs:subClassOf obo:MF_0000032, [ a owl:Restriction ; owl:allValuesFrom obo:MF_0000020 ; owl:onProperty obo:BFO_0000054 ] . obo:MF_0000034 obo:IAO_0000115 "Visual consciousness is consciousness of a visual stimulus, as experienced through the visual sensory medium as a part of a process of seeing." ; a owl:Class ; rdfs:label "visual consciousness"@en ; rdfs:subClassOf obo:MF_0000037 . obo:MF_0000035 obo:IAO_0000115 "Auditory consciousness is consciousness of an auditory stimulus, as a part of a conscious process of hearing." ; a owl:Class ; rdfs:label "auditory consciousness"@en ; rdfs:subClassOf obo:MF_0000037 . obo:MF_0000036 obo:IAO_0000115 "Tactile consciousness is consciousness that is experienced in the tactile sensory medium, through the sensory medium of touch and pressure sensation." ; a owl:Class ; rdfs:label "tactile consciousness"@en ; rdfs:subClassOf obo:MF_0000037 . obo:MF_0000037 obo:IAO_0000115 "Direct consciousness is consciousness of phenomenal experience, it is the given experience in consciousness of (for example) sounds, tastes, emotions and bodily feelings." ; obo:IAO_0000118 "pre-reflexive consciousness" ; a owl:Class ; rdfs:label "direct consciousness"@en ; rdfs:subClassOf obo:MF_0000017 . obo:MF_0000038 obo:IAO_0000115 """Hearing (auditory perception) is a mental process that is a) produced by a causal process involving sound waves from a part of the environment of the subject being absorbed by detectors in the ear, and b) is experienced by the subject as being so caused, and c) in which the relevant part of the environment is thereby represented to the subject""" ; obo:IAO_0000118 "act of hearing", "auditory perception" ; a owl:Class ; rdfs:label "hearing"@en ; rdfs:subClassOf obo:MF_0000019, [ a owl:Restriction ; owl:onProperty obo:BFO_0000117 ; owl:someValuesFrom obo:MF_0000035 ] . obo:MF_0000039 obo:IAO_0000115 "A cognitive representation sustained by an organsim about its own emotions." ; obo:IAO_0000119 "http://www.jbiomedsem.com/content/1/1/10" ; a owl:Class ; rdfs:label "affective representation"^^xsd:string ; rdfs:subClassOf obo:MF_0000031 . obo:MF_0000040 obo:IAO_0000115 "A communication process is an interpersonal process that involves the transmission of information between two organisms." ; a owl:Class ; rdfs:label "communication"@en ; rdfs:seeAlso "http://purl.obolibrary.org/obo/OMRSE_00000192" ; rdfs:subClassOf obo:MF_0000021 . obo:MF_0000041 obo:IAO_0000115 "A mental disposition to represent a proposition to be true." ; a owl:Class ; rdfs:comment """Judging is a mental process that brings a belief into existence. Judging differently may also bring that belief out of existence. An act of believing is just thinking about a belief. Beliefs typically cause us to behave in ways that are characteristic with the content of that belief. However, this is not a necessary feature for the existence of the belief.""" ; rdfs:label "belief"@en ; rdfs:subClassOf obo:MF_0000033 . obo:MF_0000042 a owl:Class ; rdfs:label "preference"@en ; rdfs:subClassOf obo:MF_0000203 . obo:MF_0000043 obo:IAO_0000115 "A bodily disposition whose realization ordinarily brings benefits to an organism or group of organisms, where \"ordinarily\" means within a typical range or context." ; obo:IAO_0000118 "personal capability" ; obo:IAO_0000119 "https://github.com/NCOR-US/Capabilities/wiki/The-Account-of-Capabilities" ; a owl:Class ; rdfs:comment "Note that, as discussed in https://philpapers.org/archive/MERMC.pdf, both organisms and artifacts can bear capabilities. However, this capability class is just applicable to organismal capabilities (as a subclass of 'bodily disposition') and the definition has been amended from that of the definition source accordingly.", "The phrase 'ordinarily brings benefits to an organism or group of organism' is used to explain that capabilities normally provide a benefit. For exampoe, having a musical ability is usually an ability that is positive for a person (e.g., they enjoy playing music, they receive positive feedback about their ability). However, in certain exceptional cases (e.g., a neighbour becoming annoyed with a person playing the piano and expressing this annoyance), the ability might not bring benefits." ; rdfs:label "personal capability"@en ; rdfs:subClassOf obo:MF_0000032 . obo:MF_0000044 obo:IAO_0000115 "A personal capability that is realised in an activity of producing or interpreting music." ; a owl:Class ; rdfs:label "musical capability"@en ; rdfs:subClassOf obo:MF_0000043 . obo:MF_0000045 obo:IAO_0000115 "A mental process that involves thinking about a state of affairs that is not yet the case together with a desire for that state of affairs to come about." ; obo:IAO_0000118 "act of wanting" ; a owl:Class ; rdfs:label "wanting" ; rdfs:subClassOf obo:MF_0000020 . obo:MF_0000046 obo:IAO_0000115 "A musical capability that is realised in the production of music using a piano." ; a owl:Class ; rdfs:label "capability to play piano"@en ; rdfs:subClassOf obo:MF_0000044 . obo:MF_0000047 obo:IAO_0000115 "A musical capability that is realised in the production of music using a violin." ; a owl:Class ; rdfs:label "capability to play violin"@en ; rdfs:subClassOf obo:MF_0000044 . obo:MF_0000048 obo:IAO_0000115 "A personal capability that includes mental processes in its realisation." ; a owl:Class ; rdfs:label "mental capability"@en ; rdfs:subClassOf obo:MF_0000043 . obo:MF_0000049 obo:IAO_0000115 "A linguistic capability that is realised by processes in which textual concretisations of linguistic expressions are processed and understood." ; a owl:Class ; rdfs:label "capability to read"@en ; rdfs:subClassOf obo:MF_0000050 . obo:MF_0000050 obo:IAO_0000115 "A mental capability that is realised in processes of communication involving language or in expressions of language." ; a owl:Class ; rdfs:label "linguistic capability"@en ; rdfs:subClassOf obo:MF_0000048 . obo:MF_0000051 obo:IAO_0000115 "A linguistic capability that is realised in processes in which well-formed expressions in a given language are understood." ; a owl:Class ; rdfs:label "capability to understand language"@en ; rdfs:subClassOf obo:MF_0000050 . obo:MF_0000052 obo:IAO_0000115 "A linguistic capability that is realised in processes in which well-formed vocal expressions in a given language are produced." ; a owl:Class ; rdfs:label "capability to speak"@en ; rdfs:subClassOf obo:MF_0000050 . obo:MF_0000053 obo:IAO_0000115 "A musical capability that is the ability to interpret the musical instructions represented in a musical score." ; a owl:Class ; rdfs:label "capability to read music"@en ; rdfs:subClassOf obo:MF_0000044 . obo:MF_0000054 obo:IAO_0000115 """Taste perception is a mental process which is a) produced by a causal process involving xenobiotic molecules from a part of the environment of the subject binding with specialized sensory cells in the tongue and nasal cavity, and b) is experienced by the subject as being so caused, and c) in which the relevant part of the environment is thereby represented to the subject""" ; obo:IAO_0000118 "act of tasting" ; a owl:Class ; rdfs:label "tasting"@en ; rdfs:subClassOf obo:MF_0000019 . obo:MF_0000055 obo:IAO_0000115 """Smelling (olfactory perception) is a mental process which is a) produced by a causal process involving xenobiotic molecules from a part of the environment of the subject binding with specialized sensory cells in the nasal cavity, and b) is experienced by the subject as being so caused, and c) in which the relevant part of the environment is thereby represented to the subject""" ; obo:IAO_0000118 "act of smelling", "olfactory perception" ; a owl:Class ; rdfs:label "smelling"@en ; rdfs:subClassOf obo:MF_0000019, [ a owl:Restriction ; owl:onProperty obo:BFO_0000117 ; owl:someValuesFrom obo:MF_0000066 ] . obo:MF_0000056 obo:IAO_0000115 """Touching (tactile perception) is a mental process which is a) produced by a causal process involving pressure on the organism’s skin from a part of the environment of the subject, and b) is experienced by the subject as being so caused, and c) in which the relevant part of the environment is thereby represented to the subject""" ; obo:IAO_0000118 "act of touching" ; a owl:Class ; rdfs:label "touching"@en ; rdfs:subClassOf obo:MF_0000019, [ a owl:Restriction ; owl:onProperty obo:BFO_0000117 ; owl:someValuesFrom obo:MF_0000036 ] . obo:MF_0000057 obo:IAO_0000115 "A cognitive process that involves the manipulation of mental language." ; a owl:Class ; rdfs:label "thinking with language"@en ; rdfs:subClassOf obo:MF_0000008, obo:MF_0000013 . obo:MF_0000058 obo:IAO_0000115 "Affectional tie that one person or animal forms between himself and another specific one, a tie that binds them together emotionally and endures over time." ; a owl:Class ; rdfs:label "attachment"@en ; rdfs:subClassOf obo:MF_0000021 ; owl:priorVersion "MFOMF_0000177" . obo:MF_0000059 obo:IAO_0000115 "Short-term detachment from one's immediate surroundings, during which a person's contact with reality is blurred and partially substituted by a visionary fantasy, especially one of happy, pleasant thoughts, hopes or ambitions, imagined as coming to pass, and experienced while awake." ; obo:IAO_0000118 "act of daydreaming" ; obo:IAO_0000119 "http://en.wikipedia.org/wiki/Daydream" ; a owl:Class ; rdfs:label "daydreaming"@en ; rdfs:subClassOf obo:MF_0000020 ; owl:priorVersion "MFOMD_0000148" . obo:MF_0000060 obo:IAO_0000115 """The ability to maintain attention and alertness over prolonged periods of time. http://en.wikipedia.org/wiki/Vigilance_%28psychology%29""" ; obo:IAO_0000118 "state of vigilance" ; a owl:Class ; rdfs:label "vigilance"@en ; rdfs:subClassOf obo:MF_0000018 ; owl:priorVersion "MFOMD_0000140" . obo:MF_0000061 obo:IAO_0000115 """Orgasm is the sudden discharge of accumulated sexual tension during the sexual response cycle, resulting in rhythmic muscular contractions in the pelvic region characterized by sexual pleasure. http://en.wikipedia.org/wiki/Orgasm""" ; obo:IAO_0000118 "sexual climax" ; a owl:Class ; rdfs:label "orgasm"@en ; rdfs:subClassOf obo:MF_0000020 ; owl:priorVersion "MFOMD_0000207" . obo:MF_0000062 obo:IAO_0000115 """ The psychic energy that drives individuals toward sensual pleasures of all types, especially sexual ones. http://www.apa.org/research/action/glossary.aspx""" ; a owl:Class ; rdfs:label "libido"@en ; rdfs:subClassOf obo:MF_0000020 ; owl:priorVersion "MFOMD_0000130" . obo:MF_0000063 obo:IAO_0000115 "A personality trait manifesting itself in individual behavioral characteristics that are perceived as positive, assertive, social, and outgoing."@en ; oboInOwl:hasAlternativeId "http://www.github.com/no/ontologies/2017/PAO/Extraversion" ; a owl:Class ; rdfs:comment "Associated Adjectives: active, assertive, energetic, enthusiastic, outgoing, talkative."@en ; rdfs:label "extraversion"@en ; rdfs:subClassOf obo:MF_0000203 . obo:MF_0000064 obo:IAO_0000115 "A personality trait manifesting itself in individual behavioral characteristics that are perceived as angry, anxious, depressed, unstable, and vulnerable."@en ; oboInOwl:hasAlternativeId "http://www.github.com/no/ontologies/2017/PAO/Neuroticism" ; a owl:Class ; rdfs:comment "Associated adjectives: anxious, self-pitying, tense, touchy unstable, and worrying."@en ; rdfs:label "neuroticism"@en ; rdfs:subClassOf obo:MF_0000203 . obo:MF_0000065 obo:IAO_0000115 "A personality trait manifesting itself in individual behavioral characteristics that are perceived as revealing, curiosity, an appreciation of novelty and variety of experiences and ideas, invention, and unpredictability."@en ; oboInOwl:hasAlternativeId "http://www.github.com/no/ontologies/2017/PAO/OpennessToExperience" ; a owl:Class ; rdfs:comment "Associated adjectives: artistic, curious, imaginative, insightful, original, and wide interests."@en ; rdfs:label "openness to experience"@en ; rdfs:subClassOf obo:MF_0000203 . obo:MF_0000066 obo:IAO_0000115 "Olfactory consciousness is consciousness of an olfactory stimulus (scent), as experienced through the olfactory sensory medium as a part of a process of smelling." ; a owl:Class ; rdfs:label "olfactory consciousness"@en ; rdfs:subClassOf obo:MF_0000037 . obo:MF_0000067 obo:IAO_0000115 "Consciousness of self is the higher order consciousness that reflexively includes the awareness that the organism that is the subject of the conscious experience exists." ; obo:IAO_0000118 "consciousness of the existence of the self", "self-consciousness", "selfhood" ; a owl:Class ; rdfs:comment "The implication of Descartes' famous \"Cogito ergo sum\" is that awareness of one's own existence entails that one exists. This is because consciousness creates a perspective, and awareness of this is a self-reflexive perspective of oneself. This is one aspect of intentionality that cannot fail. Intentionality can fail at all levels of content, but not at the level of intending through awareness the existence of the self that is consciously intending." ; rdfs:label "consciousness of self"@en ; rdfs:subClassOf obo:MF_0000101 . obo:MF_0000068 obo:IAO_0000115 """Proprioception is a mental process which is a) produced by a causal process specialized internal sensory cells in, for example, skin, muscles and joints, and b) by which their location and state of motion and/or balance are represented to the organism, and c) which is experienced by the subject as being so caused""" ; a owl:Class ; rdfs:label "proprioception"@en ; rdfs:subClassOf obo:MF_0000019 . obo:MF_0000069 obo:IAO_0000115 """Nociception is a mental process which is a) produced by a causal process specialized internal sensory cells in, for example, skin, muscles and joints, and b) by which actual or immanent tissue damage are reported to the organism, and c) which is experienced by the subject as being so caused""" ; a owl:Class ; rdfs:label "nociception"@en ; rdfs:subClassOf obo:MF_0000019 . obo:MF_0000070 obo:IAO_0000115 "A memory is a mental disposition that is realized in a process of remembering, i.e. a memory of X is a disposition realized in the process of remembering X." ; a owl:Class ; rdfs:label "a memory"@en ; rdfs:subClassOf obo:MF_0000033 . obo:MF_0000071 a owl:Class ; rdfs:label "problem solving behaviour"@en ; rdfs:subClassOf obo:GO_0007610 . obo:MF_0000072 obo:IAO_0000115 "The subjective experience of time as a coherent process inhabited by oneself as an embodied thinking being" ; obo:IAO_0000118 "time awareness" ; a owl:Class ; rdfs:label "consciousness of time"@en ; rdfs:subClassOf obo:MF_0000101 . obo:MF_0000073 obo:IAO_0000115 "Intentionality is the fundamental quality of conscious mental processes of always having content, of being directed towards, or about something." ; a owl:Class ; rdfs:label "intentionality"@en ; rdfs:subClassOf obo:MF_0000075 . obo:MF_0000074 obo:IAO_0000115 "A bodily quality is a quality that inheres in some extended organism." ; a owl:Class ; rdfs:label "bodily quality"@en ; rdfs:subClassOf obo:BFO_0000019 . obo:MF_0000075 obo:IAO_0000115 "A mental quality is a bodily quality that inheres in those structures of the extended organism that are essential for mental functioning." ; a owl:Class ; rdfs:label "mental quality"@en ; rdfs:subClassOf obo:MF_0000074 . obo:MF_0000076 obo:IAO_0000112 "An example of an intentional modality is the capacity to represent objects of intentionality as unfolding in time or being time contingent." ; obo:IAO_0000115 "A structural capacity that shapes how an object of intentionality is represented for the subject." ; obo:IAO_0000118 "intentional mode", "intentional structure" ; a owl:Class ; rdfs:label "intentional modality"@en ; rdfs:subClassOf obo:MF_0000033 . obo:MF_0000077 obo:IAO_0000115 "The subjective experience of the spatial surroundings one inhabits as an embodied entity." ; obo:IAO_0000118 "space awareness" ; a owl:Class ; rdfs:label "consciousness of space"@en ; rdfs:subClassOf obo:MF_0000101 . obo:MF_0000078 obo:IAO_0000115 "The subjective experience of being an embodied entity." ; obo:IAO_0000118 "body awareness" ; a owl:Class ; rdfs:label "consciousness of the body"@en ; rdfs:subClassOf obo:MF_0000101 . obo:MF_0000079 obo:IAO_0000115 "The subjective experience of other beings as self-aware entities." ; a owl:Class ; rdfs:label "intersubjectivity"@en ; rdfs:subClassOf obo:MF_0000101 . obo:MF_0000080 obo:IAO_0000115 "The intentional structural capacity to experience lived time." ; a owl:Class ; rdfs:label "time intentional modality"@en ; rdfs:subClassOf obo:MF_0000076, [ a owl:Restriction ; owl:onProperty obo:BFO_0000054 ; owl:someValuesFrom obo:MF_0000072 ] . obo:MF_0000081 obo:IAO_0000115 "The partial structure of time consciousness that relates to linking and projecting the content of immediate moments to future moments (e.g. how the path of a moving object is intuitively projected)." ; a owl:Class ; rdfs:label "protention"@en ; rdfs:subClassOf obo:MF_0000080 . obo:MF_0000082 obo:IAO_0000115 "The partial structure of time consciousness that relates to retaining past events in memory and linking them to present events (e.g. how the individual tones in a melody is intuitively linked together to form a whole)." ; a owl:Class ; rdfs:label "retention"@en ; rdfs:subClassOf obo:MF_0000080 . obo:MF_0000083 obo:IAO_0000115 "A mental process that evokes the representation of the sensory characteristics of objects or events when these are not immediately present to the senses." ; a owl:Class ; rdfs:label "mental imagery"@en ; rdfs:subClassOf obo:MF_0000015 . obo:MF_0000084 obo:IAO_0000115 """A spoken communication process is a linguistic communication process that: (a) involves as participant at least two linguistically capable organisms; (b) one of whom produces an utterance that is well-formed in a given spoken language; (c) the other of whom perceives and understands that utterance by virtue of their recognition of the meaning of the utterance through their knowledge of the language.""" ; a owl:Class ; rdfs:label "spoken communication"@en ; rdfs:subClassOf obo:MF_0000086 . obo:MF_0000085 obo:IAO_0000115 """A written communication process is an interpersonal process that: (a) involves as participant at least two organisms, (b) one of whom produces a message in writing that is well-formed in a given language; (c) the other of whom reads the message and understands it.""" ; a owl:Class ; rdfs:label "written communication"@en ; rdfs:subClassOf obo:MF_0000086 . obo:MF_0000086 obo:IAO_0000115 "A linguistic communication process is a communication process in which the information that is communicated is encoded in language." ; a owl:Class ; rdfs:label "linguistic communication"@en ; rdfs:subClassOf obo:MF_0000040 . obo:MF_0000087 obo:IAO_0000115 "A gestural communication process is a communication process in which information is transferred by means of physical movements." ; a owl:Class ; rdfs:label "gestural communication"@en ; rdfs:subClassOf obo:MF_0000089 . obo:MF_0000088 obo:IAO_0000115 "A mental process that involves neuronal activity in response to a sensory stimuli but which is not the subject of consciousness." ; a owl:Class ; rdfs:label "subliminal process"@en ; rdfs:subClassOf obo:OGMS_0000060 . obo:MF_0000089 obo:IAO_0000115 "A communication process in which information is transmitted without being encoded in the meaning units of any language." ; a owl:Class ; rdfs:label "non-linguistic communication"@en ; rdfs:subClassOf obo:MF_0000040 . obo:MF_0000090 obo:IAO_0000115 "A linguistic communication in which the meaning units are encoded in a sign language." ; a owl:Class ; rdfs:label "sign-language communication"@en ; rdfs:subClassOf obo:MF_0000086 . obo:MF_0000091 obo:IAO_0000115 "A non-linguistic communication process that involves the transmission of information by one participant interpreting the facial expressions of another participant." ; a owl:Class ; rdfs:label "facial expression communication"@en ; rdfs:subClassOf obo:MF_0000089 . obo:MF_0000101 obo:IAO_0000115 "Higher order consciousness is consciousness of one's own mental states, a self-reflexive consciousness of the experience of being conscious, of having mental processes ongoing." ; a owl:Class ; rdfs:label "higher order consciousness"@en ; rdfs:subClassOf obo:MF_0000017 . obo:MF_0000202 obo:IAO_0000115 "A personality is a complex sum of dispositions and predispositions towards mental processes and behaviour. It inheres in a person." ; a owl:Class ; rdfs:comment "Personality is not the same as mood, although a person may have a personality that includes a predisposition to moods of certain types, moods may come and go but a personality stays relatively constant, not appearing and disappearing. Personality typically changes slowly over time." ; rdfs:label "personality"@en ; rdfs:subClassOf obo:MF_0000032 . obo:MF_0000203 obo:IAO_0000115 "A personality trait is an individual disposition or predisposition that forms part of an overall personality and is realized in repeated occurrences of a specific mental process type or behavioural profile. " ; a owl:Class ; rdfs:label "personality trait"@en ; rdfs:subClassOf obo:MF_0000032, [ a owl:Restriction ; owl:onProperty obo:BFO_0000176 ; owl:someValuesFrom obo:MF_0000202 ] . obo:NBO_0000159 obo:IAO_0000412 ; a owl:Class ; rdfs:label "rapid eye movement sleep"^^xsd:string ; rdfs:subClassOf obo:GO_0042747, obo:GO_0048512, obo:GO_0050802 . obo:NBO_0000161 obo:IAO_0000115 "\"Behavior related to all sleep stages in the circadian sleep/wake cycle other than REM sleep.\" [NBO:GVG]" ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "non-rapid eye movement sleep behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0042748, obo:GO_0048512, obo:GO_0050802 . obo:NBO_0000166 obo:IAO_0000115 "\"Endogenously driven roughly 24-hour cycle in biochemical, physiological, or behavioral processes.\" [GOC:bf]" ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "circadian rhythm"^^xsd:string ; rdfs:subClassOf obo:GO_0048512 . obo:NBO_0000167 obo:IAO_0000412 ; a owl:Class ; rdfs:label "circadian period"^^xsd:string ; rdfs:subClassOf obo:NBO_0000166 . obo:NBO_0000168 obo:IAO_0000412 ; a owl:Class ; rdfs:label "circadian persistence"^^xsd:string ; rdfs:subClassOf obo:NBO_0000166 . obo:NBO_0000169 obo:IAO_0000412 ; a owl:Class ; rdfs:label "circadian phase"^^xsd:string ; rdfs:subClassOf obo:NBO_0000166 . obo:NBO_0000536 obo:IAO_0000115 "\"Any process in which an organism modulates its heart rate at different values with a regularity of approximately 24 hours.\" [GOC:rl]" ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "circadian regulation of heart rate"^^xsd:string ; rdfs:subClassOf obo:GO_0048512 . obo:NBO_0000537 obo:IAO_0000115 "\"Any process in which an organism modulates its blood pressure at different values with a regularity of approximately 24 hours.\" [GO:GO\\:0003052]" ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "circadian regulation of systemic arterial blood pressure"^^xsd:string ; rdfs:subClassOf obo:GO_0048512 . obo:NBO_0000538 obo:IAO_0000115 "\"Any homeostatic process in which an organism modulates its internal body temperature at different values with a regularity of approximately 24 hours.\" [GOC:dbh]" ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "circadian temperature homeostasis"^^xsd:string ; rdfs:subClassOf obo:GO_0048512 . obo:NBO_0000634 obo:IAO_0000412 ; a owl:Class ; rdfs:label "irritable aggressive behavior"^^xsd:string ; rdfs:subClassOf obo:GO_0002118 . obo:NBO_0020040 obo:IAO_0000115 "Active pursuit of fleeing prey."@en ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "chase prey"@en ; rdfs:subClassOf obo:NBO_0020292 . obo:NBO_0020045 obo:IAO_0000115 "Behaviors in which predator forces potential prey to emerge from cover."@en ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "flush prey"@en ; rdfs:subClassOf obo:NBO_0020292 . obo:NBO_0020137 obo:IAO_0000115 "Building of a trap, web, net, or other structure to help ensnare potential food items."@en ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "construct capturing device"@en ; rdfs:subClassOf obo:NBO_0020292 . obo:NBO_0020160 obo:IAO_0000115 "Approach to prey in manner designed to avoid early detection by prey."@en ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "stalk prey"@en ; rdfs:subClassOf obo:NBO_0020292 . obo:NBO_0020292 obo:IAO_0000115 "Suite of behaviors involved in securing a prey item once it has been located."@en ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "capturing behaviour"@en ; rdfs:subClassOf obo:GO_0002120 . obo:NBO_0020293 obo:IAO_0000115 "Behaviors that result in ending flight of prey with successful predation."@en ; obo:IAO_0000412 ; a owl:Class ; rdfs:label "capturing prey"@en ; rdfs:subClassOf obo:NBO_0020292 . obo:OGMS_0000060 obo:IAO_0000115 "A process in which at least one bodily component of an organsim participates." ; obo:IAO_0000119 "http://www.jbiomedsem.com/content/1/1/10" ; a owl:Class ; rdfs:comment "From OGMS: http://purl.obolibrary.org/obo/OGMS_0000060" ; rdfs:label "bodily process"^^xsd:string ; rdfs:subClassOf obo:BFO_0000015, [ a owl:Restriction ; owl:onProperty obo:BFO_0000167 ; owl:someValuesFrom obo:OGMS_0000087 ] . obo:OGMS_0000087 a owl:Class ; rdfs:comment "From OGMS: http://purl.obolibrary.org/obo/OGMS_0000087" ; rdfs:label "extended organism"^^xsd:string ; rdfs:subClassOf obo:BFO_0000040 . obo:OMO_0001000 obo:IAO_0000115 "The term was added to the ontology on the assumption it was in scope, but it turned out later that it was not."@en ; obo:IAO_0000116 "This obsolesence reason should be used conservatively. Typical valid examples are: un-necessary grouping classes in disease ontologies, a phenotype term added on the assumption it was a disease."@en ; obo:IAO_0000117 ; obo:IAO_0000233 "https://github.com/information-artifact-ontology/ontology-metadata/issues/77" ; obo:IAO_0000234 "https://orcid.org/0000-0001-5208-3432" ; a obo:IAO_0000225, owl:NamedIndividual ; rdfs:label "out of scope" . obo:OMO_0001001 obo:IAO_0000115 "This is an annotation used on an object property to indicate a logical characterstic beyond what is possible in OWL." ; obo:IAO_0000119 "OBO Operations call" ; oboInOwl:created_by ; a owl:AnnotationProperty ; rdfs:label "logical characteristic of object property" . obo:OMO_0002000 obo:IAO_0000112 """'part disjoint with' 'defined by construct' \"\"\" PREFIX owl: PREFIX : ; dc:contributor , ; a owl:AnnotationProperty ; rdfs:label "defined by construct" . dc:contributor a owl:AnnotationProperty . dc:coverage a owl:AnnotationProperty . dc:creator a owl:AnnotationProperty . dc:date a owl:AnnotationProperty . dc:description a owl:AnnotationProperty . dc:format a owl:AnnotationProperty . dc:identifier a owl:AnnotationProperty . dc:language a owl:AnnotationProperty . dc:license a owl:AnnotationProperty . dc:member a owl:AnnotationProperty . dc:publisher a owl:AnnotationProperty . dc:relation a owl:AnnotationProperty . dc:rights a owl:AnnotationProperty . dc:source a owl:AnnotationProperty . dc:subject a owl:AnnotationProperty . dc:title a owl:AnnotationProperty . dc:type a owl:AnnotationProperty . terms:license a owl:AnnotationProperty . oboInOwl:DbXref a owl:Class ; rdfs:subClassOf obo:IAO_0000102 . oboInOwl:Definition a owl:Class ; rdfs:subClassOf obo:IAO_0000102 . oboInOwl:Subset a owl:Class ; rdfs:subClassOf obo:IAO_0000102 ; owl:equivalentClass [ a owl:Class ; owl:oneOf (obo:IAO_0000224 ) ] . oboInOwl:Synonym a owl:Class ; rdfs:subClassOf obo:IAO_0000102 . oboInOwl:SynonymType a owl:Class ; rdfs:subClassOf obo:IAO_0000102 . oboInOwl:created_by a owl:AnnotationProperty . oboInOwl:creation_date a owl:AnnotationProperty . oboInOwl:hasAlternativeId a owl:AnnotationProperty . oboInOwl:hasBroadSynonym obo:IAO_0000115 "An alternative label for a class or property which has a more general meaning than the preferred name/primary label." ; obo:IAO_0000117 ; obo:IAO_0000233 "https://github.com/information-artifact-ontology/ontology-metadata/issues/18" ; a owl:AnnotationProperty ; rdfs:label "has broad synonym"@en ; rdfs:seeAlso "https://github.com/information-artifact-ontology/ontology-metadata/issues/18" ; rdfs:subPropertyOf obo:IAO_0000118 . oboInOwl:hasExactSynonym obo:IAO_0000115 "An alternative label for a class or property which has the exact same meaning than the preferred name/primary label." ; obo:IAO_0000117 ; obo:IAO_0000233 "https://github.com/information-artifact-ontology/ontology-metadata/issues/20" ; a owl:AnnotationProperty ; rdfs:label "has exact synonym"@en ; rdfs:seeAlso "https://github.com/information-artifact-ontology/ontology-metadata/issues/20" ; rdfs:subPropertyOf obo:IAO_0000118 . oboInOwl:hasNarrowSynonym obo:IAO_0000115 "An alternative label for a class or property which has a more specific meaning than the preferred name/primary label." ; obo:IAO_0000117 ; obo:IAO_0000233 "https://github.com/information-artifact-ontology/ontology-metadata/issues/19" ; a owl:AnnotationProperty ; rdfs:label "has narrow synonym"@en ; rdfs:seeAlso "https://github.com/information-artifact-ontology/ontology-metadata/issues/19" ; rdfs:subPropertyOf obo:IAO_0000118 . oboInOwl:hasRelatedSynonym obo:IAO_0000115 "An alternative label for a class or property that has been used synonymously with the primary term name, but the usage is not strictly correct." ; obo:IAO_0000117 ; obo:IAO_0000233 "https://github.com/information-artifact-ontology/ontology-metadata/issues/21" ; a owl:AnnotationProperty ; rdfs:label "has related synonym"@en ; rdfs:seeAlso "https://github.com/information-artifact-ontology/ontology-metadata/issues/21" ; rdfs:subPropertyOf obo:IAO_0000118 . rdfs:comment a owl:AnnotationProperty . rdfs:isDefinedBy a owl:AnnotationProperty . rdfs:label a owl:AnnotationProperty . rdfs:seeAlso a owl:AnnotationProperty . foaf:homepage a owl:AnnotationProperty . foaf:mbox a owl:AnnotationProperty . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000600 ; owl:annotatedSource obo:BFO_0000002 ; owl:annotatedTarget "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])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000601 ; owl:annotatedSource obo:BFO_0000040 ; owl:annotatedTarget "every entity of which a material entity is continuant part is also a material entity. (axiom label in BFO2 Reference: [021-002])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000040 ; owl:annotatedTarget "(forall (x) (if (MaterialEntity x) (IndependentContinuant x))) // axiom label in BFO2 CLIF: [019-002] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000115 ; owl:annotatedSource obo:BFO_0000140 ; owl:annotatedTarget "b is a continuant fiat boundary = Def. b is an immaterial entity that is of zero, one or two dimensions and does not include a spatial region as part. (axiom label in BFO2 Reference: [029-001])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000116 ; owl:annotatedSource obo:BFO_0000140 ; owl:annotatedTarget "Continuant fiat boundary doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the mereological sum of two-dimensional continuant fiat boundary and a one dimensional continuant fiat boundary that doesn't overlap it. The situation is analogous to temporal and spatial regions."@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000140 ; owl:annotatedTarget "(iff (ContinuantFiatBoundary a) (and (ImmaterialEntity a) (exists (b) (and (or (ZeroDimensionalSpatialRegion b) (OneDimensionalSpatialRegion b) (TwoDimensionalSpatialRegion b)) (forall (t) (locatedInAt a b t)))) (not (exists (c t) (and (SpatialRegion c) (continuantPartOfAt c a t)))))) // axiom label in BFO2 CLIF: [029-001] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000600 ; owl:annotatedSource obo:BFO_0000142 ; owl:annotatedTarget "a one-dimensional continuant fiat boundary is a continuous fiat line whose location is defined in relation to some material entity. (axiom label in BFO2 Reference: [032-001])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000142 ; owl:annotatedTarget "(iff (OneDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (OneDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [032-001] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000115 ; owl:annotatedSource obo:BFO_0000144 ; owl:annotatedTarget "b is a process_profile =Def. there is some process c such that b process_profile_of c (axiom label in BFO2 Reference: [093-002])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000600 ; owl:annotatedSource obo:BFO_0000144 ; owl:annotatedTarget "b process_profile_of c holds when b proper_occurrent_part_of c& there is some proper_occurrent_part d of c which has no parts in common with b & is mutually dependent on b& is such that b, c and d occupy the same temporal region (axiom label in BFO2 Reference: [094-005])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000144 ; owl:annotatedTarget "(forall (x y) (if (processProfileOf x y) (and (properContinuantPartOf x y) (exists (z t) (and (properOccurrentPartOf z y) (TemporalRegion t) (occupiesSpatioTemporalRegion x t) (occupiesSpatioTemporalRegion y t) (occupiesSpatioTemporalRegion z t) (not (exists (w) (and (occurrentPartOf w x) (occurrentPartOf w z))))))))) // axiom label in BFO2 CLIF: [094-005] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000601 ; owl:annotatedSource obo:BFO_0000002 ; owl:annotatedTarget "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])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000144 ; owl:annotatedTarget "(iff (ProcessProfile a) (exists (b) (and (Process b) (processProfileOf a b)))) // axiom label in BFO2 CLIF: [093-002] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000115 ; owl:annotatedSource obo:BFO_0000145 ; owl:annotatedTarget "b is a relational quality = Def. for some independent continuants c, d and for some time t: b quality_of c at t & b quality_of d at t. (axiom label in BFO2 Reference: [057-001])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000145 ; owl:annotatedTarget "(iff (RelationalQuality a) (exists (b c t) (and (IndependentContinuant b) (IndependentContinuant c) (qualityOfAt a b t) (qualityOfAt a c t)))) // axiom label in BFO2 CLIF: [057-001] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000600 ; owl:annotatedSource obo:BFO_0000146 ; owl:annotatedTarget "a two-dimensional continuant fiat boundary (surface) is a self-connected fiat surface whose location is defined in relation to some material entity. (axiom label in BFO2 Reference: [033-001])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000146 ; owl:annotatedTarget "(iff (TwoDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (TwoDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [033-001] " . [] obo:IAO_0010000 ; a owl:Axiom ; rdfs:comment "requested by Melanie Courtot" ; rdfs:seeAlso ; owl:annotatedProperty obo:IAO_0000116 ; owl:annotatedSource obo:BFO_0000147 ; owl:annotatedTarget "zero dimension continuant fiat boundaries are not spatial points. Considering the example 'the quadripoint where the boundaries of Colorado, Utah, New Mexico, and Arizona meet' : There are many frames in which that point is zooming through many points in space. Whereas, no matter what the frame, the quadripoint is always in the same relation to the boundaries of Colorado, Utah, New Mexico, and Arizona."@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000600 ; owl:annotatedSource obo:BFO_0000147 ; owl:annotatedTarget "a zero-dimensional continuant fiat boundary is a fiat point whose location is defined in relation to some material entity. (axiom label in BFO2 Reference: [031-001])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000147 ; owl:annotatedTarget "(iff (ZeroDimensionalContinuantFiatBoundary a) (and (ContinuantFiatBoundary a) (exists (b) (and (ZeroDimensionalSpatialRegion b) (forall (t) (locatedInAt a b t)))))) // axiom label in BFO2 CLIF: [031-001] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000600 ; owl:annotatedSource obo:BFO_0000148 ; owl:annotatedTarget "A zero-dimensional temporal region is a temporal region that is without extent. (axiom label in BFO2 Reference: [102-001])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000148 ; owl:annotatedTarget "(forall (x) (if (ZeroDimensionalTemporalRegion x) (TemporalRegion x))) // axiom label in BFO2 CLIF: [102-001] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000601 ; owl:annotatedSource obo:BFO_0000002 ; owl:annotatedTarget "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])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000600 ; owl:annotatedSource obo:BFO_0000182 ; owl:annotatedTarget "A history is a process that is the sum of the totality of processes taking place in the spatiotemporal region occupied by a material entity or site, including processes on the surface of the entity or within the cavities to which it serves as host. (axiom label in BFO2 Reference: [138-001])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000601 ; owl:annotatedSource obo:BFO_0000002 ; owl:annotatedTarget "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])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; rdfs:comment "per discussion with Barry Smith" ; owl:annotatedProperty obo:IAO_0000116 ; owl:annotatedSource obo:BFO_0000003 ; owl:annotatedTarget "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."@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000116 ; owl:annotatedSource obo:BFO_0000003 ; owl:annotatedTarget "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." . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000600 ; owl:annotatedSource obo:BFO_0000003 ; owl:annotatedTarget "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])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000601 ; owl:annotatedSource obo:BFO_0000003 ; owl:annotatedTarget "Every occurrent occupies_spatiotemporal_region some spatiotemporal region. (axiom label in BFO2 Reference: [108-001])"@en . [] a owl:AllDifferent ; owl:distinctMembers (obo:IAO_0000120 obo:IAO_0000121 obo:IAO_0000122 obo:IAO_0000123 obo:IAO_0000124 obo:IAO_0000125 obo:IAO_0000423 obo:IAO_0000428 ) . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000601 ; owl:annotatedSource obo:BFO_0000003 ; owl:annotatedTarget "b is an occurrent entity iff b is an entity that has temporal parts. (axiom label in BFO2 Reference: [079-001])"@en . [] a owl:AllDifferent ; owl:distinctMembers (obo:IAO_0000226 obo:IAO_0000227 obo:IAO_0000228 obo:IAO_0000229 ) . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000003 ; owl:annotatedTarget "(forall (x) (if (Occurrent x) (exists (r) (and (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion x r))))) // axiom label in BFO2 CLIF: [108-001] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000003 ; owl:annotatedTarget "(forall (x) (iff (Occurrent x) (and (Entity x) (exists (y) (temporalPartOf y x))))) // axiom label in BFO2 CLIF: [079-001] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000115 ; owl:annotatedSource obo:BFO_0000004 ; owl:annotatedTarget "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])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000601 ; owl:annotatedSource obo:BFO_0000004 ; owl:annotatedTarget "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])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000601 ; owl:annotatedSource obo:BFO_0000004 ; owl:annotatedTarget "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])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000004 ; owl:annotatedTarget "(forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000004 ; owl:annotatedTarget "(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] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000004 ; owl:annotatedTarget "(iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002] " . [] obo:IAO_0010000 ; a owl:Axiom ; rdfs:comment "per discussion with Barry Smith" ; owl:annotatedProperty obo:IAO_0000116 ; owl:annotatedSource obo:BFO_0000006 ; owl:annotatedTarget "Spatial region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the union of a spatial point and a spatial line that doesn't overlap the point, or two spatial lines that intersect at a single point. In both cases the resultant spatial region is neither 0-dimensional, 1-dimensional, 2-dimensional, or 3-dimensional."@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000600 ; owl:annotatedSource obo:BFO_0000006 ; owl:annotatedTarget "A spatial region is a continuant entity that is a continuant_part_of spaceR as defined relative to some frame R. (axiom label in BFO2 Reference: [035-001])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000601 ; owl:annotatedSource obo:BFO_0000006 ; owl:annotatedTarget "All continuant parts of spatial regions are spatial regions. (axiom label in BFO2 Reference: [036-001])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; rdfs:comment "per discussion with Barry Smith" ; rdfs:seeAlso ; owl:annotatedProperty obo:IAO_0000116 ; owl:annotatedSource obo:BFO_0000001 ; owl:annotatedTarget "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"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000006 ; owl:annotatedTarget "(forall (x y t) (if (and (SpatialRegion x) (continuantPartOfAt y x t)) (SpatialRegion y))) // axiom label in BFO2 CLIF: [036-001] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000006 ; owl:annotatedTarget "(forall (x) (if (SpatialRegion x) (Continuant x))) // axiom label in BFO2 CLIF: [035-001] " . [] obo:IAO_0010000 ; a owl:Axiom ; rdfs:comment "per discussion with Barry Smith" ; owl:annotatedProperty obo:IAO_0000116 ; owl:annotatedSource obo:BFO_0000008 ; owl:annotatedTarget "Temporal region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the mereological sum of a temporal instant and a temporal interval that doesn't overlap the instant. In this case the resultant temporal region is neither 0-dimensional nor 1-dimensional"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000600 ; owl:annotatedSource obo:BFO_0000008 ; owl:annotatedTarget "A temporal region is an occurrent entity that is part of time as defined relative to some reference frame. (axiom label in BFO2 Reference: [100-001])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000601 ; owl:annotatedSource obo:BFO_0000008 ; owl:annotatedTarget "All parts of temporal regions are temporal regions. (axiom label in BFO2 Reference: [101-001])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000601 ; owl:annotatedSource obo:BFO_0000008 ; owl:annotatedTarget "Every temporal region t is such that t occupies_temporal_region t. (axiom label in BFO2 Reference: [119-002])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000008 ; owl:annotatedTarget "(forall (r) (if (TemporalRegion r) (occupiesTemporalRegion r r))) // axiom label in BFO2 CLIF: [119-002] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000008 ; owl:annotatedTarget "(forall (x y) (if (and (TemporalRegion x) (occurrentPartOf y x)) (TemporalRegion y))) // axiom label in BFO2 CLIF: [101-001] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000008 ; owl:annotatedTarget "(forall (x) (if (TemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [100-001] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000600 ; owl:annotatedSource obo:BFO_0000009 ; owl:annotatedTarget "A two-dimensional spatial region is a spatial region that is of two dimensions. (axiom label in BFO2 Reference: [039-001])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000600 ; owl:annotatedSource obo:BFO_0000001 ; owl:annotatedTarget "An entity is anything that exists or has existed or will exist. (axiom label in BFO2 Reference: [001-001])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000009 ; owl:annotatedTarget "(forall (x) (if (TwoDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [039-001] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000600 ; owl:annotatedSource obo:BFO_0000011 ; owl:annotatedTarget "A spatiotemporal region is an occurrent entity that is part of spacetime. (axiom label in BFO2 Reference: [095-001])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000601 ; owl:annotatedSource obo:BFO_0000011 ; owl:annotatedTarget "All parts of spatiotemporal regions are spatiotemporal regions. (axiom label in BFO2 Reference: [096-001])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000601 ; owl:annotatedSource obo:BFO_0000011 ; owl:annotatedTarget "Each spatiotemporal region at any time t projects_onto some spatial region at t. (axiom label in BFO2 Reference: [099-001])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000601 ; owl:annotatedSource obo:BFO_0000011 ; owl:annotatedTarget "Each spatiotemporal region projects_onto some temporal region. (axiom label in BFO2 Reference: [098-001])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000601 ; owl:annotatedSource obo:BFO_0000011 ; owl:annotatedTarget "Every spatiotemporal region s is such that s occupies_spatiotemporal_region s. (axiom label in BFO2 Reference: [107-002])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000011 ; owl:annotatedTarget "(forall (r) (if (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion r r))) // axiom label in BFO2 CLIF: [107-002] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000011 ; owl:annotatedTarget "(forall (x t) (if (SpatioTemporalRegion x) (exists (y) (and (SpatialRegion y) (spatiallyProjectsOntoAt x y t))))) // axiom label in BFO2 CLIF: [099-001] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000011 ; owl:annotatedTarget "(forall (x y) (if (and (SpatioTemporalRegion x) (occurrentPartOf y x)) (SpatioTemporalRegion y))) // axiom label in BFO2 CLIF: [096-001] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000011 ; owl:annotatedTarget "(forall (x) (if (SpatioTemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [095-001] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000002 ; owl:annotatedTarget "(forall (x y) (if (and (Continuant x) (exists (t) (continuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [009-002] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000011 ; owl:annotatedTarget "(forall (x) (if (SpatioTemporalRegion x) (exists (y) (and (TemporalRegion y) (temporallyProjectsOnto x y))))) // axiom label in BFO2 CLIF: [098-001] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000115 ; owl:annotatedSource obo:BFO_0000015 ; owl:annotatedTarget "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])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000015 ; owl:annotatedTarget "(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] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000600 ; owl:annotatedSource obo:BFO_0000016 ; owl:annotatedTarget "b is a disposition means: b is a realizable entity & b’s bearer is some material entity & b is such that if it ceases to exist, then its bearer is physically changed, & b’s realization occurs when and because this bearer is in some special physical circumstances, & this realization occurs in virtue of the bearer’s physical make-up. (axiom label in BFO2 Reference: [062-002])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000601 ; owl:annotatedSource obo:BFO_0000016 ; owl:annotatedTarget "If b is a realizable entity then for all t at which b exists, b s-depends_on some material entity at t. (axiom label in BFO2 Reference: [063-002])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000016 ; owl:annotatedTarget "(forall (x t) (if (and (RealizableEntity x) (existsAt x t)) (exists (y) (and (MaterialEntity y) (specificallyDepends x y t))))) // axiom label in BFO2 CLIF: [063-002] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000016 ; owl:annotatedTarget "(forall (x) (if (Disposition x) (and (RealizableEntity x) (exists (y) (and (MaterialEntity y) (bearerOfAt x y t)))))) // axiom label in BFO2 CLIF: [062-002] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000600 ; owl:annotatedSource obo:BFO_0000017 ; owl:annotatedTarget "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])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000601 ; owl:annotatedSource obo:BFO_0000017 ; owl:annotatedTarget "All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000017 ; owl:annotatedTarget "(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] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000002 ; owl:annotatedTarget "(forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000017 ; owl:annotatedTarget "(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] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000600 ; owl:annotatedSource obo:BFO_0000018 ; owl:annotatedTarget "A zero-dimensional spatial region is a point in space. (axiom label in BFO2 Reference: [037-001])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000018 ; owl:annotatedTarget "(forall (x) (if (ZeroDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [037-001] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000600 ; owl:annotatedSource obo:BFO_0000019 ; owl:annotatedTarget "a quality is a specifically dependent continuant that, in contrast to roles and dispositions, does not require any further process in order to be realized. (axiom label in BFO2 Reference: [055-001])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000601 ; owl:annotatedSource obo:BFO_0000019 ; owl:annotatedTarget "If an entity is a quality at any time that it exists, then it is a quality at every time that it exists. (axiom label in BFO2 Reference: [105-001])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000019 ; owl:annotatedTarget "(forall (x) (if (Quality x) (SpecificallyDependentContinuant x))) // axiom label in BFO2 CLIF: [055-001] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000019 ; owl:annotatedTarget "(forall (x) (if (exists (t) (and (existsAt x t) (Quality x))) (forall (t_1) (if (existsAt x t_1) (Quality x))))) // axiom label in BFO2 CLIF: [105-001] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000115 ; owl:annotatedSource obo:BFO_0000020 ; owl:annotatedTarget "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])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; rdfs:comment "per discussion with Barry Smith" ; owl:annotatedProperty obo:IAO_0000116 ; owl:annotatedSource obo:BFO_0000020 ; owl:annotatedTarget "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."@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000020 ; owl:annotatedTarget "(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] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000002 ; owl:annotatedTarget "(forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000600 ; owl:annotatedSource obo:BFO_0000023 ; owl:annotatedTarget "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])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000023 ; owl:annotatedTarget "(forall (x) (if (Role x) (RealizableEntity x))) // axiom label in BFO2 CLIF: [061-001] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000600 ; owl:annotatedSource obo:BFO_0000024 ; owl:annotatedTarget "b is a fiat object part = Def. b is a material entity which is such that for all times t, if b exists at t then there is some object c such that b proper continuant_part of c at t and c is demarcated from the remainder of c by a two-dimensional continuant fiat boundary. (axiom label in BFO2 Reference: [027-004])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000024 ; owl:annotatedTarget "(forall (x) (if (FiatObjectPart x) (and (MaterialEntity x) (forall (t) (if (existsAt x t) (exists (y) (and (Object y) (properContinuantPartOfAt x y t)))))))) // axiom label in BFO2 CLIF: [027-004] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000600 ; owl:annotatedSource obo:BFO_0000026 ; owl:annotatedTarget "A one-dimensional spatial region is a line or aggregate of lines stretching from one point in space to another. (axiom label in BFO2 Reference: [038-001])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000026 ; owl:annotatedTarget "(forall (x) (if (OneDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [038-001] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000116 ; owl:annotatedSource obo:BFO_0000027 ; owl:annotatedTarget "An entity a is an object aggregate if and only if there is a mutually exhaustive and pairwise disjoint partition of a into objects " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000116 ; owl:annotatedSource obo:BFO_0000027 ; owl:annotatedTarget "An entity a is an object aggregate if and only if there is a mutually exhaustive and pairwise disjoint partition of a into objects " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000119 ; owl:annotatedSource obo:BFO_0000027 ; owl:annotatedTarget "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." . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000600 ; owl:annotatedSource obo:BFO_0000027 ; owl:annotatedTarget "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])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000002 ; owl:annotatedTarget "(forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000027 ; owl:annotatedTarget "(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] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000600 ; owl:annotatedSource obo:BFO_0000028 ; owl:annotatedTarget "A three-dimensional spatial region is a spatial region that is of three dimensions. (axiom label in BFO2 Reference: [040-001])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000028 ; owl:annotatedTarget "(forall (x) (if (ThreeDimensionalSpatialRegion x) (SpatialRegion x))) // axiom label in BFO2 CLIF: [040-001] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000600 ; owl:annotatedSource obo:BFO_0000029 ; owl:annotatedTarget "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])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000029 ; owl:annotatedTarget "(forall (x) (if (Site x) (ImmaterialEntity x))) // axiom label in BFO2 CLIF: [034-002] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000600 ; owl:annotatedSource obo:BFO_0000030 ; owl:annotatedTarget "b is an object means: b is a material entity which manifests causal unity of one or other of the types CUn listed above & is of a type (a material universal) instances of which are maximal relative to this criterion of causal unity. (axiom label in BFO2 Reference: [024-001])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000115 ; owl:annotatedSource obo:BFO_0000031 ; owl:annotatedTarget "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])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000031 ; owl:annotatedTarget "(iff (GenericallyDependentContinuant a) (and (Continuant a) (exists (b t) (genericallyDependsOnAt a b t)))) // axiom label in BFO2 CLIF: [074-001] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000600 ; owl:annotatedSource obo:BFO_0000034 ; owl:annotatedTarget "A function is a disposition that exists in virtue of the bearer’s physical make-up and this physical make-up is something the bearer possesses because it came into being, either through evolution (in the case of natural biological entities) or through intentional design (in the case of artifacts), in order to realize processes of a certain sort. (axiom label in BFO2 Reference: [064-001])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000034 ; owl:annotatedTarget "(forall (x) (if (Function x) (Disposition x))) // axiom label in BFO2 CLIF: [064-001] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000116 ; owl:annotatedSource obo:BFO_0000002 ; owl:annotatedTarget "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"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000115 ; owl:annotatedSource obo:BFO_0000035 ; owl:annotatedTarget "p is a process boundary =Def. p is a temporal part of a process & p has no proper temporal parts. (axiom label in BFO2 Reference: [084-001])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000601 ; owl:annotatedSource obo:BFO_0000035 ; owl:annotatedTarget "Every process boundary occupies_temporal_region a zero-dimensional temporal region. (axiom label in BFO2 Reference: [085-002])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000035 ; owl:annotatedTarget "(forall (x) (if (ProcessBoundary x) (exists (y) (and (ZeroDimensionalTemporalRegion y) (occupiesTemporalRegion x y))))) // axiom label in BFO2 CLIF: [085-002] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000035 ; owl:annotatedTarget "(iff (ProcessBoundary a) (exists (p) (and (Process p) (temporalPartOf a p) (not (exists (b) (properTemporalPartOf b a)))))) // axiom label in BFO2 CLIF: [084-001] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000600 ; owl:annotatedSource obo:BFO_0000038 ; owl:annotatedTarget "A one-dimensional temporal region is a temporal region that is extended. (axiom label in BFO2 Reference: [103-001])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000038 ; owl:annotatedTarget "(forall (x) (if (OneDimensionalTemporalRegion x) (TemporalRegion x))) // axiom label in BFO2 CLIF: [103-001] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000040 ; owl:annotatedTarget "(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] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000602 ; owl:annotatedSource obo:BFO_0000040 ; owl:annotatedTarget "(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] " . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000600 ; owl:annotatedSource obo:BFO_0000040 ; owl:annotatedTarget "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])"@en . [] obo:IAO_0010000 ; a owl:Axiom ; owl:annotatedProperty obo:IAO_0000601 ; owl:annotatedSource obo:BFO_0000040 ; owl:annotatedTarget "Every entity which has a material entity as continuant part is a material entity. (axiom label in BFO2 Reference: [020-002])"@en .